Составители:
Рубрика:
Однако для исчисления высказываний и одноместных предикатов
проблема выводимости разрешима.
Алгоритмическая неразрешимость некоторой задачи означает,
что не существует общего алгоритма, решающего любую задачу
рассматриваемого класса, однако для отдельных подклассов
алгоритмически неразрешимой задачи может существовать
алгоритм. Не следует смешивать алгоритмическую неразрешимость
какой-либо проблемы с положением, когда некоторая проблема еще
не решена. Для нерешенных проблем остается надежда найти
разрешающий алгоритм, тогда как для алгоритмически
неразрешимых проблем любые попытки поиска алгоритма
бесполезны.
Прикладная теория алгоритмов базируется на выводах теории
алгоритмов об алгоритмической разрешимости тех или иных
проблем, но занимается, главным образом, разработкой наиболее
эффективных с точки зрения практики алгоритмов, способов их
описания, преобразования и реализации на современных ЭВМ.
Алгоритм рассматривается как совокупность определенным
образом связанных между собой операторов, представляющих
элементарные операции, которые производятся над множеством
подвергающихся переработке объектов. Способы реализации
операторов предполагаются известными (как правило, операторы
сами являются некоторыми стандартными алгоритмами). При
решении конкретной задачи задаются также значения исходных
данных и параметров, входящих в описание алгоритма.
Для описания алгоритмов используются различные методы,
отличающиеся степенью детализации и формализации.
Теоретическое описание обычно дается в повествовательно-
формальном изложении, цель которого – обосновать без лишних
подробностей процедуру, предлагаемую в качестве алгоритма. Для
наглядного представления структуры алгоритмов широко
применяются графические средства: графы, блок-схемы, сети.
Формальное и полное описание алгоритмов осуществляется на
специально разработанных алгоритмических языках (BASIC,
FORTRAN, PASCAL, C и др.); такое описание содержит всю
необходимую для реализации алгоритма информацию, но не связано
143
Страницы
- « первая
- ‹ предыдущая
- …
- 57
- 58
- 59
- 60
- 61
- …
- следующая ›
- последняя »
