Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
392
Добавлен:
16.04.2013
Размер:
2.43 Mб
Скачать

0, если x нечётно, u(x) =

1, если x чётно.

Указание 1. а) sg (0) =1, sg

= y sg(x −& y) + x sg(x −& y).

3. Указание: σ(0) = f (0), σ

x

u(x) = sg | x 2t | .

t=0

( y +1) = 0;

y, x > y,

=

б) min(x, y) =

 

x, x y

 

2. Указание: ϕ(x) = min{y | 2 y = x}. ( y +1) = σ( y) + f ( y +1);

§4.4. Алгоритмически неразрешимые задачи

В разных разделах математики встречаются алгоритмически неразрешимые задачи, т.е. задачи, для которых нет алгоритма решения, причём нет не потому что его пока не придумали, а потому что он невозможен в принципе. Разумеется, алгоритм надо понимать в смысле машин Тьюринга и рекурсивных функций (см. разделы 4.1, 4.2, 4.3). Сформулируем некоторые из этих задач. Доказывать их алгоритмическую неразрешимость мы не будем, так как это выходит далеко за рамки данного учебника.

Проблема остановки машины Тьюринга. Машина Тьюринга – это объект, определяемый конечным числом параметров. Все частичные отображения одного конечного множества в другое могут быть эффективным образом перенумерованы. Поэтому каждой машине

Тьюринга можно присвоить номер (натуральное число). Пусть Tn

машина Тьюринга с номером n. Некоторые машины, начинающие работать на пустой ленте, в конце концов останавливаются, а некоторые работают бесконечно долго. Возникает задача: по натуральному числу n определить, остановится или нет машина Тьюринга Tn , запущенная

на пустой ленте. Эта задача алгоритмически неразрешима. То есть не существует автоматической процедуры, для каждого n решающей,

останавливается или нет машина Tn . Это не исключает того, что для

какой-либо конкретной машины мы установим, останавливается она или нет. Не существует метода, решающего это сразу для всех машин.

Проблема равенства слов. Группы и полугруппы часто задаются образующими элементами и определяющими соотношениями.

Например, группа S3 подстановок на трёхэлементном множестве имеет

123

 

123

 

и определяющие

образующие элементы a =

 

 

и b =

 

 

 

 

 

 

213

 

 

 

231

 

 

 

соотношения a3 = b2 =1, ba = a2b. Каждый элемент из S3 является произведением элементов a и b, взятых, возможно, несколько раз, т.е. словом в алфавите {a, b}, причём это слово в общем случае не

единственно. Например, a2ba и bab2a один и тот же элемент из S3 . Возникает вопрос: равны два данных слова в группе S3 или нет? Существует ли алгоритм, решающий этот вопрос для любых двух слов? Для группы S3 ответ положительный: алгоритм существует, и читатель

сформулирует его без труда. Однако, существуют полугруппы (и группы), для которых такого алгоритма нет. Итак, пусть полугруппа S

задана образующими элементами a1, a2 , ... , an и соотношениями

w1 = w1, ... , wk = wk( wi , wi′ − слова от a1, a2 , ... , an ), то в общем случае не существует алгоритма, определяющего для двух

произвольных слов w, w, равны они как элементы из S или не равны (т.е. следует равенство w = wиз равенств w1 = w1, ... , wk = wkили не следует). Кроме того, в общем случае алгоритмически неразрешим вопрос о том, будет ли полугруппа S конечной (или коммутативной, или периодической).

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

1) всякая аксиома есть теорема;

2) если A и B теоремы, то A & B теорема;

3) если A и A B теоремы, то B теорема.

Пусть дана правильно построенная формула A (т.е. не произвольный набор значков, а формула, построенная с правильным употреблением логических связок, расстановки скобок и т.д.). Является ли A

Тут вы можете оставить комментарий к выбранному абзацу или сообщить об ошибке.

Оставленные комментарии видны всем.