[논문 리뷰] Refutation of Aslam's Proof that NP = P

Frank J. Ferraro, Garrett Hall외 1명|ArXiv.org|2009. 04. 24.

Advanced Mathematical Theories인용 수 3

한 줄 요약

이 논문은 Aslam이 NP = P를 증명했다고 주장한 바를 반박하며, 이분 그래프에서 완전 매칭을 세는 데 있어 그의 알고리즘에 심각한 결함이 있음을 입증한다. 저자들은 Aslam의 방법이 경로 탐색 중에 여유 엣지들을 잘못 조합하여 과도한 수를 세는 바람에, 정확히 세 개의 유효한 완전 매칭이 존재하는 구체적 반례에서 알고리즘이 다섯 개를 반환한다는 점을 보여주며, 이는 #P ⊆ FP임을 주장하는 그의 주장을 무효화한다. 따라서 NP = P라는 주장 역시 기각된다.

ABSTRACT

Aslam presents an algorithm he claims will count the number of perfect matchings in any incomplete bipartite graph with an algorithm in the function-computing version of NC, which is itself a subset of FP. Counting perfect matchings is known to be #P-complete; therefore if Aslam's algorithm is correct, then NP=P. However, we show that Aslam's algorithm does not correctly count the number of perfect matchings and offer an incomplete bipartite graph as a concrete counter-example.

연구 동기 및 목표

• 이분 그래프에서 완전 매칭을 세는 알고리즘을 철저히 분석함으로써 Aslam의 NP = P 주장에 도전한다.
• Aslam의 알고리즘에 존재하는 특정 결함을 특정하고, 이로 인해 완전 매칭이 잘못 수세어지는 것을 입증한다.
• 기존의 유효한 완전 매칭 수가 알려진 구체적 반례를 구성함으로써, Aslam의 알고리즘의 정확성에 대한 반증을 제공한다.
• 경로 곱셈 중에 여유 엣지(Se)를 조합하는 알고리즘의 방법이 과도한 수를 세우는 원인가를 보여주며, #P ⊆ FP라는 주장이 무효화됨을 입증한다.
• Aslam의 증명이 실패하는 이유는, 비완전한 이분 그래프에서 완전 매칭을 정확히 세지 못하기 때문이다.

제안 방법

• 저자들은 Aslam의 논문 버전 9를 기반으로 그의 알고리즘을 분석하며, 생성 그래프 Γ(n)과 완전한 유효 곱 경로(CVMPs)를 사용하여 완전 매칭을 수세는 데 초점을 맞춘다.
• 완전 매칭을 순열로 정의하며, Γ(n) 내의 노드 쌍에서 유도된 엣지 집합으로 표현한다.
• 모든 CVMP 엣지 집합의 합집합에서 엣지 {76}을 제거함으로써 특정한 비완전 이분 그래프 BG′을 구성하여, 오직 세 개의 유효한 완전 매칭만 남도록 보장한다.
• 저자들은 Γ(9)의 부분그래프 γ에서 알고리즘의 실행을 시뮬레이션하며, 반복 과정에서 VMPSet 생성, 추가, 결합 작업을 추적한다.
• 알고리즘이 VMPSet(c₄,c₆)의 여유 엣지(Se)를 VMPSet(c₁,c₃)의 엣지 요구사항(ER)과 동일하게 취급하여 잘못 조합하고 있음을 밝혀낸다.
• 핵심 결함은, VMPSet(c₄,c₆)와 VMPSet(c₁,c₃)을 곱할 때 엣지 요구사항 간의 충돌을 고려하지 않아, 두 개의 불법 매칭이 잘못 수세어지기 때문이다.

실험 결과

연구 질문

• RQ1 Aslam의 알고리즘은 생성 그래프 Γ(n) 내의 CVMPs를 사용하여 비완전한 이분 그래프에서 모든 완전 매칭을 정확히 세는가?
• RQ2 주어진 비완전한 이분 그래프에서 실제로 존재하는 완전 매칭 수보다 더 많은 매칭을 반환하는 반례를 구성할 수 있는가?
• RQ3 한 VMPSet의 여유 엣지가 다른 VMPSet의 엣지 요구사항과 일치할 경우, 덧셈과 곱셈을 통해 VMPSet 객체를 조합하는 방법이 유효한가?
• RQ4 과도한 수의 원인이 여유 엣지(Se)와 엣지 요구사항(ER)을 경로 곱셈 중에 잘못 처리함으로써 발생하는가?
• RQ5 정확히 세 개의 유효한 완전 매칭이 존재하는 경우에 알고리즘이 과도하게 수세어진다면, 이는 #P ⊆ FP임을 주장하는 Aslam의 주장을 무효화하는가?

주요 결과

• 알고리즘은 오직 세 개의 유효한 완전 매칭만 존재하는 그래프에서 다섯 개의 완전 매칭을 반환하여 명백한 과도한 수의 오류를 보여준다.
• 과도한 수의 원인은 VMPSet(c₄,c₆)와 VMPSet(c₁,c₃)을 조합하는 데 있으며, 이는 첫 번째의 여유 엣지가 두 번째의 엣지 요구사항과 일치하기 때문이다.
• 서브그래프 γ는 정확히 다섯 개의 CVMPs를 포함하지만, BG′에서 유효한 완전 매칭에 해당하는 것은 오직 세 개뿐이며, 두 개는 누락된 엣지 {76}을 포함하고 있다.
• 알고리즘이 VMPSet 객체를 결합할 때 엣지 요구사항(ER)을 정확히 고려하지 않아, ER = ∅인 CVMPs만 세어야 하는 조건을 위반한다.
• 저자들은 π(pₐₐ) = (1,9,5,7,8,6,2,4,3) 및 E(pₐₐ) = {19,24,31,43,57,62,76,85,98}임을 확인하지만, {76}은 BG′에 존재하지 않아 pₐₐ는 무효이며 세어서는 안 된다.
• 이 결함은 체계적이다: 알고리즘의 곱셈 단계는 엣지 요구사항의 무결성을 유지하지 못하여, NC에서 완전 매칭을 세는 데 성공한다고 주장하는 것 자체를 무효화한다.