Eine Kritik an Du's "Ein Polynomzeit-Algorithmus für 3-SAT"
Der Algorithmus von Du zur Lösung des NP-vollständigen 3-SAT-Problems enthält einen Fehler, der dazu führt, dass der Algorithmus bestimmte erfüllbare 3-CNF-Boolesche Formeln als nicht erfüllbar einstuft. Daher kann der Algorithmus nicht korrekt sein und beweist nicht, dass P = NP.
