P nie jest równe NP

Wygląda na to, że został rozwiązany jeden z największych (jeżeli nie największy!) problem w historii Informatyki. Zdaje się, że pan Vinay Deolalikar z Hewlett-Packard udowodnił, że P nie jest równe NP.

Link znaleziony na wykopie:

http://gregbaker.ca/blog/2010/08/07/p-n-np/

Sam dowód znajduje się tutaj http://www.scribd.com/doc/35539144/pnp12pt i jest obszerny na całe 100 stron. Trzeba przyznać, że wygląda poważnie.
No cóż, wygląda na to, że stworzenie szybkiego (działającego w czasie wielomianowym) algorytmu na znalezienie cyklu Hamiltona jest niemożliwe. Chyba, że ktoś znajdzie błąd w dowodzie.