quinta-feira, 20 de janeiro de 2011

Polinomial código de tempo para 3-SAT Lançado, P == NP

Notícias interessantes vistas no http://rss.slashdot.org/~r/Slashdot/slashdot/~3/szp1xV2LqF8/story01.htm:
Um leitor anónimo escreve "Vladimir Romanov lançou o que alega é um algoritmo de tempo polinomial para resolver 3-SAT. Porque 3-SAT é NP-completo, isto implicaria que P == NP. Enquanto ainda há uma boa razão para ser cético que este é, na verdade, é verdade, ele fez o código fonte disponível e aparece claramente mais grave do que a maioria das pessoas tentando provar que P == NP ou P! = NP. Mesmo que isso provavelmente está errado, apenas com base na mera número de falhas anteriores, parece mais susceptível de conduzir a novas descobertas que a maioria. Note-se que já existem algoritmos para resolver 3-SAT, incluindo um que roda no tempo (03/04) ^ n e sucede com alta probabilidade. Incidentalmente, isto não implicaria necessariamente que a criptografia é inútil: ele ainda pode ser muito lento para ser prático ".

Leia mais desta história em Slashdot.




Nenhum comentário:

Postar um comentário