프랭크 추측 반증 및 k 연결 지향성 문제의 NP 완전성

초록

이 논문은 약한 2k-연결성을 가진 모든 그래프가 k-정점 연결 지향성을 갖는다는 프랭크의 추측을 반례를 통해 부정한다. 또한 k ≥ 3인 경우, 그래프가 k-정점 연결 지향성을 가질 수 있는지를 판별하는 문제가 NP‑완전임을 증명한다.

상세 분석

프랭크 추측은 “약한 2k‑연결 그래프는 언제든지 k‑정점 연결 방향 그래프로 전환될 수 있다”는 주장으로, k = 1일 때는 로빈스 정리, k = 2일 때는 톰슨의 결과가 뒷받침한다. 그러나 저자들은 k ≥ 3에 대해 일반적인 반례를 구성한다. 핵심 아이디어는 특정한 구조의 ‘가젯(gadget)’을 이용해, 전체 그래프는 약한 2k‑연결성을 만족하지만, 어떠한 방향 부여를 하더라도 최소 정점 차단 집합이 k보다 작아져 k‑연결성을 깨는 경우를 만든다. 구체적으로, 두 개의 큰 완전 그래프 K_{2k+1}을 다리(edge)와 다중 연결 구조로 연결하고, 각 다리의 양 끝에 고차원 클러스터를 삽입한다. 이때 각 클러스터 내부는 충분히 밀집해 있어 약한 2k‑연결성을 유지하지만, 방향을 지정하면 다리의 한쪽 방향으로만 흐르게 되면서 정점 차단이 발생한다. 저자들은 이러한 구조를 일반화하여 무한히 많은 반례를 만들 수 있음을 증명한다.

복잡도 측면에서는, k‑정점 연결 지향성 존재 여부를 결정하는 문제를 3‑SAT 혹은 정확히는 ‘k‑정점 연결성 유지’ 제약을 가진 그래프 변환 문제로 환원한다. 특히, 각 변수와 절을 나타내는 서브그래프를 설계하고, 이들 사이에 ‘강제 방향(gadget)’을 삽입해 만족 가능한 할당이 존재하면 해당 그래프는 k‑연결 방향을 가질 수 있도록 만든다. 반대로, 만족 불가능한 경우에는 어떠한 방향 부여도 정점 차단이 k 이하가 되게 만든다. 이를 통해 k ≥ 3에 대해 결정 문제가 NP‑hard임을 보이며, 문제 자체가 NP에 속함을 확인해 NP‑complete임을 결론짓는다.

이 논문은 기존의 연결성 이론에 중요한 경고를 제공한다. 약한 2k‑연결성만으로는 충분히 강한 방향 연결성을 보장하지 못한다는 사실은 그래프 이론뿐 아니라 네트워크 설계, 라우팅 프로토콜 등 실용적인 분야에도 영향을 미친다. 또한, NP‑완전성 결과는 효율적인 근사 알고리즘이나 특수 클래스(예: 플랜러 그래프, 트리폭이 제한된 그래프)에서의 추가 연구 필요성을 강조한다.