Дмитрий (d43m0n) wrote in science_freaks,
Дмитрий
d43m0n
science_freaks

P == NP && P != NP

Кажется, тут не пробегал.

На arXiv'е в разделе CS, Computational Complexity была найдена следующая статья:
http://arxiv.org/pdf/0806.2947
Автор обещает крайне интересный результат. Цитирую:
"A Paradox ⇒ SAT is (NOT) NP-complete & ZFC is Inconsistent"

В кратком содержании упомянуто, что автор привлёк теорию нечёткой логики и нашёл проблему \in P, которую нельзя выразить как проблему для SAT. (OMG!) Кроме того, автор покусился на ZFC и положительно решил гипотезу континуума.
Дата опубликования (19 июня) не даёт повода предположить, что речь идёт о первоапрельской шутке. Мужик настроен вполне всерьёз, если он не издевается.
В общем, нетривиальный случай. ИМХО фрик, однако, я воздержусь от безапелляционных суждений.

(Вкратце, для тех, кто не в теме: Персонаж пытается "снять" реально существующий и научно важный вопрос путём "доказательства" того, что вопрос не имеет смысла.)
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 6 comments