jeudi 20 janvier 2011

Code temps polynomial pour 3-SAT Paru, P == NP

Nouvelles intéressantes vu dans http://rss.slashdot.org/~r/Slashdot/slashdot/~3/szp1xV2LqF8/story01.htm:
Un lecteur anonyme écrit: «Vladimir Romanov a publié ce qu'il prétend est un algorithme polynomial pour résoudre 3-SAT. Parce que 3-SAT est NP-complet, cela impliquerait que P == NP. Bien qu'il reste encore de bonnes raisons d'être sceptique que ce n'est, en fait, c'est vrai, il a fait le code source disponible et semble nettement plus grave que la plupart des personnes qui tentent de prouver que P == NP ou P! = NP. Même si c'est probablement faux, juste, fondée sur la pure nombre d'échecs avant, il semble plus susceptible de conduire à de nouvelles découvertes que la plupart. Notez qu'il existe déjà des algorithmes de résolution 3-SAT, y compris celui qui va dans le temps (03.04) ^ n et réussit avec une probabilité élevée. Incidemment, ce ne serait pas nécessairement que le cryptage ne sert à rien: il peut être encore trop lent pour être pratique ».

Lire la suite de cette histoire à Slashdot.




Aucun commentaire:

Enregistrer un commentaire