증명 주장원문 확인
The P≠NP “Proof” Is One Week OldR. J. Lipton, K. W. Regan · 2010블로그 Gödel's Lost Letter and P=NP, 2010년 8월 15일Deolalikar 원고를 둘러싼 일주일의 논의를 두 쟁점으로 정리한 Lipton 과 Regan 의 블로그 글이다. 쉬운 문제(2-SAT·XOR-SAT)와 구별되지 않는다는 지적과, 유한 모형 이론을 쓰는 방식의 문제를 요약한다. 2-5 의 Deolalikar 사례 글이 인용한다.
확인:블로그 글을 직접 열어 읽음.원문 주소 (rjlipton.com)이 카드를 붙인 자료 1