해밀턴 사이클 존재 판정 복잡도 삼차 시간 주장 분석

초록

본 논문은 방향 그래프의 해밀턴 사이클 존재 여부를 이분 매칭 커버 그래프로 변환한 뒤, 해당 매칭을 찾는 과정이 O(n³) 시간 안에 해결될 수 있다고 주장한다. 그러나 매핑의 정당성, 매칭 존재와 해밀턴 사이클 사이의 일대일 대응성, 그리고 알고리즘의 복잡도 분석에 중대한 결함이 존재한다는 점에서 기존 NP‑완전성 결과와 모순된다.

상세 분석

논문은 먼저 주어진 유향 그래프 G(V,E)를 두 개의 복제 정점 집합 V_in, V_out 으로 나누어 이분 그래프 B를 구성한다. 각 원래 정점 v∈V에 대해 v_in 과 v_out 을 만들고, 원래의 간선 (u→v) 를 B의 간선 (u_out , v_in ) 으로 매핑한다. 이때 B는 완전 이분 그래프가 아니라 원래 그래프의 구조를 그대로 반영한다는 점에서 매핑 자체는 흔히 사용되는 라인 그래프 변환과 유사하다. 논문은 이 B에서 “매칭 커버” 라는 개념을 도입한다. 매칭 커버는 B의 모든 정점을 정확히 한 번씩 포함하는 매칭 집합을 의미한다는 주장이다. 그러나 이 정의는 기존 매칭 이론에서 “완전 매칭”(perfect matching) 혹은 “완전 매칭 커버”(perfect matching cover)와 혼동될 소지가 크다. 특히 B는 양쪽 파티션이 동일한 크기 n을 갖지만, 일반적인 방향 그래프에서는 B가 완전 매칭을 가질 필요가 없으며, 매칭 커버가 존재한다는 가정 자체가 해밀턴 사이클 존재와 동치임을 증명하지 못한다.

논문은 매칭 커버가 존재하면 원래 그래프에 해밀턴 사이클이 존재한다는 정리를 제시한다. 그러나 증명 과정에서 중요한 두 가지 가정을 놓친다. 첫째, 매칭 커버가 반드시 하나의 순환 구조를 형성한다는 점이다. 실제로 B에서 찾은 매칭 집합은 여러 개의 불연속적인 경로 혹은 사이클을 만들 수 있으며, 이를 하나의 해밀턴 사이클로 연결하는 추가적인 연결 조건이 필요하다. 둘째, 매칭 커버를 찾는 과정이 다항 시간 안에 해결된다고 주장하지만, 이는 완전 매칭 문제 자체가 이분 그래프에서는 O(n^{2.5}) 정도의 복잡도를 갖는 것으로 알려져 있다. 논문은 “특수 구조” 때문에 O(n³) 로 단순화된다고 주장하지만, 그 특수 구조가 실제로 모든 입력에 적용되는지에 대한 논증이 부족하다. 특히, 임의의 방향 그래프는 B가 매우 희소하거나 불균형한 구조를 가질 수 있어, 일반적인 매칭 알고리즘의 최악 시간 복잡도보다 더 높은 복잡도가 발생할 가능성이 있다.

복잡도 분석 부분에서도 오류가 발견된다. 논문은 매칭을 찾는 단계와 매칭을 해밀턴 사이클로 변환하는 단계를 각각 O(n²) 와 O(n) 로 계산한다. 그러나 매칭 단계에서 사용된 알고리즘이 구체적으로 명시되지 않았으며, “헝가리안 알고리즘 변형”이라고만 언급한다. 실제로 헝가리안 알고리즘은 O(n³) 의 시간 복잡도를 가지며, 이를 개선하려면 고급 흐름 기반 알고리즘이 필요하다. 논문은 이러한 고급 알고리즘을 도입하지 않고 단순히 O(n³) 라는 결론만 제시한다. 따라서 전체 복잡도가 O(n³) 라는 주장은 근거가 부족하고, 기존의 NP‑완전성 결과와 직접적인 모순을 일으킨다. 현재까지 알려진 바에 따르면, 해밀턴 사이클 존재 판정 문제는 다항 시간 알고리즘이 존재한다는 증거가 없으며, P=NP 가 증명되지 않은 한 O(n³) 알고리즘은 존재할 수 없다.

결론적으로, 논문은 매핑 아이디어 자체는 흥미롭지만, 매칭 커버와 해밀턴 사이클 사이의 동치성 증명, 매칭 찾기의 정확한 복잡도, 그리고 전체 알고리즘이 모든 입력에 대해 올바르게 동작한다는 보장이 결여되어 있다. 이러한 결함은 논문의 핵심 주장인 “해밀턴 사이클 존재 판정이 O(n³) 로 해결 가능하다”는 결론을 무효화한다.