Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
!Параметрический ЗадачникТИгрММИО,ТИ,ПР,ТА abc6...doc
Скачиваний:
0
Добавлен:
01.07.2025
Размер:
4.16 Mб
Скачать

Алгоритмы. Часть 2.

Пример решения ПЕРЕМНОЖЕНИЯ 8-ми-значных чисел алгоритмом Анатолия Карацубы.

  1. Создать нормальный алгоритм Маркова,

    1. Распознающий Язык Дика Правильных СКОБОЧНЫХ выражений. Скобочные выражения получаются из первых 3х уникальных чисел в последовательности (если есть повтор, добавить , при 2-кратном повторе применить ТИПОВОЕ правило создание уникальной комбинации) переводом .

    2. Провести операции над числами. Числа берутся в 1-ричной записи: 3=111, 7=1111111

      1. Вычесть

      2. Сравнить

      3. Умножить на 3

      4. Умножить (Универсальным алгоритмом)

      5. Сложить (только методом перегонки * на край)

Часть универсального умножения стоит как все остальные(несколько зависит от сложности расчёта). В каждом случае нужно провести

  1. (за 4 задачи)(Теорема Кука и одноименная презентация). Рассмотреть машину Тьюринга С языком a,b,c,d mod8(трехсимвольные цепочки). Свести к КНФ. Требуемая , где Указания: Переменные , s- состояния, - координата, - время ( всегда последний индекс), конкретно, , где переменные координаты, переменные состояния зависят от ВАШЕЙ машины Тьюринга – пример для двух промежуточных состояний, переменные алфавита, .

Наиболее сложная под-коньюнкция отражает специфику машины Тьюринга

, в том числе в тупиковых ситуациях (тупиковая ситуация означает невыполнение Коньюнкции). Остальные формулы базируются на конструкции типа : или - одно единственное значение истины для всех .

- аналогично,

, - контролирует неизменность символа в отсутствии Каретки, - переход в принимающее состояние.

т

1 Со студентом пришлось бы встречаться, чтобы в условиях нехватки вариантов последовательно раздать номера персонально записывая номера, (при большом количестве больших потоков это очень обременительно), и это помимо печати документа более 1000 страниц.

28