Академический Документы
Профессиональный Документы
Культура Документы
БИЛЕТ
https://t.me/it_boooks
LANCE
FORTNOW
THE
GOLDEN TICKET
P, NP,
AND THE SEARCH
FOR THE IMPOSSIBLE
ЛЭНС
ФОРТНОУ
ЗОЛОТОЙ БИЛЕТ
P, NP
И ГРАНИЦЫ
ВОЗМОЖНОГО
Электронное издание
Перевод с английского
Зинаиды Ложкиной
Москва
Лаборатория знаний
2016
УДК 51
ББК 22.1
Ф80
Фортноу Л.
Ф80 Золотой билет. P, NP и границы возможного [Электронный
ресурс] / Л. Фортноу ; пер. с англ. З. Ложкиной. — Эл. изд. —
Электрон. текстовые дан. (1 файл pdf : 221 с.). — М. : Лабора-
тория знаний, 2016. — Систем. требования: Adobe Reader XI ;
экран 10".
ISBN 978-5-00101-424-9
«Золотой билет» — великолепное введение в P/NP-проблему,
в котором описаны история этой задачи и ее влияние на нашу жизнь.
В этой информативной и занимательной книге Лэнс Фортноу про-
слеживает работу, которая велась над задачей во времена холодной
войны по обе стороны «железного занавеса», и приводит примеры
ее возникновения во множестве дисциплин, включая экономику,
физику и биологию.
Для студентов и специалистов в области теории вычислений,
всех, интересующихся современными проблемами в математике.
УДК 51
ББК 22.1
Copyright ○
c 2013 by Princeton University Press
Все права защищены. Никакая
часть этой книги не может быть
воспроизведена или передана
в любой форме или любыми
средствами, электронными или
механическими, включая
фотокопирование, запись или
использование средств хранения
и поиска информации, без
письменного разрешения
Издателя.
ISBN 978-5-00101-424-9 ○
c Лаборатория знаний, 2016
Посвящается Марси, Энни и Молли.
Теперь они, может быть, поймут,
чем я занимаюсь и почему.
ПРЕДИСЛОВИЕ
Лэнс Фортноу
Иванстон, штат Иллинойс
Глава 1
ЗОЛОТОЙ БИЛЕТ
ЗАДАЧА О РАЗБИЕНИИ
Взгляните на эти тридцать восемь чисел:
14 175, 15 055, 16 616, 17 495, 18 072, 19 390, 19 731,
22 161, 23 320, 23 717, 26 343, 28 725, 29 127, 32 257,
Глава 1. Золотой билет 13
НЕМНОГО О РУКАХ
Наши руки — это самый удивительный механизм на
планете. Они хватают, толкают, указывают пальцем.
Завязывают шнурки, выпускают из лука стрелу. Иг-
рают на фортепьяно, скрипке, демонстрируют фокусы.
В совершенстве управляют автомобилем, лодкой, поездом
и самолетом. Руки могут поздороваться, а могут выкрутить
запястья. Могут погладить с нежностью или больно
ударить. Они общаются языком жестов, пишут слова
14 Золотой билет
P ПРОТИВ NP
Проблема «P против NP» касается не только описанных
выше задач, но и тысяч других, схожих с ними
по сути. Насколько быстро можно перебрать огромное
число потенциальных вариантов? Насколько трудно будет
отыскать тот самый золотой билет, т. е. оптимальное
решение поставленной задачи?
Впервые проблема равенства классов упоминается еще
в 1956 году — в письме, которое один величайший
математик XX века, Курт Гёдель, отправил другому
величайшему математику XX века, Джону фон Нейману.
К сожалению, вплоть до восьмидесятых о письме ничего
не было известно, а вот первые официальные публикации
появились в начале семидесятых. Авторы — Стивен Кук
и Леонид Левин — независимо друг от друга пришли
к одному и тому же вопросу, находясь по разные
стороны «железного занавеса». Вслед за этим Ричард Карп
опубликовал свой знаменитый список из двадцати одной
задачи: все они, включая маршрут для коммивояжера
16 Золотой билет
1. Гипотеза Берча–Свиннертон-Дайера.
2. Гипотеза Ходжа.
3. Уравнения Навье–Стокса.
4. Проблема равенства P и NP.
5. Гипотеза Пуанкаре.
6. Гипотеза Римана.
7. Теория Янга–Миллса.
В ПОИСКАХ БИЛЕТА
Иногда найти билет все же удается. Предположим, мне
нужно поехать из Чикаго в Нью-Йорк на машине. Не
долго думая, я забиваю адрес в навигатор, который уже
через минуту-другую показывает оптимальный маршрут,
и жму на газ. Подробная карта США со всеми горо-
дами и улицами занимает миллионы байт; возможные
маршруты исчисляются гораздо более крупными цифрами.
Сколько маршрутов можно проложить из Чикаго в Нью-
Йорк? Грубейший подсчет даст нам свыше вигинтиллиона
(единица и 63 нуля) вариантов, и запрет движения по
встречке на односторонних улицах мало что изменит.
У навигатора просто нет времени на такое количество
проверок; как же он умудряется найти самый быстрый
маршрут?
На самом деле маршруты обладают одной интерес-
ной особенностью. Добавим в программу промежуточ-
ный пункт назначения — скажем, Питтсбург. Кратчайший
маршрут из Чикаго в Нью-Йорк через Питтсбург — это
сумма кратчайших маршрутов из Чикаго в Питтсбург и из
Питтсбурга в Нью-Йорк. Без заезда в Питтсбург до Нью-
Йорка можно добраться и быстрее, однако при наличии
промежуточной точки наилучшим решением будет склеить
два кратчайших маршрута.
Именно так и сужают круг поиска навигационные про-
граммы. Десять тысяч или даже сто тысяч вариантов — это
уже не вигинтиллион; современный процессор проверит
их без труда.
Поиск кратчайшего пути не охватывает все аспекты
проблемы равенства P и NP. Задача коммивояжера
доказывает, что при наличии огромного числа вариантов
совсем не обязательно перебирать их все; главный вопрос,
однако, заключается в том, всегда ли можно обойтись без
такого перебора.
ДОЛГАЯ ДОРОГА
Эта книга расскажет вам захватывающую историю о P
и NP. Что это за классы? Какая между ними разница? Что
18 Золотой билет
УРБАНСКИЙ АЛГОРИТМ
В 2016 году чешский математик Милена Павел послала по
электронной почте письмо. Во вложении было описание
универсального эффективного алгоритма для решения
NP-задач. После долгих и тщательных проверок научное
22 Золотой билет
КОМПЬЮТЕРЫ – РАК — 1 : 0
Вернувшись в кабинет, лечащий врач Хелен плотно закрыл
дверь.
«Боюсь, новости у меня не очень хорошие, — начал
он. — У вас рак печени».
«Откуда вы знаете? — задохнулась Хелен. Ей всего
сорок два; у нее муж и дети, трое ребят от шести до
пятнадцати. — Я ведь только кровь сдавала!»
«Когда есть образцы ДНК, по маркерам в крови можно
выявить не только наличие рака, но даже его тип и стадию.
Хотите — сделаем биопсию. Хотя анализы крови теперь
настолько точны, что необходимость в этой небезопасной
процедуре практически отпала».
«У моей двоюродной сестры тоже нашли рак печени.
Восемь лет назад, в 2018-м. Вариантов лечения тогда было
немного. Через семь месяцев ее не стало...»
«За десять лет многое изменилось! Унифицированные
методы лечения мало что давали. Со временем стало ясно,
что подход должен быть строго индивидуальным. Сначала
мы анализируем образцы ДНК здоровых и мутировавших
раковых клеток пациента, а затем создаем протеины,
заставляя их сворачиваться так, чтобы эффективно ней-
трализовывать раковые клетки и не причинять никакого
вреда здоровым. Мертвые раковые клетки сами постепенно
выводятся из организма».
«Наверно, это стоит кучу денег...» — задумчиво протя-
нула Хелен.
«Кучу денег стоила химиотерапия! Новый метод обой-
дется вам всего в две тысячи, и со временем он будет
26 Золотой билет
ПОСТ-УРБАНСКИЙ БЕЙСБОЛ
«Отличный денек, как раз для бейсбола!» — приговаривал
Рэнди, пока они с его двенадцатилетней дочерью Кейт
ехали в Сент-Луис на ее первую в жизни бейсболь-
ную игру — и последнюю в сезоне 2026 года. «Сент-
Луис Кардиналс» принимали у себя «Милуоки Брюэрс»;
предстояла жесткая борьба за чемпионский титул. Рэнди
Глава 2. Совершенный мир 27
БРИТВА ОККАМА
Урбанский алгоритм перенес нас в мир, где любая
болезнь поддается лечению, метеорологи всегда дают
точный прогноз, а компьютерная реальность неотличима
от настоящей. Как такое возможно? Ведь это всего лишь
программа, пусть даже и очень умная... В поисках ответа
мы отправимся в самое начало XIV века.
Уильям Оккам (или, точнее, Оккамский) еще юношей
вступил во Францисканский орден. В XIV веке в Оксфорде
наряду с францисканцами базировался также целый
ряд других религиозных орденов; все они давали кров
студентам Оксфордского университета, среди которых
был и изучавший теологию Уильям. Университет он
так и не закончил, однако это не помешало ему
стать одним из величайших мыслителей Средневековья
и внести поистине неоценимый вклад в физику, теологию,
логику и философию. Широкой публике Оккам известен
в основном благодаря своему принципу «бритва Оккама»,
согласно которому лучшим объяснением следует считать
самое простое. Почему бритва? Вероятнее всего, потому,
что она позволяет «сбривать», т. е. отсекать, все ненужное,
32 Золотой билет
ПЕРВОКЛАССНЫЙ ДЕТЕКТИВ
Полиция обнаружила, что урбанский алгоритм идеально
подходит для раскрытия преступлений: подозреваемого
он может отыскать, не имея практически ни единой
зацепки. Правда, из-за этого однажды вышел небольшой
скандал.
При расследовании массового убийства в Атланте,
происшедшего уже в «пост-урбанский» период, полиции
удалось получить образец ДНК с оставленной на месте
преступления обертки от гамбургера. В национальной
Глава 2. Совершенный мир 39
С НЕБЕС НА ЗЕМЛЮ
Трудно представить, что один-единственный алгоритм спо-
собен полностью перевернуть нашу жизнь. Неужели все,
что можно описать словами, можно и создать? Неужели
можно без труда получать практически любые знания?
Звучит невероятно, и именно поэтому большинство ученых
не верят в равенство P и NP и полагают, что у нас
никогда не будет ни урбанского, ни еще какого-нибудь
универсального алгоритма.
Впрочем, рассказанные в этой главе сказки вполне
могут стать реальностью — вне зависимости от того, равны
классы P и NP или не равны. Конечно, для этого нам
42 Золотой билет
ЗАКЛЯТЫЕ ДРУЗЬЯ
Лучший способ получить наглядное представление о клас-
сах P и NP — отправиться в воображаемое Королевство
заклятых друзей, в котором любые два жителя либо
дружат, либо враждуют.
В Королевстве проживает двадцать тысяч человек.
Глядя на каждого из них в отдельности, ничего такого не
подумаешь... однако стоит только свести двух жителей
вместе — и происходит нечто совершенно необъяснимое:
они или немедленно проникаются взаимной симпатией
и тут же становятся близкими друзьями, или с первого
взгляда превращаются в злейших врагов. Никто и никогда
не видел, чтобы между двумя жителями сложилось нечто
среднее между дружбой и враждой (как можно было
бы заключить из названия «заклятые друзья»): они
всегда или дружат взахлеб, или терпеть друг друга не
могут.
Никакой системы здесь не наблюдается. Друг вашего
друга — точно так же, как и враг вашего врага — может
быть вам другом, а может и врагом. Зависимость от пола,
расы, вероисповедания и социального статуса тоже вроде
бы отсутствует; известно только, что друзей у жителей
Королевства обычно намного меньше, чем врагов.
В интернете можно найти массу информации о том,
кто с кем дружит. Специалисты факультета компьютерных
наук Королевского технологического института проанали-
зировали данные социальных сетей, включая Facebook
и Twitter, и составили практически полную базу друзей
44 Золотой билет
В ПОИСКАХ КЛИКИ
В рамках проводимого исследования институтскому про-
фессору социологии понадобилось найти 50 жителей
Королевства, которые дружили бы между собой. Своими
силами справиться с задачей не удалось, и профессор
обратилась на факультет компьютерных наук, где один
из специалистов рассказал ей о базе дружеских связей
и уверенно заявил, что клика из 50 друзей найдется без
труда.
На деле выяснилось, что труд здесь требуется совершен-
но непосильный. Количество различных групп размера 50
оказалось непомерно огромным и выражалось числом из
151 цифры; не было и речи о том, чтобы проверить хотя
бы сотую долю вариантов. Круг поиска пытались сузить
всеми возможными способами — в частности, отсекли тех
жителей, у которых было меньше 49 друзей, поскольку
они-то уж точно не могли входить в искомую клику.
Однако, несмотря на свою высокую квалификацию,
исследователи не набрали и 25 друзей и при этом не
смогли представить убедительное доказательство того, что
клики размера 50 в Королевстве не существует.
Работа встала. Исследователи опустили руки. Внезапно
одного из аспирантов осенило: «Слушайте, у нас же есть
„Альфа“!» «Альфой» называлось известное, но при этом
полусекретное сообщество, все члены которого, по слухам,
дружили между собой. Пятьдесят «альфовцев» удалось
найти довольно быстро: ведь, в конце концов, секретным
сообщество было лишь наполовину. Оставалось только
перебрать 1 225 пар, чтобы проверить дружеские связи.
К изумлению исследователей (но не самих «альфовцев»,
разумеется), все пятьдесят действительно оказались дру-
зьями. Клика нашлась.
Глава 3. Классы P и NP 53
ПЕРЕДАЙ СКИПЕТР
Иногда достаточно внести лишь одно незначительное
изменение, чтобы задача, решение которой находится
очень легко, стала прямо-таки неприступной, и сейчас
мы с вами в этом убедимся.
Дети в Королевстве любят играть в игру под названием
«Передай скипетр», в которой участники по очереди
передают друг другу небольшую палку. Передачей счита-
ется тот момент, когда палку держат двое — передающий
и принимающий.
Правила игры:
1. Палку можно передавать только друзьям.
2. Между любыми двумя друзьями палка должна
переместиться ровно один раз.
Пусть в игре участвуют пятеро детей. Одно из возмож-
ных решений таково: начинают с Барбары, она передает
палку Эрику, Эрик — Алексу, Алекс — Кэти, Кэти — снова
Эрику, а Эрик — Дэвиду.
РАСКРАСКА ДОМОВ
В Королевстве вышел новый закон: по причинам эстетиче-
ского характера соседние дома должны быть выкрашены
в разные цвета (независимо от того, дружат их хозяева или
враждуют). Нововведение вызвало волну общественного
протеста: жители не желали тратить свои кровные на
краски и рабочих. В результате правительство согласилось
оплатить все счета при условии, что оно само выберет
цвета.
Расходы на краски предстояли огромные. Правитель-
ственные чиновники стремились минимизировать количе-
ство различных цветов, поскольку каждый сэкономленный
цвет позволял сохранить миллионы долларов. Королевско-
му технологическому выделили грант на поиск наимень-
шего количества цветов, достаточного для правильной
раскраски всех домов, т. е. раскраски, при которой любые
два соседних дома имеют разные цвета.
Ни у кого из жителей число соседей не превышает
двенадцати. При самом примитивном подходе — красить
каждый следующий дом в цвет, отличный от цветов
всех его соседей, — потребуется тринадцать различных
цветов. Однако в институте сумели обойтись малой
кровью.
Когда в 1852 году английский (а впоследствии юж-
ноафриканский) математик Франсис Гатри раскрашивал
карту графств Англии, ему пришло в голову, что любую
карту можно раскрасить в четыре цвета таким образом,
чтобы любые две смежные области получили разные
цвета. Его гипотеза широко обсуждалась в математической
среде; через некоторое время появились целых два
доказательства: первое в 1879 году выдвинул Альфред
Кемпе, второе — годом позже — Питер Тэт. Оба были
опровергнуты, хотя второе продержалось одиннадцать лет,
прежде чем в нем нашлись существенные изъяны. После
этого проблема раскраски карт почти сто лет оставалась
открытой.
Наконец, в 1976 году математики Кеннет Аппель
и Вольфганг Хакен сумели доказать, что для правильной
раскраски хватит четырех цветов. Правда, способ дока-
Глава 3. Классы P и NP 59
НА ПЕРВЫЙ-ВТОРОЙ РАССЧИТАЙСЬ!
В Королевской начальной школе обучается 500 детей.
Преподаватели решили поделить их на две группы,
разлучив при этом как можно меньшее число друзей,
поскольку те, конечно, хотели оставаться вместе. Вернемся
к схеме дружеских связей, рассмотренной в игре со
скипетром.
Глава 3. Классы P и NP 61
P ПРОТИВ NP
Некоторые задачи заставили институтских исследователей
изрядно попотеть. Давайте их перечислим: поиск клики,
поиск гамильтонова пути (вторая игра со скипетром),
раскраска карт и построение максимального разреза.
У всех этих задач есть одна общая черта: для них
легко проверить, является ли найденное решение верным.
Зная всех членов общества «Альфа», можно без особых
затруднений убедиться в том, что все они дружат между
собой, а следовательно — образуют клику. Предполагаемое
решение игры «Передай скипетр — 2» можно легко про-
тестировать, просто начав в нее играть. Когда все дома
раскрашены, можно за вполне разумное время проверить,
что цвета любых двух соседних домов различаются.
И, наконец, когда ученики уже разбиты на две группы,
Глава 3. Классы P и NP 63
ЗА ГРАНИЦЕЙ КОРОЛЕВСТВА
Мы с вами лишь слегка коснулись огромного множества
NP-задач, которые невозможно решить за разумное время.
Вам, наверно, кажется, что проблема равенства P и NP
интересна только жителям воображаемого Королевства
да еще узкому кругу математиков, связанных с вычис-
лительной техникой. Чтобы развеять это впечатление,
рассмотрим еще несколько задач из NP, не имеющих
эффективных алгоритмов решения (и принадлежащих,
кстати, к разным областям науки).
Биология
Геном человека содержит двадцать три пары хромосом,
каждая из которых представляет собой двойную цепочку
пар оснований. Основания бывают четырех видов —
аденин (A), цитозин (C), гуанин (G) и тиамин (T).
Цепочки начинаются примерно так: «ACTGATTACA...»;
некоторые достигают прямо-таки гигантских размеров.
Самая короткая хромосома содержит около 47 миллионов
пар оснований, а самая длинная — около 247 миллионов.
Современные методы секвенирования ДНК позволяют за
один прием обрабатывать участки длиной от 20 до 1000 пар
оснований. Ученым приходится секвенировать огромное
число коротких кусков, а потом придумывать, как их
лучше соединить. Склейка последовательности — задача
огромной вычислительной сложности и принадлежит
она классу NP: ведь, имея на руках готовую после-
Глава 3. Классы P и NP 65
Физика
К классу NP принадлежит и проблема поиска состояния
минимальной энергии физической системы — например,
множества взаимодействующих магнитных частиц или
скопления мыльных пузырей. Эффективно находить такие
состояния мы пока не умеем. Но разве это не то же самое,
что и состояние равновесия? Нет — потому что в состоянии
равновесия энергия физической системы не обязательно
падает до минимума.
66 Золотой билет
Экономика
Менеджер хедж-фонда ищет наилучшую форму поме-
щения капитала. Покупатель в супермаркете старается
уложиться в бюджет. Оба сталкиваются с труднейшей
вычислительной задачей из класса NP, решить которую
получается далеко не всегда, и часто выбирают совсем
не оптимальную стратегию. Каким образом отсутствие
эффективных с вычислительной точки зрения алгоритмов
Глава 3. Классы P и NP 67
Математика
В 1928 году выдающийся немецкий математик Давид
Гильберт сформулировал свою знаменитую проблему раз-
решимости — Entscheidungsproblem: существует ли уни-
версальный алгоритм, который для любого математиче-
ского утверждения определяет, истинно оно или ложно?
В 1931 году Курт Гёдель показал, что некоторые утвер-
ждения невозможно доказать или опровергнуть ни в одной
системе аксиом; спустя несколько лет вдохновленные его
результатами Алонзо Чёрч и Алан Тьюринг независимо
друг от друга доказали, что универсального алгоритма не
существует.
Допустим, у нас есть некое математическое утверждение
и нам требуется найти относительно короткое доказатель-
ство, которое, к примеру, уместилось бы в тоненькой
книжке. Эта задача лежит в классе NP, поскольку
оценить длину уже имеющегося доказательства легко,
68 Золотой билет
РЕШЕНИЕ ГОЛОВОЛОМКИ
«ПУТЕШЕСТВИЕ ПО ДОДЕКАЭДРУ»
ЧТО В ИМЕНИ?
Названия «P» и «NP», которыми мы пользуемся и по
сей день, впервые появились в работе Карпа. Однако для
самых трудных задач из класса NP термина у него не
было. Кук использовал крайне специфичное обозначение,
deg({DNF tautologies}), которое расшифровывалось как
«с полиномиальным уровнем сложности по отношению
к сложности множества тавтологий, записанных в дизъ-
юнктивной нормальной форме». Карп употреблял выра-
жение «полиномиально полные». Оба варианта звучали
как-то не очень.
В итоге с этим вопросом разобрался Дональд Кнут,
который в 1974 году получил премию Тьюринга за
исследования в области информатики и трехтомный (на тот
момент) труд «Искусство программирования». В 1973 году,
работая над четвертым томом монографии, Кнут в полной
мере осознал важность проблемы равенства P и NP
и решил взять инициативу на себя. Ученый запустил
опрос населения по почте — не электронной, без которой
он и сейчас прекрасно обходится. Впрочем, в те времена
без электронной почты удавалось прекрасно обходиться
всем.
В опросе предлагалось на выбор три названия: «ти-
танические», «сверхтрудные» и «тяжелые», однако ни
одно из них не смогло набрать достаточного количества
голосов. В ответ люди присылали собственные варианты —
от самых наивных вроде «неподдающиеся» или «упрямые»
78 Золотой билет
ПОСЛЕ КАРПА
Работа Карпа послужила толчком к дальнейшему раз-
витию информатики. NP-полные задачи множились, как
грибы; профессора и аспиранты по всему миру брались
за известные поисковые проблемы (а также находили
новые) и доказывали их NP-полноту. В классическом
труде 1979 года 1) приводится более трехсот основопола-
гающих NP-полных задач. Число их неудержимо растет;
NP-полные задачи возникают не только в информатике
и математике, но и в физике, биологии, экономике и во
многих других областях. Поиск по Академии Google
выдает более 138 000 научных статей об NP-полноте за
период с 1972 по 2011 год, и в одном только 2011 году
на эту тему было создано около 10 000 работ. Вряд ли
имеет смысл приводить здесь список всех NP-полных
задач, однако мне хотелось бы дать вам представление
о некоторых из них.
Доминирующее множество
Существует ли в Королевстве группа из 50 человек,
в которой у каждого жителя есть хотя бы один друг?
NP-полная задача.
Разбиение на треугольники
Комнаты в общежитии Королевского технологического
рассчитаны на трех человек. Можно ли расселить студен-
тов таким образом, чтобы в каждой комнате жили только
друзья? NP-полная задача.
1) Гэри М., Джонсон Д. Вычислительные машины и трудно-
Гигантские судоку
Судоку — это японская головоломка с числами. В клас-
сическом варианте используется квадратная сетка 9 × 9
(рис. 4.2).
Цепочка из почек
Почки выводят из организма балластные вещества. У боль-
шинства людей обе почки здоровы; если одна отказала,
другая будет работать за двоих, позволяя человеку жить
полноценной жизнью. Иногда отказывают обе почки,
и тогда от смерти может спасти только регулярный диализ,
который дорого стоит и отнимает много времени.
Если ваши почки здоровы, вы можете стать донором
и отдать одну из них тому, у кого почки не функционируют
вообще, — при условии совместимости с организмом реци-
пиента. Совместимость проверяется с помощью несложного
анализа крови.
Допустим, почки Элис вышли из строя. Ее муж,
Боб, согласен стать донором. Если Боб пройдет тест на
совместимость, врачи пересадят Элис его почку.
А если не пройдет? Тогда можно будет попытаться
совершить обмен почками.
Предположим, Чарли требуется почка, его брат Дэвид
готов отдать свою, но его почка не подходит. Если Дэвид
совместим с Элис, а Боб — с Чарли, то можно провести
86 Золотой билет
МАСТЕРА КОНСПИРАЦИИ
Как правило, те NP-задачи, которыми ученые занимались
в середине семидесятых, довольно быстро либо оказыва-
лись NP-полными, либо «скатывались» в класс P, посколь-
ку для них появлялись эффективные алгоритмы. Однако
некоторые особо вредные экземпляры упорно не желали
поддаваться классификации; одни сумели продержаться
несколько лет, другие не удалось рассекретить до сих пор.
Изоморфизм графов
В Королевстве насчитывается несколько сотен фанатов
«Блейд Квеста» — массовой многопользовательской ро-
левой онлайн-игры. Как и в других играх подобного
плана, участники здесь получают новую личность, или
аватар; каждый исполняет роль определенного персонажа
и общается с другими персонажами, за которыми тоже
стоят реальные жители Королевства. В виртуальном мире
дружеские связи сохраняются: те, кто дружат в жизни,
Глава 4. Самые трудные задачи класса NP 87
мы получим
8 273 820 869 309 776 799 973 961 823 304 474 636
656 020 157 784 206 028 082 108 433 763 964 611 304
313 040 029 095 633 352 319 623.
Маловероятно, что эта задача принадлежит классу P.
Впрочем, в ее NP-полноту ученые тоже не верят: раз-
ложить число на множители, конечно, очень трудно,
однако решить проблему выполнимости или раскраски
карт, скорее всего, будет на порядок труднее.
Задачи распознавания простоты и поиска делителей
важны не только для математиков, которые жить без
своих чисел не могут. К примеру, практически неразло-
жимые на множители числа используются в современной
криптографии. В восьмой главе мы коснемся этой темы
подробнее.
ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ
Фэнси Франкс продает четыре вида колбасных изделий:
франкфуртские сосиски, итальянские сосиски, братвурст
и чоризо. У всех продуктов разный состав и время
приготовления; все они продаются по разной цене,
и стоимость ингредиентов также отличается. Сколько
сосисок и колбасок каждого вида должна изготавливать
Фэнси, чтобы получать максимальный доход?
Составить оптимальный план выпуска продукции —
значит решить задачу максимизации прибыли при огра-
ниченных ресурсах. Пусть фарш для одной франкфуртской
сосиски стоит 1 доллар, для итальянской сосиски —
2 доллара, для братвурста — 3 доллара, а для чоризо —
4 доллара, и пусть дневной бюджет по расходам на мясо
составляет 10 000 долларов. Тогда количество франкфурт-
ских, умноженное на один, плюс количество итальянских,
умноженное на два, плюс количество братвурстов, умно-
женное на три, плюс количество чоризо, умноженное на
четыре, не должно превышать 10 000.
Поиск оптимального решения при наличии подоб-
ных ограничений представляет собой задачу линейного
программирования. Множество потенциальных решений
Глава 4. Самые трудные задачи класса NP 91
НА ЗАПАДЕ
Поиск эффективных алгоритмов начался около 3 000 лет
назад, когда люди впервые стали применять арифметику
для ускорения процесса сложения больших чисел. Однако
наша отправная точка — тридцатые годы прошлого века:
именно в этот период зародилась теория алгоритмов.
Алан Тьюринг
Мы освоили космос. Телескопы переносят нас в отдаленные
уголки галактики, позволяя изучать историю развития
Вселенной. Через микроскопы мы наблюдаем за атомами;
мы даже изобрели огромные машины, в которых эти
атомы сталкиваются, распадаясь на еще более мелкие
частички. А еще мы расшифровали человеческий геном.
И все же одну из самых главных загадок представляет
собой то небольшое устройство, которым мы ежедневно
пользуемся дома, в машине, и даже носим в кармане. Мы
называем его компьютером. Так что же это такое?
Слово computer появилось еще в XVII веке. В те времена
никому и в голову не приходило изобретать машины,
которые бы что-либо вычисляли. Компьютерами, или
вычислителями, называли мастеров счета, занимавшихся
вычислениями профессионально. С развитием банковской
системы на вычислителей «свалились» еще и вклады
и кредиты.
Глава 5. Хроника предшествующих событий 95
Вычислительная сложность
В пятидесятых годах цифровые компьютеры распространи-
лись уже довольно широко; требовалось как-то оценивать
объем вычислений, необходимый для решения той или
иной задачи. Первые методы оценки появились в ре-
зультате попыток формализовать процесс человеческого
мышления и поведения.
В 1943 году нейропсихологи Уоррен Маккаллок и Уол-
тер Питтс разработали нейронную сеть — теоретическую
модель, описывающую деятельность человеческого мозга.
В пятидесятых годах математик и логик Стивен Клини
изобрел конечный автомат — частный случай машины
Тьюринга — и изучал свойства разрешимых на нем задач.
При помощи конечных автоматов удобно описывать
алгоритмы работы простейших агрегатов (к примеру,
автомата с газировкой), однако что-то более сложное они
уже не потянут.
98 Золотой билет
Классы P и NP
В середине 1960-х формальное определение эффективного
алгоритма появилось сразу в двух работах: «Пути, деревья
и цветы» Джека Эдмондса и «Внутренняя вычислительная
трудность функций» Алана Кобэма.
Работа Эдмондса получила широкую известность благо-
даря тому, что в ней впервые был предложен эффективный
алгоритм для задачи о числе паросочетаний, рассмот-
ренной нами в третьей главе. В главе под названием
«Отступление» ученый рассуждает об экспоненциальной
и алгебраической сложности, предостерегая в то же
время от использования слишком жестких критериев
эффективности.
«Необходимо пояснить, что же все-таки понимается
под эффективным алгоритмом < . . . > Я не готов сейчас
дать строгое определение и сформулировать какие-
100 Золотой билет
НА ВОСТОКЕ
В СССР проблемами теоретической кибернетики занима-
лись многие выдающиеся ученые. Мы подробно остано-
вимся на трех из них; все они являются представителями
различных подходов к методу перебора.
1. Сергей Всеволодович Яблонский первым применил
перебор для поиска минимальных схем, реализующих
дискретные функции. К сожалению, его самонадеянность
в сочетании с огромным влиянием, которое он приобрел
в научной среде, тормозили развитие теории вычислитель-
ной сложности.
2. Андрей Николаевич Колмогоров — крупнейший уче-
ный в истории русской науки — предложил в качестве
меры сложности алгоритмическую информацию.
3. Ученик Колмогорова Леонид Анатольевич Левин
независимо от Кука сформулировал проблему равенства
классов P и NP и пришел к понятию NP-полноты. На
родине защитить диссертацию он не смог по политическим
причинам.
• 707 106 781 186 547 524 400 844 362 104 849 039
284 835 937 688 474;
• 982 922 216 207 267 591 232 795 977 564 268 549
473 337 889 037 097.
ПИСЬМО ГЁДЕЛЯ
В 1956 году Курт Гёдель написал письмо Джону фон
Нейману — пионеру в информатике и многих других
областях науки. В письме Гёдель на немецком языке
рассуждал о проблеме выполнимости и о вопросе равенства
классов P и NP, только формулировал он этот вопрос
в несколько иных терминах. По словам ученого, если бы
мы жили в мире, в котором P = NP, то «математикам более
не пришлось бы тратить время на задачи типа „да-нет“:
этот труд за них выполняли бы машины <...> Впрочем,
я уже перестал относить эту возможность к области
несбыточного». Идеи Гёделя на пятнадцать лет опередили
работы Левина и Кука.
Получил ли фон Нейман то письмо? Ответил ли он
Гёделю? Мы этого не знаем; на тот момент фон Нейман
уже был болен раком, и в 1957 году его не стало.
О письме научное сообщество узнало лишь в конце
восьмидесятых, когда за вопросом о равенстве P и NP
уже прочно закрепился статус одной из центральных
открытых научных проблем. Сам Гёдель умер в 1978 году;
душевное расстройство, омрачившее последние годы его
112 Золотой билет
ПРАВИЛО МАРСИАНИНА
Как узнать, какое понятие в науке — естественное, подска-
занное самой природой, а какое — искусственный продукт
деятельности человеческого разума? Представьте, что
на Марсе обнаружили цивилизацию, которая находится
примерно на таком же уровне развития, что и наша. Если
для некоторого земного понятия существует марсианский
аналог, полностью идентичный или хотя бы схожий
по смыслу, значит, это понятие естественное, поскольку
происходит из двух независимых источников.
Понятно, что цивилизации на Марсе нет и сравнивать
нам там себя на самом деле не с кем, но мы ведь можем
подключить воображение! Допустим, у марсиан имеется
машина Экзигия — вычислительная модель, отличная от
машины Тьюринга, но обладающая абсолютно теми же
возможностями. Марсианский вариант тезиса Чёрча–
Тьюринга гласит: все, что можно вычислить, вычислимо
и на машине Экзигия. Значит, понятие вычислимости
естественно, а вот понятие машины Тьюринга — нет.
Глава 5. Хроника предшествующих событий 113
ПОЛНЫЙ ПЕРЕБОР
Современные компьютеры считают очень быстро. Неве-
роятно быстро. С невообразимой, умопомрачительной
скоростью. Даже ноутбук или планшет может выполнить
полный перебор потенциальных решений для задачи
с небольшим размером входа.
Однако раньше все было совсем по-другому. В 1971 году,
когда Стивен Кук поднял вопрос о равенстве P и NP,
компания Intel выпустила микропроцессор Intel 4004 —
первый полноценный центральный процессор, который
уместился на одном кристалле и стал доступным для
потребителей. Intel 4004 мог выполнять 92 000 операций
в секунду и для того времени был очень скоростным.
Возьмем для примера подробно разобранную Куком
задачу о выполнимости и рассмотрим случай с двадцатью
переменными. Применим к ней простейший алгоритм,
который методично перебирает все возможные комбинации
значений переменных, устанавливая их в TRUE или
FALSE. Если предположить, что на обработку одной
116 Золотой билет
ЭВРИСТИЧЕСКИЕ МЕТОДЫ
Когда английскому плотнику XVII века требовалось
прикинуть расстояние в дюймах, он ориентировался
на ширину своего большого пальца. Вероятно, отсюда
и пошло так называемое правило большого пальца —
простой и неточный, но вполне приемлемый метод
решения того или иного вопроса. К примеру, поговорка
«Красный закат — моряк, веселись! Красный рассвет —
моряк, берегись!» дает нам примитивный, но достаточно
надежный метод предсказания погоды. А закон Мура
грубо оценивает рост мощности компьютеров.
Любой вычислительный алгоритм — это тоже метод
решения какого-либо вопроса. Эвристические алгоритмы
работают подобно правилу большого пальца: иногда они
ошибаются, однако в большинстве случаев находят верное
решение. Для NP-полных задач такие алгоритмы начали
появляться задолго до того, как об их NP-полноте стало
известно. За последние десятилетия сложными эври-
стическими методами «обзавелось» огромное множество
118 Золотой билет
Рис. 6.2. Карта Соединенных Штатов
Глава 6. Преодолевая трудности 119
ПРИБЛИЖЕННЫЕ МЕТОДЫ
Оптимальное решение получается найти далеко не всегда.
Очень часто, однако, не самое лучшее решение оказывается
вполне удовлетворительным.
Давайте снова обратимся к NP-полной задаче ком-
мивояжера, в которой требуется проложить кратчайший
маршрут через заданные города.
Предположим, вы хотите объехать 50 городов. Вам из-
вестно, что длина кратчайшего маршрута — 2 800 000 км.
Если вы составите маршрут в 2 810 000 км, то вряд
ли станете надрываться дальше из-за каких-то лишних
10 000 км.
С другой стороны, если дорога обходится вам в доллар
за километр, и за весь вояж вам заплатят 2 805 000
долларов, разница будет очень заметна: вы либо зара-
ботаете 5 000 долларов (уложившись в 2 800 000 км), либо
потеряете (удовлетворившись маршрутом в 2 810 000 км).
Сократите длину пути до 2 803 000 км — и окажетесь
в плюсе, хотя ваш маршрут не будет оптимальным.
Задача коммивояжера NP-полна, поэтому поиск точного
решения предположительно затянется на неопределенное
время. Зато мы можем построить приближенный маршрут,
причем от оптимального он будет отличаться не так уж
и сильно. Санджив Арора и Джо Митчелл независимо
друг от друга разработали алгоритм, который разбивает
карту на более мелкие куски и решает для каждого из
них аналогичную задачу, а затем аккуратно склеивает все
обратно.
На рисунке ниже вы видите карту Китая, на которой
отмечено 71 009 городов.
Наложим на карту частую сетку, решим задачу для
каждого квадрата в отдельности, а в конце просто со-
единим все полученные маршруты. Квадраты, в которых
128 Золотой билет
ДРУГАЯ ЗАДАЧА
Когда не помогают даже самые хитрые трюки, можно
вместо одной NP-задачи попытаться решить другую.
Ресторан «У Тьюринга» в местечке Пало-Альто всегда
следует новейшим кулинарным течениям. Последний
писк — вычислительная гастрономия, которую уже под-
хватили все модные рестораны в округе. Когда шеф-
повар Джейн загорелась идеей создать новый соус для
своей знаменитой макаронной запеканки, она не стала
экспериментировать на кухне, а просто ввела в компьютер
основные характеристики будущего блюда, в частности —
цвет, вкус, запах и консистенцию. От программы требова-
лось подобрать наилучшее сочетание ингредиентов и способ
приготовления и при этом обеспечить заданный уровень
вкусовых ощущений, а также минимизировать расходы
и число калорий. Джейн попросила сконструировать ей
густой красный соус с уровнем остроты 5, консистенцией
чуть более однородной, чем овсянка, и качеством вкуса от 5
до 11; соус должен был хорошо сочетаться с запеканкой
не забивать своим вкусом все остальное.
К сожалению, компьютер не сумел так подобрать
ингредиенты, чтобы все заданные условия выполнялись.
Тогда Джейн обратилась к местному компьютерному
гению Тому, который периодически помогал ей, получая
взамен скидки на еду. Том испробовал все известные ему
эвристические алгоритмы и нашел в интернете несколько
новых. Потом арендовал виртуальный сервер на Amazon,
чтобы увеличить вычислительную мощность, и какое-то
время витал в облаках. Ничто не помогало; отчаявшись
найти решение самостоятельно, он обратился к друзьям
из Силиконовой долины. Тому, кто первым подберет
134 Золотой билет
ВРЕМЯ СМИРИТЬСЯ
Если вам попался слишком крепкий орешек, все, что
вы можете сделать, — это бросить его и заняться чем-то
другим.
Ричард долго бился над химической формулой супер-
наркотика, который поможет ему захватить весь мир
или — на худой конец — окрестности его родного Цин-
циннати. Под действием наркотика люди должны были
становиться расслабленными и управляемыми. «Добавлю
его в воду на очистительной станции Миллера, — мечтал
он. — А когда все размякнут, приду и порабощу их!»
Для превращения мечты в реальность оставалось
лишь обзавестись достаточным количеством необходимых
ингредиентов. Проблема была в том, что после недавнего
инцидента ему был вынесен судебный запрет на покупку
химикатов. Не имея возможности официально обратиться
в специализированную фирму, Ричард придумал использо-
вать предметы домашнего обихода и экстрагировать из них
требуемые вещества. Он составил внушительный перечень
подходящих комбинаций товаров и ввел в компьютер
множество параметров — цены, максимальное количество
товара, которое, не навлекая подозрений, можно заказать
за один раз, адреса двадцати «Волмартов» и четырнадцати
«Таргетов» в Цинциннати и окрестностях, а также
стоимость доставки и аренды складов (ясно было, что
склад понадобится, причем точно не один). Вдобавок от
компьютера требовалось минимизировать время и рас-
ходы. К огромному огорчению Ричарда, потенциальных
вариантов оказалось слишком много, и проверить их
Глава 6. Преодолевая трудности 137
ПАРАДОКС ЛЖЕЦА
Давайте рассмотрим одно загадочное утверждение.
СХЕМЫ
В основе любого современного вычислительного устройства
лежит интегральная схема.
Интегральные схемы состоят из миллионов и даже
миллиардов крошечных транзисторов, предназначенных
для усиления и преобразования электрических сигналов.
На базе транзисторов создаются так называемые вентили —
логические элементы, выполняющие простейшие операции
с входными сигналами.
Для начала рассмотрим один электрический провод, на
который подается либо высокое напряжение, либо низкое.
Возможны только два значения, интерпретируемые обычно
как наличие тока или его отсутствие; эти значения
кодируют два состояния — единицу и ноль, или «истину»
и «ложь». Количество информации, передаваемое таким
двузначным сигналом, получило название «бит» (англ.
bit — сокращение от binary digit, т. е. «двоичная цифра»).
СОВРЕМЕННАЯ КРИПТОГРАФИЯ
«Мы стоим на пороге криптографической революции» —
таковы первые слова нашумевшей статьи Уитфилда
Диффи и Мартина Хеллмана, вышедшей в свет еще
в 1976 году. «Благодаря развитию массового производства
дешевых цифровых устройств криптография освободилась
от аппаратных ограничений и перестала испытывать
недостаток в вычислительных ресурсах, — продолжают
авторы. — Стоимость надежных криптографических си-
стем значительно снизилась; теперь эти системы можно
использовать в различных коммерческих приложениях —
например, для удаленного управления кэш-диспенсерами
и компьютерными терминалами».
Диффни и Хеллман понимали, что с дальнейшим
развитием вычислительной техники сложные шифроваль-
ные системы превратятся в недорогой и всем доступный
софт, хотя у криптографов при этом возникнут новые
вопросы. Компьютерные сети прочно войдут в повседнев-
ную жизнь; появится острая необходимость в недоро-
гих и эффективных методах защиты передаваемой по
ним информации. Рассуждая о последних достижениях
в борьбе с проблемой равенства P и NP, ученые заявляют:
«В то же время развитие теории информации и теории
Глава 8. Совершенно секретно 159
КРИПТОГРАФИЯ В ИГРАХ
В ПОИСКАХ СЛУЧАЙНОСТИ
ПРОБЛЕМЫ РАЗРАСТАЮТСЯ
Шифрование с открытым ключом базируется на «непри-
ступности» таких NP-задач, как разложение на множите-
ли. Достаточно случайным образом выбрать два больших
простых числа и перемножить их — и вы получите число,
которое никто, кроме вас, на множители, скорее всего,
не разложит.
Является ли задача разложения на множители NP-пол-
ной, мы не знаем; на самом деле это очень маловероятно.
Глава 8. Совершенно секретно 177
КВАНТОВЫЙ ВИДЕОРЕКОРДЕР
Том живет в Бостоне и, конечно, болеет за «Ред Сокс».
Днем его любимая команда принимала Нью-Йоркских
«Янкиз»; Том был на работе и специально не читал
бейсбольные новости. Вернувшись домой, он заказал
пиццу, включил телевизор и начал смотреть игру, которая
к тому моменту уже давно закончилась. На исходе девятого
иннинга у хозяев были заняты вторая и третья база, два
Глава 9. Его величество квант 179
КВАНТОВАЯ КРИПТОГРАФИЯ
Большинство рассмотренных в предыдущей главе алго-
ритмов шифрования базируются на предположении, что
задача факторизации является вычислительно трудной.
Если же под рукой у вас имеется квантовый компьютер,
то любой из этих шифров взламывается алгоритмом Шора,
раскладывающим числа на множители. Конечно, пока
это только фантазия, которая, однако, имеет все шансы
превратиться в реальность. Для защиты от квантовых
криптографических атак можно было бы попытаться
разработать новые протоколы шифрования, основанные на
особо трудоемких задачах, не укладывающихся в «люби-
мые» квантовыми компьютерами алгебраические структу-
ры. Однако ученые придумали другой способ: шифрование
при помощи квантовой механики.
Возможность копировать данные воспринимается нами
как должное. Функции копирования и вставки сейчас есть
почти в каждой программе. Мы можем сохранить один
и тот же файл в разных папках и на разных машинах,
можем создать резервную копию данных на жестком диске
или в облаке. Иногда все эти многочисленные экземпляры
нам даже мешают — очень трудно, к примеру, удалить свои
персональные данные и электронный адрес так, чтобы
о них больше не осталось ни единого упоминания.
Глава 9. Его величество квант 185
КВАНТОВАЯ ТЕЛЕПОРТАЦИЯ
В 1996 году компания IBM анонсировала новое направ-
ление исследований. На форзаце февральского номера
журнала Scientific American появилась двухстраничная
реклама.
«Она годами делилась рецептами с другом из Осаки.
Она познакомила его с сотней способов применения
паприки. В ответ он раскрыл ей тайну своего восхити-
тельного сукияки. Однажды Сейджи получил от Маргит
Глава 9. Его величество квант 187
КВАНТОВОЕ БУДУЩЕЕ
Ряд ученых полагают, что теорию вычислений пора
переводить на квантовый уровень. Пусть кванты и не
позволят нам решать NP-полные задачи, однако с их
помощью можно будет эмулировать физические системы,
а это значительно приблизит нас к пониманию сущности
192 Золотой билет
ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ
В 1965 году Гордон Мур заметил, что число базо-
вых элементов микросхемы — транзисторов — стремитель-
но возрастает с каждым годом. Мур выдвинул смелое
предположение: в последующее десятилетие количество
транзисторов на одном кристалле каждые два года будет
увеличиваться вдвое. Десятью годами дело в результате
не ограничилось; закон Мура — так окрестили правило —
действует и по сей день, и в ближайшие годы тенденция,
похоже, сохранится.
Долгое время закон Мура гарантировал также по-
вышение скорости. Однако примерно к 2005 году на
сцену выступили некоторые физические ограничения.
Дальнейшее ускорение представлялось нецелесообразным,
так как возросшие энергозатраты перевешивали все
преимущества быстрых процессоров. Для оптимизации
потребления энергии процессоры пришлось даже немного
замедлить.
И все же транзисторов на кристалле становится все
больше и больше. Зачем это нужно? Чтобы запускать сразу
несколько вычислений одновременно: распараллеливая
работу, мы значительно уменьшаем время решения задач.
Возьмем для примера суперкомпьютер IBM по имени
Уотсон, который в феврале 2011 победил в американской
телевикторине «Jeopardy!». Уотсон состоит из 90 серверов
IBM Power 750 по 4 процессора Power 7 в каждом.
Один процессор Power 7 содержит восемь более мелких
Глава 10. Будущее вычислений 195
БОЛЬШИЕ ДАННЫЕ
Каждую секунду мы загружаем 35 минут видеоматериала
на YouTube, создаем 1600 сообщений в Twitter, 11 000
постов в Facebook, 50 000 поисковых запросов в Google
и отправляем 3 000 000 электронных писем (из которых
90 процентов — это спам).
Телескоп «Хаббл» вращается на околоземной орбите
и фотографирует космос, отсылая на Землю 200 000
байт информации в секунду (один байт — это примерно
один символ алфавита). На смену «Хабблу» планируется
запустить «Джеймс Уэбб» с огромным параболическим
Глава 10. Будущее вычислений 197
ИНТЕРНЕТ ВЕЩЕЙ
Почти два миллиарда жителей планеты общаются через
интернет: пишут электронные письма и сидят в со-
циальных сетях. Вообще же, общение, работа, учеба
и развлечения вышли на такой уровень, который в XX веке
невозможно было даже представить.
Что будет, если начать подключать к интернету
и вещи? Уже совсем скоро в продаже появятся недорогие
и компактные чипы, способные выходить в интернет через
Wi-Fi и сотовые сети или другие беспроводные системы,
которые пока находятся на стадии разработки. Такой чип
мы сможем поставить почти на любой предмет, будь то
одежда, деталь автомобиля или еда из супермаркета. Под
нашим контролем окажется практически все: мы будем
знать, когда наши дети не пристегнуты, и без всяких
Глава 10. Будущее вычислений 199
И СНОВА ПРО P И NP
Доказать неравенство P и NP будет очень и очень
непросто. Ведь для этого придется обосновать тот факт,
что с задачей о клике (или с любой другой NP-полной
задачей) не справится ни один известный — а также
неизвестный — эффективный алгоритм. Но как можно
рассуждать о неизвестных алгоритмах?
Впрочем, я почти уверен, что неравенство классов
докажут. Произойдет это нескоро — лет через двадцать,
а может, через два столетия или даже два тысячелетия,
однако в конце концов мы все же разработаем методы,
которые позволят доказать, что P и NP не равны.
Математики придут в настоящий экстаз и наперебой
заговорят о «великом решении великой проблемы».
Новые техники подведут нас к самой сути эффективных
вычислений, а они со временем проникнут во все сферы
нашей жизни.
202 Золотой билет
Предисловие
Lance Fortnow, «The Status of the P versus NP Problem».
Communications of the ACM 52, no. 9 (September 2009):
78–86.
Stephen Hawking, A Brief History of Time: From the
Big Bang to Black Holes (New York: Bantam Dell, 1988).
Глава первая
История Веруки Солт позаимствована из книги Roald
Dahl, Charlie and the Chocolate Factory (New York: Knopf,
1964) 1) .
1) На русском языке: Роальд Даль «Чарли и шоколадная фабри-
Глава вторая
Почти все в этой главе — вымысел автора, созданный
с целью дать читателю представление о фантастическом
мире, в котором P = NP. Исключение составляет раздел
про «бритву Оккама».
Глава третья
Подробнее об эксперименте Милгрэма можно прочитать
в статье Stanley Milgram, «The Small World Problem»,
Psycology Today 2, no. 1 (1967): 60–67.
Информация о числе Бэйкона взята с сайта Internet
Movie Database.
Проблема четырех красок увлекательно излагается
в работе Robin Wilson, Four Colors Suffice: How the Map
Problem Was Solved (Princeton, NJ: Princeton University
Press, 2004).
Глава четвертая
Цитата из Кука — на самом деле не совсем цитата;
я перефразировал абзац из основополагающей работы
ученого, используя более современные понятия. Приведу
здесь оригинальный текст:
Глава пятая
Здесь по большей части излагаются материалы из следу-
ющих источников.
Lance Fortnow and Steve Homer, «A Short History
of Computational Complexity», Bulletin of the European
Association for Theoretical Computer Science 80 (June 2003);
«Computational Complexity» column.
Dennis Shasha and Cathy Lazere, «A Good Solution
Is Hard to Find», Out of Their Minds: The Lives and
Discoveries of 15 Great Computer Scientists (New York:
Springer, 1995).
Juris Hartmanis, «Observations about the Development
of Theoretical Computer Science», Annals of the History of
Computing 3, no. 1 (January 1981): 42–51.
B. A. Trakhtenbrot, «A Survey of Russian Approaches
to Perebor (Brute-Force Search) Algorithms», Annals
of the History of Computing 6, no. 4 (October 1984):
384–400.
Michael Sipser, «The History and Status of the P versus
NP Question», Proceedings of the 24th Annual ACM
Symposium on Theory of Computing (New York: ACM,
1992), 603–18. (В этой статье приводится оригинал письма
Гёделя фон Нейману и его английский перевод.)
208 Золотой билет
Литература
Глава шестая
Пример задачи коммивояжера взят из пресс-релиза Центра
исследований параллельных вычислений при университете
Райса (CRPC Researchers Solve Traveling Salesman Problem
for Record-Breaking 13,509 Cities, 2003).
Когда мне потребовалась помощь с эвристическими
алгоритмами и примерами раскраски карт, я обратился
за консультацией в раздел вопросов и ответов на сайте
http://cstheory.stackexchange.com/questions/4027/coloring-
planar-graphs, а также опубликовал вопрос в своем блоге.
Карта провинций королевства создана по аналогии
с некоторыми примерами в статье David P. Dailey,
Uniqueness of Colorability and Colorability of Planar
4-Regular Graphs Are NP-Complete, Discrete Mathematics
30 (1980): 289–93.
Глава седьмая
Процитированную в начале главы фразу Юрис Хартманис
произнес весной 1985 года, когда читал курс в Корнелль-
ском университете.
С редакционной политикой журнала Journal of the ACM
относительно проблемы равенства P и NP можно ознако-
миться по ссылке: http://jacm.acm.org/instructions/pnp.
210 Золотой билет
Глава восьмая
Сведения об истории развития криптографии по большей
части почерпнуты из книги David Kahn, The Codebreakers:
The Story of Secret Writing (New York: Macmillan,
1967).
Примеры судоку с нулевым разглашением перекочевали
в книгу из моего блога Computational Complexity (запись от
3 августа 2006 года): http://blog.computationalcomplexity.
org/2006/08/zero-knowledge-sudoku.html.
Литература
Глава девятая
Представление о той роли, которую Ричард Фейнман
сыграл в развитии квантовых вычислений, я получил из
работы David Deutsch, «Quantum Computation», Physics
World, January 6, 1992.
Примечания и список литературы 211
Литература
Глава десятая
Закон Мура опубликован в работе Gordon Moore,
«Cramming More Components onto Integrated Circuits»,
Electronics 38, no. 8 (April 19, 1965).
Об устройстве Уотсона рассказано в блоге IBM: «What
Runs IBM Watson and Why», David Davidian.
Историю создания контейнеровозов см. в книге Marc
Levinson, The Box: How the Shipping Container Made the
World Smaller and the World Economy Bigger (Princeton,
NJ: Princeton University Press, 2008)
http://www.youtube.com/t/press_statistics
http://techcrunch.com/2011/03/14/new-twitter-stats-140m-
tweets-sent-per-day-60k-accounts-created-per-day/
212 Золотой билет
http://www.facebook.com/press/info.php?statistics
http://email.about.com/od/emailtrivia/f/emails_per_day.
htm
http://public.web.cern.ch/public/en/lhc/Computing-en.html
http://space.about.com/od/telescopesandoptics/p/hubbleinfo.
htm
http://webbtelescope.org/webb_telescope/technology_at_the
_extremes/quick_facts.php
http://royal.pingdom.com/2011/01/12/internet-2010-in-
numbers/
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Глава 1. Золотой билет . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
Глава 2. Совершенный мир . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Глава 3. Классы P и NP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Глава 4. Самые трудные задачи класса NP . . . . . . . . . . . 69
Глава 5. Хроника предшествующих событий . . . . . . . . . . 93
Глава 6. Преодолевая трудности . . . . . . . . . . . . . . . . . . . . . . . 114
Глава 7. Как доказать, что P 6= NP . . . . . . . . . . . . . . . . . . . . 138
Глава 8. Совершенно секретно . . . . . . . . . . . . . . . . . . . . . . . . . 155
Глава 9. Его величество квант . . . . . . . . . . . . . . . . . . . . . . . . . 178
Глава 10. Будущее вычислений . . . . . . . . . . . . . . . . . . . . . . . . . 193
Благодарности . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
Примечания и список литературы . . . . . . . . . . . . . . . . . . . . . 205
Предметный указатель . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213
Минимальные системные требования определяются соответствующими
требованиями программы Adobe Reader версии не ниже 11-й для плат-
форм Windows, Mac OS, Android, iOS, Windows Phone и BlackBerry;
экран 10"
Научно-популярное электронное издание
Фортноу Лэнс
ЗОЛОТОЙ БИЛЕТ.
P, NP И ГРАНИЦЫ ВОЗМОЖНОГО
Ведущий редактор М. С. Стригунова. Художник В. Е. Шкерин
Корректор М. Н. Угальская
Оригинал-макет подготовлен Е. Г. Ивлевой в пакете LATEX 2𝜀
Подписано к использованию 11.08.16.
Формат 125×200 мм
Издательство «Лаборатория знаний»
125167, Москва, проезд Аэропорта, д. 3
Телефон: (499) 157-5272, e-mail: info@pilotLZ.ru, http://www.pilotLZ.ru
ЛЭНС
ФОРТНОУ
ЗОЛОТО
Й БИЛЕ
ʖ˃ˇ˃˚
Т
˃ˍˑˏ
ˏˋ˅ˑ
ˢˉˈ
ʞˑˋ˔ ˓˃
ˍˏ˃ˍ ʟ˃˔
˔ˋˏ˃ˎ ˍ˓˃˔ˍ˃ˍ˃˓
˟ːˑˌ
ˍˎˋˍ ˕ ʠ˖ˇˑˍ
ˋ ˖
P, NP
ʗʒʟʏʜʗʥʪ
ʑʝʖʛʝʕʜʝʒʝ
Задача «P против NP» является самой важной открытой про-
блемой компьютерных вычислений и чуть ли не всей мате-
матики. Заключается она в следующем. Допустим, мы можем
быстро проверить на компьютере уже найденное решение
некоторой задачи. Можно ли в этом случае быстро решить
эту задачу с помощью компьютера?
«Золотой билет» — великолепное введение в P/NP-пробле-
му, в котором описаны история этой задачи и ее влияние на
нашу жизнь. В этой информативной и занимательной книге
Лэнс Фортноу прослеживает работу, которая велась над зада-
чей во времена холодной войны по обе стороны «железного
занавеса», и приводит примеры ее возникновения во множе-
стве дисциплин, включая экономику, физику и биологию. Он
исследует задачи, несущие в себе сложность P/NP-дилеммы,
от поиска кратчайшего пути по всем аттракционам Дисней-
ленда до нахождения больших групп друзей в Facebook.
Однако сложность P/NP-проблемы имеет и свои преимуще-
ства. Не решаемые с помощью компьютера задачи позволя-
ют нам безопасно осуществлять электронные платежи и со-
хранять конфиденциальность в сети.
Книга предлагает задуматься о том, что мы в действительно-
сти можем и чего не можем в плане вычислений, описывает
преимущества жизни в «совершенном
мире», где P=NP, и те неожиданные
Georgia Tech College of Computing