Знаете, что общего у древнегреческих мифов и самой известной нерешённой задачи математики? И там и там боги придумывают испытания, которые смертные не могут пройти. Вот только в случае с P vs NP проблема не в силе богов — а в том, что сама задача составлена неверно. Представьте двух братьев из мира математики — назовём их Зевс и Аид. Зевс — создатель. Он придумывает алгоритмы. Он знает, как проверить ответ. Он закладывает механизм, по которому любой ответ можно подтвердить или опровергнуть за полиномиальное время...