Представьте, что вы пытаетесь разгадать головоломку, которая с каждой минутой становится всё сложнее и сложнее. Вы думаете: "Эх, если бы у меня был суперкомпьютер, он бы решил эту задачу в два счёта!" Но что, если я вам скажу, что существуют задачи настолько сложные, что даже самые мощные компьютеры могут "чесать в затылке" годами, пытаясь найти решение? Добро пожаловать в увлекательный мир теории сложности вычислений! Теория сложности вычислений - это не просто набор сухих формул и непонятных терминов...

В сентябре 2021 года математик Мартин Доуд выложил в открытый доступ свое решение одной из самых известных «задач тысячелетия» — доказательство P≠NP. Но торжества по этому поводу длились недолго. Задача, судя по всему, устояла: после ряда критических замечаний к работе Доуд снял ее с публикации. Математик Владимир Потапов рассказывает о задаче, которой бросил вызов его американский коллега, и том, что, по-видимому, пошло не так. Проблема, которую принято кратко записывать формулой «P ≠ NP?», пожалуй,...