2. Криптография и гипотеза P != NP

Как правило, знакомство математиков-неспециалистов с теорией сложности вычислений ограничивается классами и знаменитой гипотезой

Напомним вкратце необходимые сведения из теории сложности вычислений. Пусть 2 — множество всех конечных строк в двоичном алфавите Подмножества в теории сложности принято называть языками. Говорят, что машина Тьюринга работает за полиномиальное время (или просто, что она полиномиальна), если существует полином такой, что на любом входном слове длины машина останавливается после выполнения не более, чем операций. Машина Тьюринга распознает (другой термин — принимает) язык если на всяком входном слове машина останавливается в принимающем состоянии, а на всяком слове в отвергающем. Класс это класс всех языков, распознаваемых машинами Тьюринга, работающими за полиномиальное время. Функция вычислима за полиномиальное время, если существует полиномиальная машина Тьюринга такая, что если на вход ей подано слово то в момент останова на ленте будет записано значение Язык принадлежит классу если существуют предикат Р(х, у) вычислимый за полиномиальное время, и полином такие, что Таким образом, язык принадлежит если для всякого слова из длины можно угадать некоторую строку полиномиальной от длины и затем с помощью предиката убедиться в правильности догадки. Ясно, что Является ли это включение строгим — одна из самых известных нерешенных задач математики. Большинство специалистов считают, что оно строгое (так называемая гипотеза В классе NP выделен подкласс максимально сложных языков, называемых NP-полными: любой NP-полный язык распознаваем за полиномиальное время тогда и только тогда, когда

Для дальнейшего нам потребуется еще понятие вероятностной машины Тьюринга. В обычных машинах Тьюринга (их называют детерминированными, чтобы отличить от вероятностных) новое состояние, в которое машина переходит на очередном шаге, полностью определяется текущим состоянием и тем символом, который обозревает головка на ленте. В вероятностных машинах новое состояние может зависеть еще и от случайной величины, которая принимает значения 0 и 1 с вероятностью 1/2 каждое. Альтернативно,

можно считать, что вероятностная машина Тьюринга имеет дополнительную случайную ленту, на которой записана бесконечная двоичная случайная строка. Случайная лента может читаться только в одном направлении и переход в новое состояние может зависеть от символа, обозреваемого на этой ленте.

Рассмотрим теперь следующий естественный вопрос: не является ли гипотеза необходимым и достаточным условием для существования стойких криптографических схем?

Необходимость, и в самом деле, во многих случаях почти очевидна. Вернемся к примеру 1. Определим следующий язык

Ясно, что вместо описанного во введении полного перебора можно просто угадать открытый текст и проверить за полиномиальное время, что бит равен 1. Если да, то входное слово принимается, в противном случае — отвергается.

В предположении существует детерминированный полиномиальный алгоритм, распознающий язык Зная с помощью этого алгоритма можно последовательно, по биту, вычислить открытый текст Тем самым криптосистема нестойкая.

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

Что же касается вопроса о достаточности предположения то здесь напрашивается следующий подход: выбрать какую-либо NP-полную задачу и построить на ее основе криптографическую схему, задача взлома которой (т. е. задача, стоящая перед противником) была бы NP-полной. Такие попытки предпринимались в начале 80-х годов, в особенности в отношении криптосистем с открытым ключом, но к успеху не привели. Результатом всех этих попыток стало осознание следующего факта: даже если то любая NP-полная задача может оказаться трудной лишь на некоторой бесконечной последовательности входных слов. Иными словами, в определение класса NP заложена мера сложности «в худшем случае». Для стойкости же криптографической схемы необходимо, чтобы задача противника была сложной «почти всюду». Таким образом, стало ясно, что для криптографической стойкости необходимо существенно более сильное предположение, чем А именно, предположение о существовании односторонних функций.