giovedì 20 gennaio 2011

Time Code polinomio per 3-SAT pubblicazione, P == NP

Interessante notizia letta in http://rss.slashdot.org/~r/Slashdot/slashdot/~3/szp1xV2LqF8/story01.htm:
Un lettore anonimo scrive "Vladimir Romanov ha rilasciato quello che afferma è un algoritmo polinomiale per la soluzione di 3-SAT. Dato 3-SAT è NP-completo, questo implicherebbe che P == NP. Mentre non c'è ancora una buona ragione per essere scettici che questo è, in effetti, è vero, che ha fatto il codice sorgente disponibile e appare decisamente più grave rispetto alla maggior parte delle persone che tentavano di dimostrare che P == NP o P! = NP. Anche se questa è probabilmente sbagliato, proprio sulla base del puro numero di errori precedenti, sembra più probabile che portare a nuove scoperte di più. noti che ci sono già gli algoritmi per risolvere 3-SAT, tra cui uno che corre nel tempo (4 / 3) n ^ e riesce con elevata probabilità. inciso, ciò non implica necessariamente che la crittografia è inutile: si può essere ancora troppo lento per essere pratico ".

Per saperne di più di questa storia a Slashdot.




Nessun commento:

Posta un commento