Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Уточнение понятия алгоритма



В истории математики известны случаи длительных и безуспешных попыток поиска алгоритмов решения тех или иных задач. Одним из таких примеров является Великая теорема Ферма (сформулированная французским математиком П. Ферма примерно в 1630 г.): для любого натурального числа уравнение

не имеет решений в целых положительных числах .

До настоящего времени не известен алгоритм, позволяющий для произвольного определить, имеет данное уравнение целочисленное решение или нет, хотя частные случаи решения этой задачи известны. Так, теорема доказана для . В частном случае для доказана противоположная теорема (т.е. что решение существует) и известны даже два ее эквивалентных решения: где – это первое решение; − это второе решение.

В алгоритмических проблемах речь обычно идет о существовании алгоритма для вычисления целочисленных значений функции, зависящей от целочисленного значения аргументов. Такие функции называют числовыми. Именно такой является функция, рассмотренная выше в теореме Ферма.

Рассмотрение в алгоритмических проблемах именно числовых функций может быть легко обосновано. Действительно, в математике большинство рассматриваемых функций определены на континуальных (от лат. continuum – непрерывное) множествах, например на множестве точек некоторого отрезка. В то же время на практике любая величина может быть измерена с ограниченной точностью, причем это ограничение точности является принципиальным. И определяется оно конечной разрешающей способностью измерительных приборов, вследствие чего множество значений любой физической величины является счетным (конечным).

Все эти значения измеряемой физической величины мы можем перенумеровать целыми числами и свести, таким образом, алгоритм вычисления любой имеющей практическое значение функции к алгоритму вычисления числовой функции.

Числовые функции, значения которых можно вычислить посредством применения некоторого алгоритма, называются эффективно вычислимыми (или просто вычислимыми) функциями. Поскольку понятие алгоритма в этом определении остается интуитивным, то и понятие вычислимой функции оказывается интуитивным.

Функции, определенные не для всех значений аргументов, называются частичными (не всюду определенными) функциями. Функция называется всюду определенной, если область ее определения, т.е. множество значений ее аргумента и область значений функций, каждому из которых сопоставлено некотороезначение аргумента, совпадают. Исследования показали, что совокупность частично вычислимых функций для самых разных пониманий алгоритма оказывается одной и той же. Все частичные функции, алгоритмы вычисления которых известны, оказались частично-рекурсивными (от лат. recursio – возвращение). Частично-рекурсивные функции – это функции, определяемые особым образом с достаточной математической строгостью. А именно: если функция может быть получена за конечное число шагов из некоторых простейших функций с помощью операций суперпозиции, примитивной рекурсии и операции минимизации. Упомянутые простейшие функции и операции мы подробнее рассмотрим ниже.

С.К. Клини (американский логик и математик) высказал гипотезу о том, что класс алгоритмически вычислимых частичных функций совпадает с классом всех частично рекурсивных функций. Ранее аналогичную гипотезу относительно всюду определенных вычислимых функций выдвинул А Чёрч (американский логик и математик). Гипотезы Чёрча и Клини обычно объединяют в виде тезиса Чёрча.

Австрийский логик и математик К. Гёдель впервые описал класс всех рекурсивных функций как класс всех числовых функций, определяемых в некоторой формальной системе.

На основании тезиса Чёрча вопрос о вычислимости функции, имеющей нестрогое интуитивное понятие, тем не менее равносилен вопросу о ее рекурсивности. Но понятие рекурсивности – строгое, поэтому в определенных случаях можно доказать, что если решающая задачу функция не является рекурсивной, то и алгоритм ее вычисления не может быть построен.

Точное описание класса частично-рекурсивных функций совместно с тезисом Чёрча дает одно из возможных решений задачи об уточнении понятия алгоритма.

Другое решение было найдено Постом (американский логик и математик) и Тьюрингом (английский математик) независимо друг от друга. Основная мысль их заключается в том, что процессы, описываемые алгоритмами, может выполнять соответствующая машина. Тьюрингом и Постом были описаны в точных математических терминах классы машин, на которых можно осуществить или имитировать практически все алгоритмические процессы, которые когда-либо описывались математиками. Такие машины сейчас называют машинами Тьюринга. Исследования показали, что класс функций, вычислимых на машинах Тьюринга, в точности совпадает с классом всех частично- рекурсивных функций. Тем самым было получено еще одно подтверждение тезиса Чёрча.

Еще одним уточнением понятия алгоритма является понятие нормального алгоритма Маркова. В алгоритме Маркова исходные данные для вычислительного процесса записываются в виде слова – последовательности букв – символов. Вычислительный процесс сводится к преобразованию слов в соответствии с заданной программой. Оказалось, что класс функций, вычислимых с помощью нормальных алгоритмов, совпадает с классом частично-рекурсивных функций. Таким образом, все известные уточнения понятия алгоритма приводят к одному и тому же классу функций – частично-рекурсивным функциям. Это доказывает эквивалентность перечисленных уточнений.





Дата публикования: 2015-01-10; Прочитано: 771 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2024 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.007 с)...