Доказательство корректности алгоритма

Под корректностью алгоритма здесь понимается, что:

− алгоритм завершает работу за конечное время;

− если решение существует, то алгоритм находит правильное решение.

Что касается первого пункта, то алгоритм является линейным, в ним отсутствуют критические участки, поэтому он выполняется за конечное время.

О правильности решения судить невозможно, так как алгоритм является эвристическим.

Вывод: алгоритм поддержки принятия решения по подбору персонала корректен.

Оценка погрешности вычислений

Погрешность результата вычислений состоит из δн – неустранимой погрешности, δм – погрешности метода и δв – вычислительной погрешности:

Значение δв зависит от вычислительной платформы. Для решения задачи использовалась платформа Intel Pentium-1800/MS Windows XP Professional SP2. Значение .

Неустранимая погрешность вычисляется по формуле:

где N – число значащих цифр величины.

Вычислительной погрешностью можно пренебречь, так неустранимая погрешность вводимых исходных данных на несколько порядков выше, чем точность ЭВМ.

Погрешность вычислений определяется погрешностью деления, погрешностью умножения и погрешностью округления. Погрешность .

 => ;

;

.