Требования, предъявляемые к
алгоритмам
1. Дискретность
2. Определённость
3. Результативность
4. Конечность
5. Понятность
6. Массовость
7. Однозначность
8. Правильность
Дискретность
Это требование заключается в том, что
алгоритм должен состоять из
отдельных предписаний (команд),
каждая из которых описывает
определённое действие исполнителя.
Определённость
(детерминированность)
Это требование означает, что на каждом
шаге однозначно определено
преобразование объектов, полученных
на предшествующих шагах алгоритма.
Результативность
Это требование подразумевает, что
каждый шаг (и алгоритм в целом) после
своего завершения даёт среду, в
которой все имеющиеся объекты
однозначно определены.
Если это по каким-то причинам
невозможно, то алгоритм должен
сообщить, что решения задачи не
существует.
Конечность
Свойство результативности обычно
предполагает конечность алгоритма,
т.е. завершение его работы за конечное
число шагов (при этом количество
шагов может быть заранее
неизвестным и различным для разных
исходных данных).
Понятность
Каждый шаг алгоритма обязательно
представляет собой какое-либо
допустимое действие исполнителя. Это
свойство алгоритма называют
понятностью.
Массовость
Массовость означает, что имеется
множество различных исходных
данных, которые могут обрабатываться
алгоритмом.
Таким образом, алгоритм должен быть
пригодным для решения некоторого
класса задач.
Однозначность
Алгоритм не обязан быть детерминированным –
на очередном шаге может осуществляться
случайный выбор из некоторого множества
возможных результатов. (Это свойство
нарушается в системах искусственного
интеллекта и алгоритмах, построенных на
основе нейронных сетей с нечёткой логикой).
При этом многие недетерминированные
алгоритмы приводят, тем не менее, к
однозначно определённому результату.
Такие алгоритмы называют однозначными.
Правильность
В результате выполнения алгоритма
должны быть получены правильные
результаты решения задач, для которых
он составлен (т.е. результат должен
удовлетворять условиям задачи).
