NP
[23/65%]SAT принадлежит NP.
Сформулируйте следующую головоломку в виде булевой формулы и решите её, определив, выполнима ли :
За пять игр до конца регулярного сезона командный математик доложил менеджеру бейсбольной команды A: «Мы всё ещё можем попасть в плей-офф, если победим команду , а также если команда побеждает команду , то команда побеждает команду , а если мы проигрываем команде , то команда также побеждает либо команду , либо команду ». Позже, среди оставшихся пяти игр, каждая команда выиграла хотя бы одну игру, но ни одна команда не выиграла все свои оставшиеся игры, и не было ни одной ничьей. Был ли у команды A шанс попасть в плей-офф? Если да, то как?
Сформулируйте следующую головоломку в виде булевой формулы и решите её, определив, выполнима ли :
Трое мужчин по имени Льюис, Миллер и Нельсон занимают должности бухгалтера, кассира и управляющего в ведущем универмаге города NP. Об их работе известно следующее:
-
Если Нельсон — кассир, то Миллер — управляющий.
-
Если Нельсон — управляющий, то Миллер — бухгалтер.
-
Если Миллер — не кассир, то Льюис — управляющий.
-
Если Льюис — бухгалтер, то Нельсон — управляющий.
Какую должность занимает каждый из мужчин?
Гамильтонов цикл (HC): Дан граф , определить, есть ли в гамильтонов цикл.
HC принадлежит NP.
(Обход коня) Найти обход шахматной доски конём, который посещает каждую клетку ровно один раз и возвращается на начальную клетку.
| 3 | 6 | 33 | 40 | 27 | 44 | 29 | 46 |
|---|---|---|---|---|---|---|---|
| 34 | 37 | 2 | 5 | 32 | 47 | 26 | 43 |
| 7 | 4 | 39 | 36 | 41 | 28 | 45 | 30 |
| 38 | 35 | 8 | 1 | 48 | 31 | 42 | 25 |
| 9 | 64 | 13 | 56 | 17 | 24 | 49 | 58 |
| 14 | 55 | 10 | 61 | 52 | 57 | 18 | 21 |
| 63 | 12 | 53 | 16 | 23 | 20 | 59 | 50 |
| 54 | 15 | 62 | 11 | 60 | 51 | 22 | 19 |
| : Рисунок 7.1: Обход коня. |
Вершинное покрытие (VC): Даны граф и положительное целое , определить, есть ли в вершинное покрытие размера не более .
VC принадлежит NP.
Задача о поражении множества (HS): Даны подмножества множества и целое , определить, существует ли подмножество размера такое, что для всех .
HS принадлежит NP.
Сформулируйте следующую логическую головоломку как экземпляр задачи HS и решите её, найдя правильное подмножество.
Три женщины, Джоан, Мишель и Трейси, сделали следующие заявления о своём возрасте.
Джоан: «Мне 92 года. Я на два года младше Мишель. Я на один год старше Трейси». Мишель: «Я не самая младшая. Мы с Трейси отличаемся по возрасту на три года. Трейси 25 лет». Трейси: «Я моложе Джоан. Джоан 23 года. Мишель на три года старше Джоан». Известно, что из трёх заявлений каждого человека ровно два верны. Каков их возраст?
IS принадлежит NP.
(Задача о восьми ферзях) Расставить восемь ферзей на доске так, чтобы они не били друг друга. (В шахматах ферзь бьёт другую фигуру, если они находятся в одной строке, или в одном столбце, или на одной диагонали.)
3DM принадлежит .
IP принадлежит .
Сформулируйте следующую логическую головоломку как экземпляр задачи IP и решите её, решив соответствующую систему неравенств.
Профессор выступал с коллоквиумом на кафедре теории сложности. Начав доклад, он заметил, что 15 присутствующих в аудитории удовлетворяют следующим условиям:
-
Студентов было больше, чем профессоров.
-
Профессоров-мужчин было больше, чем студентов-мужчин.
-
Студентов-мужчин было больше, чем студенток.
-
Была хотя бы одна женщина-профессор.
Пять минут спустя в комнату вбежал ещё один человек. Однако появление этого человека не изменило вышеуказанные четыре условия. Этот человек — мужчина или женщина, студент или профессор?
Prime принадлежит NP.
Докажите, что 683 — простое число.
Для любого множества пусть , а . Покажите, что если принадлежит NP, то и также принадлежат .
Для любого множества пусть .
Предположим, что существует полиномиальная функция такая, что из следует . Покажите, что если , то prefix.
Покажите, что если для некоторой полиномиальной функции и если prefix, то .
Функция называется полиномиально-временно вычислимой, если существует полиномиально-временная ДМТ, вычисляющая функцию (то есть на входе она останавливается за шагов для некоторого полинома , со строкой на выходной ленте). Функция называется полиномиально честной, если существует полиномиальная функция такая, что и для всех . Предположим, что полиномиально-временно вычислима и полиномиально честна.
Предположим, что — биекция. Покажите, что если , то и .
Покажите, что если , то следующие функции полиномиально-временно вычислимы:
где — лексикографический порядок на .
Сформулируйте следующие головоломки как экземпляры задач из NP, а затем решите головоломки, найдя свидетелей для этих экземпляров:
Шесть мужчин, и F, — единственные члены, имеющие право занять должности президента, вице-президента и секретаря в клубе NP. Известны следующие предпочтения этих мужчин:
-
A не станет должностным лицом, если только E не президент.
-
B не будет служить, если он превосходит по рангу C.
-
B ни при каких условиях не будет служить вместе с F.
-
C не будет служить одновременно с E и F.
-
C не будет служить, если F президент или B секретарь.
-
D не будет служить с C или E, если только он не превосходит их по рангу.
-
E не станет вице-президентом.
-
E не станет секретарём, если D — должностное лицо.
-
E не будет служить с A, если только F тоже не служит.
-
F не будет служить, если только он сам или C не президент.
Как можно распределить три должности, удовлетворив всем указанным условиям?
Полиция арестовала четверых мужчин по подозрению в убийстве. На допросе они сделали следующие заявления:
Джон: «Это сделал Ник». Ник: «Это сделал Билл». Дэн: «Я этого не делал». Билл: «Ник солгал, когда сказал, что это сделал я».
Если известно, что ровно один из них — настоящий убийца и ровно одно из вышеуказанных заявлений истинно, кто убийца?
Браун, Джонс и Смит работают в деревне NP пожарным, полицейским и учителем, хотя и не обязательно соответственно. Кто-то в деревне сообщил, что:
-
Браун и учитель — соседи.
-
Джонс и учитель — соседи.
-
И Браун, и Смит — соседи пожарного.
-
И полицейский, и пожарный — соседи Джонса.
-
Все эти люди — соседи друг другу.
Однако на самом деле верны только два из этих утверждений. Можете ли вы определить, какую должность занимает каждый из мужчин?
И у Смитов, и у Тейлоров есть по два маленьких сына младше одиннадцати лет. Имена мальчиков, чей возраст, округлённый до ближайшего года, у всех разный, — Артур, Берт, Карл и Дэвид. Если брать возраст мальчиков только с точностью до ближайшего года, верны следующие утверждения:
-
Артур на три года младше своего брата.
-
Берт самый старший.
-
Карл вдвое младше одного из мальчиков Тейлоров.
-
Дэвид на пять лет старше младшего из мальчиков Смитов.
-
Суммарный возраст мальчиков в каждой семье сегодня отличается на ту же величину, что и пять лет назад.
Сколько лет каждому мальчику и к какой семье он принадлежит?»
Пороговая функция — это булева функция, определённая следующим образом:
Постройте булевы формулы , использующие операции и переменные , такие что они вычисляют функцию .
Покажите, что существуют булевы формулы , использующие операции , , переменные и некоторые вспомогательные переменные , такие что (i) длина ограничена для некоторой константы , и (ii) присваивание удовлетворяет тогда и только тогда, когда присваивает значение 1 хотя бы переменным из .
Докажите, что следующие числа простые: .
Покажите, что следующие задачи принадлежат NP:
Наидлиннейший путь (LP): Даны граф и целое , определить, есть ли в простой путь из не менее чем рёбер. (Путь простой, если ни одна вершина не встречается дважды.)
Задача коммивояжёра (TSP): Дан полный граф с функцией стоимости и целое , определить, существует ли тур (то есть гамильтонов цикл) графа с суммарной стоимостью рёбер, не превышающей .
Изоморфизм графов (GIso): Даны два графа и , определить, изоморфен ли графу . (Два графа и изоморфны, если и существует взаимно однозначное отображение "на" такое, что тогда и только тогда, когда . Функция называется изоморфизмом.)
Ограниченная PCP: Дано конечное множество упорядоченных пар , строк над алфавитом и целое (в унарной форме ), определить, существует ли конечная последовательность целых чисел , с каждым и , такая что
Ограниченное мощение (Bounded Tiling): Дано конечное число типов цветных плиток и целое (в унарной форме ), определить, возможно ли замостить квадрат цветными плитками этих типов, начиная с плитки типа в левом нижнем углу. (См. Упражнение 6 из Раздела 5.6 для подробностей определения.)
Пусть — целочисленная матрица размера , а — -мерный целочисленный вектор. Пусть — максимальная абсолютная величина чисел в и , а .
Покажите, что если — квадратная подматрица , то , где обозначает определитель матрицы .
Покажите, что если , то существует ненулевой вектор такой, что и максимальная абсолютная величина чисел в ограничена .
Предположим, что имеет целочисленное решение . Пусть обозначает -ю строку , — -ю компоненту , а — -й -мерный единичный вектор (то есть все компоненты равны 0, кроме -й компоненты, равной 1). Пусть — решение , максимизирующее число элементов следующего множества:
Докажите, что ранг равен .
Используя (c) выше, докажите Лемму 7.14.