Алгоритмические
проблемы.
Проблема построения алгоритма, обладающего теми или иными свойствами,
наз. алгоритмической проблемой (а. п.). Как правило, свойство искомого
алгоритма формулируется в терминах свойств того соответствия, которое должно
иметь место между исходными данными и результатами алгоритма. Важные примеры
а. п.: проблема вычисления данной функции (требуется построить алгоритм,
вычисляющий эту функцию); проблема разрешения данного множества (требуется
построить алгоритм, разрешающий это множество относительно нек-рого другого
множества); проблема перечисления данного множества (требуется построить
алгоритм, перечисляющий данное множество). Неразрешимость а. п. означает
отсутствие соответствующего алгоритма; теоремы, устанавливающие неразрешимость
таких проблем, относятся к числу наиболее важных теорем А. т.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я