증명 주장원문 확인
P ≠ NPVinay Deolalikar · 2010미출판 원고 (HP Research Labs, 2010년 8월 6일 판, 66쪽) · G. Woeginger 의 P-versus-NP 페이지에 보관된 사본2010년 8월에 공개되어 큰 관심을 모았고 며칠 만에 공개 검토를 받은 P ≠ NP 증명 주장의 원고다. 공개 검토에서 Immerman, Tao 등 여러 연구자가 찾아낸 문제는 두 갈래(P 를 논리로 규정하는 부분의 잘못된 사용, k-SAT 해 공간의 구조에 기댄 논증의 결함)로 요약되었다(lipton-regan-2010-08-15 카드의 글). 이 증명 주장은 받아들여지지 않았다. 그럴듯한 증명 주장이 어떻게 검증되는지 보여 주는 사례로, 2-5 를 읽는 독자에게 권한다. 연결한 것은 Woeginger 의 P-versus-NP 페이지에 보관된 원고 사본이다.
확인:Woeginger 의 페이지에 보관된 원고 사본(2010-08-06 판, 66쪽)을 열어 표지와 초록을 확인. 논증의 내용은 Lipton 의 요약 등 공개 검토 기록에 기댐.원문 주소 (wscor.win.tue.nl)이 카드를 붙인 자료 2