tsvpis

5.2 Недетерменированные машины Тьюринга(ндмт)

Определение. НДМТ – машина Тьюринга, в которой функция перехода δ – многозначна, т. е., если в обычной МТ по мгновенным показаниям C_iоднозначно определяется C_i₊₁ (записывается C_i⟼C_i₊₁) , то в НДМТ этот переход имеет несколько вариантов :

C_i⟼C_i₊₁

C_i⟼C’_i₊₁

C_i⟼C’’_i₊₁

и т. д.

Фактически процесс переход а мгновенных описаний ветвится, и на каждом шаге машина как бы угадывает правильное направление перехода(существует другая модель, аналогичная НДМТ – МТ с оракулом, т.е. с некоторым встроенным устройством, которое правильно предугадывает последовательность действий – куда пойти, чтобы получить правильный ответ).

Пример НДМТ. Рассмотрим задачу о разбиении.

Постановка задачи: имеется некоторый конечный набор натуральных чисел. Можно ли это множетсво разбить на непересекающихся подмножестватак, чтобы , т.е. сумма чисел в каждом подмножестве была одинаковой.

На обычной МТ и на любом ее аналоге эта задача за полинамиальное время не решается (на данный момент алгоритм неизвестен). На НДМТ эту задачу нетрудно решить за полинамиальное время следующим образом: проходим множество М и для каждого элемента этого множетсва оракул предстказывает, куда этот элемент нужно вписать, в М₁ или в М_{2 .} При этом еще параллельно происходит суммирование элементов первого и второго подмножеств. Дойдя до конца, сравниваем счетчики сумм. Если они равны, то задача решена, в противном случае так разделить исходное множество нельзя. Итак, НДМТ решает задачу о разбиение за линейное время T(n) = тю

Если же данную задачу мы попытаемся решить на олбычной машине Тьюринга , то потребуется 2ⁿ^-1 nдействий, так как вариантов разбиения множества на два подмножества 2ⁿ/2. При каждом варианте потребуется n /2 операций сложения. Итого трудоемкость T(n)= 2ⁿ^-1 =n∙2ⁿ^-2 действий.

Определение. Класс Р (P-TIME) - класс задач, решаемых за полиномиальное время на обычной (детерминированной) МТ.

Примеры подобных задач:

алгоритм Дейкстры (задача о нахождении кратчайшего расстояния на графе — трудоемкость п²);
сортировки — трудоемкость п² или п log(n);
преобразование Фурье;
вычисление определителя матрицы — решаем ее не разложением по строке или столбцу (тогда трудоемкость п!), а с помощью метода Гаусса приводим ее к треугольному виду и перемножаем диагональные элементы (трудоемкость п³ ).

Определение. Класс NP (NP-TIME) — класс задач, решаемых за полиномиальное время на недетерминированной МТ.

Примеры подобных задач:

NP содержит Р, следовательно все задачи из класса Р попадают в NP;
задача о разбиении;
задача коммивояжера в следующей постановке: существует ли гамильтонов цикл длины L≤С, где С— заданное число.

Последняя задача решается на НДМГ следующим образом: сначала на каждом шаге мы должны правильно угадать вершину, в которую нужно идти, а потом суммировать стоимости переходов для данного маршрута. Если сумма не превосходит С, то ответ положительный.

Класс NP содержит класс Р. Но совпадают ли эти классы - неизвестно (скорее всего ответ будет отрицательный).

Определение. Две функции f₁,f₂: N→N со свойствами

f_i(n)≥0, i=1,2

называются полиномиалъно-эквивачентными, если существуют два полинома р₁ и р₂ такие, что p₁(f₁(n))≥ f₂(п) и p₂(f₂(n))≥ f₁(п).

Пример:

♦Полиномиально-эквивалентные функции:

n² и n³

С одной стороны, п² ≤ n³, с другой стороны (п²)² > п³, то есть свойство полиномиальной эквивалентности выполняется, хотя эти функции не эквивалентны, так как п² «п³.

2ⁿ и 10ⁿ

2ⁿ≤10ⁿ

(2ⁿ)⁴=(2⁴)ⁿ=16ⁿ>10ⁿ

♦ Полиномиально-неэквивалентные функиыи:

n и Inn

n≥lnn

в какую бы степень α мы ни возвели In n, всегда будет (In n)^а «n. Следовательно, не выполняется свойство полиномиальной эквивалентности.

n и 2

(n)^β<2ⁿ=> не выполняется свойство полиномиальной эквивалентности.

n!> 2ⁿ

n!>(2²)^β=> не выполняется свойство полиномиальной эквивалентности.

Теорема 5.1 Если некоторая задача может быть решена на НДМТ M₁ за некоторое время Т(n), то она же может быть решена на ДМТ М₂ за время T₁ =.

Доказательство.Введем число k , равное максимальной степени ветвления функции переходов δ нашей исходной НДМГ M₁. Построим обычную МТ М₂, которая перебирает все возможные варианты ветвления функции δ и все их просчитывает. Исходная M₁ делает Т(п) шагов. На каждом шаге присутствует не более k вариантов ветвления. Итого получаем не больше, чем k^T⁽ⁿ⁾вариантов. Трудоемкость каждого варианта Т(п). Итого общая трудоемкость M₁:

T₁(n)≤n^T⁽ⁿ⁾∙T(n)=2^logk^∙^T⁽ⁿ⁾⁺^logT⁽ⁿ⁾≤

Теорема доказана.

Комментарий. Как следует из Теоремы 5.1, любую задачу, решаемую на НДМТ за полиномиальное время, мы можем решить и на обычной МТ, но за большее время (не полиномиально эквивалентное).

Теорема 5.2Любая задача, решаемая на к—ленточной НДМТ (к-ленточной МТ) за время Т(n), может быть решена на одноленточной МТ такого же типа (если была k-ленточная НДМТ, то будет одноленточная НДМТ, в случае к-ленточной МТ будет одноленточная MТ) за время T_i<CT²(n)

Доказательство. Научимся моделировать работу к-ленточной на одноленточной машине такого же вида. Поступаем для этого следующим образом: необходимо информацию о мгновенном описании к - ленточной машины записать на одну ленту (т.е. все символы на лентах + N обозреваемых ячеек):

Делаем это следующим образом:

1 лента

….

2 лента

---

…

---

₊

…

….

k лента

….

Рисунок5.1 Моделирование работы k-ленточной МТ на одноленточной

Плюс или минус в ячейках результирующей ленты стоит в зависимости от того, находится ли над соответствующей ячейкой одной из лент многоленточной машины считывающая головка, или нет.

Промоделируем 1 шаг работы исходной k-ленточной машины M₁ на новой одноленточной машине. Для этого сначала проходим всю ленту и ищем плюсы, Т.е. те ячейки, над которыми находятся считывающие головки. Параллельно просматриваем содержимое данных ячеек.

На следующем проходе меняем расположение плюсов в соответствии со старой функцией перехода. При этом в соответствии с инструкциями L и R перемещаем плюсики. Потом переходим в новое состояние.

Новая функция переходов 𝜹 ' для построенной таким образом одноленточной машины, гораздо больше по количеству команд, нежели исходная функция 𝜹 k-ленточной машины, и при этом она будет однозначной, если исходная ленточная машина была детерминирована, а если исходная k-ленточная машина была недетерминирована, то неоднозначность сохранится.

То есть для моделирования одного шага k-ленточной машины нам потребуется два раза пройти всю ленту, новой одноленточной машины. Заметим, что длина исписанного участка каждой ленты исходной машины не превосходит T(n),так как за Т(п) шагов мы не можем уйти больше чем на Т(п) клеток от первой ячейки.

Итого на один шаг нам потребуется k • T(N) действий. Для моделирования Т(п) шагов нам потребуется

T₁(n) ≤T(n) •k(n) ≈ с • T( n) ≤ Т(п) • k • Т(п) =с • Т² (n)

действий.

Теорема доказана.

Комментарий. Таким образом, при замене k- ленточной машины на одноленточную, трудоемкость задач, решаемых на одноленточной и k-ленточной МТ (НДМТ и ДМТ), полиномиально эквивалентна.

Содержание