Holy fucking shit! (P \neq NP)

[yvl]

Похоже, мы станем свидетелями огромного прорыва человеческой мысли. По сообществу поползло докзательство разделения классов сложности P и NP. Эта задача является ключевой в теории вычислительных систем и математике вообще и находится в числе задач тысячелетия. По моему мнению она далеко опережает все остальные задачи по их практическим последствиям

Comments

[kolokolca]

Переслала доказательство на gmail -- сама ещё посмотреть не успела. С нетерпением жду реакции столпов! ;-)

[yvl]

Я копию получил через Сиа 3 часа назад уже. :) А ты, небось, раньше всех получила. :)Я просмотрел текст (по побочной диагонали), эклектично очень, "я его себе совсем другим представлял" (с). А зачем тебе столпов ждать, там вроде даже для меня все доступно?

[kolokolca]

Методы похожи на правду -- он использует distributions, solutions space geometry и локальность вычислений... Мы сейчас пытаемся понять где его аргумент ломается если заменить k-SAT на XORSAT.

[n0mad_0]

а можно нам тоже почитать? =) был бы очень благодарен!

eugene.kharitonov [пёс] gmail.com

[kolokolca]

Ага, оно. Выложили-таки в открытый доступ ;-)

[n0mad_0]

спасибо