- •Вопросы по математической логике и теории алгоритмов (автф, III семестр)
- •Вопрос 1. Формальные исчисления. Выводы в исчислении. Теорема исчисления. Разрешимые и непротиворечивые исчисления.
- •Вопрос 2 Исчисление высказываний ив. Теорема о замене
- •Вопрос 3. Основные эквивалентности (ив) формулы ,аксиомы и правила вывода. Понятия док-ва ,дерево док.. Теор. О дедукции.
- •4.Cимантика исчисление высказываний.Непротиворичивость ив.Таблицы истиности.Общезначимые и выполнимые формулы.Теорема о полноте.РазрешимостьИв.
- •5.Семантическое дерево. Алгоритм Квайна и алгоритм редукции проверки общезначимости формул.
- •Вопрос 6. Метод резолюций в ив. Правило согласия. Метод резолюций для
- •Вопрос 7. Алгебраические системы. Формулы сигнатуры Подформулы. Свободные и связанные переменные. Предложения. Истинность формулы на элементах алгебраической системы.
- •Вопрос 8. Общезначимые и выполнимые формулы. Теорема об общезначимости формул сигнатуры σ, соответствующих общезначимым формулам ив. Выполнимое множество формул. Теорема компактности.
- •Вопрос 9.
- •Теорема о существовании модели. Для любого непротиворечивого мн-ва формул г сигнатуры
- •Вопрос 10. Основные эквивалентности .
- •Вопрос 11. Элементарные теории. Сис-ма аксиом теории ….
- •Вопрос 12. Сис-ма аксиом арифметики Пеано…..
- •#13. Подстановка сигнатуры σ. Композиция подстановок. Унификатор и наиболее общий унификатор. Алгоритм унификации. Теорема об алгоритме унификации.
- •Метод резолюции в исчислении предикатов
- •Алгоритм унификации
- •Вопрос 14.
- •16.Понятие алгоритма, основные признаки алгоритма. Вычислимые функции и тезис Чёрча.
- •Вопрос 17. Определение машины Тьюринга
- •Вопрос 18. Основные машины Тьюринга.
- •Вопрос 19. Вычисление функций на машинах Тьюринга.
- •Вопрос 20. Понятие примитивно рекурсивной функции. Основные примеры. Простейшие прф:
- •Вопрос 21.Примитивно рекурсивные отношения, основные преобразования над ними…
- •Вопрос 22. Нумерация n-ок натуральных чисел примитивно рекурсивными ф-ями.
- •Вопрос 23. Частично рекурсивные и рекурсивные функции. Теорема об элиминации.
- •Вопрос 24. Вычислимость чрф на машинах Тьюринга.
- •Вопрос 25. Частичная рекурсивность функций , вычислимых на машинах Тьюринга.
- •Вопрос 26. Универсальное чрф. Теорема роб универсальности. Теорема Райса.
- •Вопрос 27. Геделевская нумерация формул, аксиом и правил вывода исчисления предикатов. Рекурсивно перечислимые множество…
- •Вопрос 28. Временная и ленточная сложности мт, вычисляющей заданную функцию. Теоремы о верхней границе сложности вычислений. Теорема об ускорении
- •Вопрос 29. Эффективности вычислений:
- •Метод сводимости:
- •Вопрос 30.Понятие переборной задачи. Универсальные переборные задачи. Примеры.
- •Вопрос 31. Основные алгоритмы сортировки и их сложность.
- •Вопрос 32. Детерминированные и недетерминированные конечные автоматы, связь м/у ними.
- •Вопрос 33. Неклассические логики
- •Предикатные логики
Вопрос 29. Эффективности вычислений:
Z={z} – массовая задача
Исходные данные представленные в виде слов Р в конечном алфавите, зависящих от z.
Размерность - длина слов Р, кодирующего исходные данные задачи z.
Пример Вектор значений булевой функции.
Массовая задача решается эффективно (просто), если существует полином Q(x), такой что время решения каждой задачи z Ć Z не превосходит Q(e(z))
Эффективное вычисление – вычисление с полиномнальной сложностью.
Переборная задача 2e(z)
Метод сводимости:
Массовая задача Z={z} полиномиально сводится к массовой задачи Z`={z`}, если существует словарная функция F, которая по произвольной задаче z Ć Z строит задачу F(z)=z`Ć Z`, что задача z имеет положительные ответ тогда когда z` имеет положительный ответ и время вычисления F(z) ограничено значением Q(e(z)), где Q(x) – некоторый полином, зависящий от массовых задач Z и Z`, но не от некоторых задач z и z`.
Пример. Задача о МДНФ сводится к задаче покрытия единиц множествами, образование К – мерной карты (карты корно).
Определение переборной задачи
Массовая задача Z называется переборной, если она может быть сформулирована в след. виде: по заданному значению z Ć Z выяснить, существует ли y, размерность которого e(y) не превосходит полинома e(z) и такой, что выполнено свойство R(z,y), поверяемое на машине Тьренга за время, ограниченное полиномом от e(z)+e(y). Перебор объектов y до тех пор, пока не выполнится R(z,y)
Число переборов растет по экспоненте.
-
z четно? z/y=2 Если y найден z=2y
-
Кодовый замок y – ключ.
-
f,g –булевы функции f=g
y=(q1…….qn) f(q1…….qn)=g(q1…….qn)
Переборная задача Z называется универсальной или полной, если любая ПЗ полиномиально к ней сводится.
-
Задача выполнимой булевой функции
-
Задача о полном подграфе
-
Задача о вершинном покрытии
Множество вершин таких, что каждое ребро графа инцедентно к некоторой вершине из этого множества.
4. Задача о существовании гамельтонова цикла в гафе.
5. Задача о раскраске графа.
6. Задача о изоморфном подграфе (для заданных графов G и G` установить существует ли в G` подграф, изоморфный графу G).
Вопрос 30.Понятие переборной задачи. Универсальные переборные задачи. Примеры.
Массовая задача Z называется переборной, если она может быть сформулированная следующим образом: по заданному zZ выяснить, сущ. ли такой y, размерность которого l(y) не превосходит Q(l(z)) полинома от l(z) и такой, что выполнено свойство R(z,y), проверяемое на подходящей МТ за время, не превосходящее полинома Q(l(z)+l(y)).
Решается перебором объектов y до тех пор, пока не выполнится R(z,y)
Число переборов растет экспоненциально от y.
Переборная задача Z0 называется универсальной, если любая переборная задача полиноминально к ней сводится.
Примеры.
1) Задача о выполнимости булевой ф-ии
2) Задача о полном подграфе (по заданному подграфу G выяснить, имеется ли в G полный К-вершинный подграф)
3) Задача о вершинном покрытии (по заданному графу G и числу K, узнать, имеется ли вершинной покрытие G мощности K)
4) Задача о существовании гамильтонова цикла в графе
5) Задача раскраски графа K цветами
6) Задача об изоморфном подграфе (для заданных графов G и G’ установить, существует ли в G’ подграф, изоморфный графу G)