Holy fucking shit! (P \neq NP)

топ 100 блогов yvl08.08.2010 Похоже, мы станем свидетелями огромного прорыва человеческой мысли. По сообществу поползло докзательство разделения классов сложности P и NP. Эта задача является ключевой в теории вычислительных систем и математике вообще и находится в числе задач тысячелетия. По моему мнению она далеко опережает все остальные задачи по их практическим последствиям. Доказательство занимает 102 страницы (с библиографией) и применяет весьма обширный матаппарат.

Если вы в теме, то в зависимости от вашего часового пояса и близости к Столпам вскоре вы получите копию. Вероятно, как только автор получит подтверждения своей правоты (народ не сможет найти лажу), доказательство попадет в свободный доступ. Пока я его в открытом доступе найти не смог.

Стив Кук по поводу этого доказательства сказал "Это кажется сравнительно серьезной заявкой на решение вопроса P vs NP". Будем ждать реакции от сообщества, а пока сами на досуге полистаем.

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

Оставить комментарий

Архив записей в блогах:
В моей жизни было немало ситуаций, когда я проклинал гаишников, работников ЖКХ, чиновников, медиков и, конечно же, эвакуаторщиков. Но были и совершенно иные примеры, когда люди, несмотря на должности или звания, просто оказывались нормальными людьми, входили в положение, находили выход. Во ...
И ещё про нереальность, то есть про школу. На этот раз дочкину. У дочки одна из самых ярких черт - неуверенность в своих достижениях и суждениях. До забавного: учительница жаловалась, что дочка отказаться показывать свои рисунки, которые учительнице очень нравятся. Рисует дочка ...
По ТВ "История" смотрел про замок Шамбор. Поразительнейшее явление на планете. Но поражает ещё больше неинтерес людей к этому ЧУДУ. И поражает неудивление людей к этому ЧУДУ. И вера в то, что версия, сочинённая историками, адекватная. Что были какие-то гениальные архитекторы, ...
Почему я не могу смотреть ретродетективы начала 20-го века. И вроде все там благополучно, уже есть и телефон и какие-то извозчики типа такси. А я смотрю и все время думаю о том, что скоро, очень скоро эти люди либо будут высланы из страны, либо уничтожены.  И из-за этого такое ...
Где-то через 2-3 недели ожидается у нас пополнение в виде третьего ребенка. в связи с этим радстным событием к нам из России прилетает бабушка и очень хочет привезти что-то для малыша(для старших вроде придумали), но для малого у нас все есть(третий же!), с другой стороны - бабушка все ...