Du의 논문은 3-SAT 문제를 다항 시간에 해결할 수 있는 알고리즘을 제시했지만, 이 알고리즘에는 치명적인 결함이 있어 만족할 수 있는 3-CNF 불린 공식을 잘못 판단하는 경우가 있다. 따라서 Du의 주장인 P = NP가 성립하지 않는다.
