그래프 제곱근 찾기 문제의 완전 이분법 정리

초록

본 논문은 그래프의 제곱근이 존재하는지 여부를 그래프의 최소 사이클 길이(지름)와 연관시켜 완전한 이분법을 제시한다. 특히, 지름이 5인 제곱근을 갖는 그래프에 대해 NP‑완전임을 증명하고, 지름이 6 이상인 경우는 다항시간 알고리즘으로 해결 가능함을 보인다. 또한 지름 5인 제곱근을 갖는 그래프가 지수적으로 많은 비동형 제곱근을 가질 수 있음을 구성한다.

상세 분석

이 논문은 그래프 G가 어떤 그래프 H의 제곱(G = H²)인지 판별하는 문제를, H의 최소 사이클 길이(girth)라는 파라미터에 따라 구분한다. 기존 연구에서는 girth ≥6인 경우 다항시간 알고리즘이 존재하고, girth =4인 경우는 NP‑complete임이 알려져 있었다. 그러나 girth =5인 경우는 아직 공백이 남아 있었으며, 이 논문은 그 공백을 메우는 핵심적인 기여를 제공한다. 먼저 저자들은 girth =5인 제곱근을 갖는 그래프들의 구조적 특징을 정밀히 분석한다. 이때 중요한 관찰은, girth =5인 제곱근 H가 존재하면 H의 각 정점은 G에서 “거리 ≤2” 관계에 의해 형성된 클러스터에 속하게 되며, 이러한 클러스터는 서로 겹치지 않으면서도 복잡한 교차 구조를 만들 수 있다는 점이다. 이를 기반으로 저자들은 “폭발적 비동형 제곱근”을 생성하는 그래프 패밀리를 설계한다. 구체적으로, 기본 빌딩 블록으로 삼각형과 5‑사이클을 적절히 결합한 ‘가젯(gadget)’을 정의하고, 이를 트리 구조로 연결함으로써 입력 인스턴스의 논리적 변수와 절을 그래프 구조에 매핑한다. 이 과정에서 각 가젯은 두 개 이상의 가능한 매핑(즉, 두 개 이상의 서로 다른 H) 를 허용하도록 설계되어, 전체 그래프가 지수적으로 많은 비동형 제곱근을 가질 수 있게 된다.

복잡도 측면에서 저자들은 이 가젯 기반 구성으로부터 3‑SAT 문제를 다항시간 감소(reduction)한다. 변수 가젯은 진리값을 선택하도록 강제하고, 절 가젯은 적어도 하나의 변수 가젯이 ‘참’인 경우에만 일관된 제곱근 구성을 허용한다. 따라서 G가 girth =5인 제곱근을 갖는지 여부는 원래 3‑SAT 인스턴스의 만족 가능성과 정확히 일치한다. 이로써 girth =5인 제곱근 찾기 문제가 NP‑hard임을 증명하고, 명백히 NP에 속함을 보임으로써 NP‑complete임을 확정한다.

또한 저자들은 girth ≥6인 경우와의 대비를 통해 ‘유일성’과 ‘다항시간 인식 가능성’ 사이의 미묘한 경계를 밝힌다. Adamaszek 부부가 제시한 “girth 6이면 제곱근이 유일”이라는 결과와 결합하면, girth =5가 바로 유일성 보장이 깨지는 첫 번째 임계값임을 알 수 있다. 따라서 이 논문은 “girth =5”가 제곱근 문제의 복잡도 전환점임을 수학적으로 증명한 최초의 작업이라 할 수 있다.

결론적으로, 이 연구는 그래프 제곱근 문제에 대한 완전한 이분법 정리를 제공한다. girth ≥6이면 다항시간에 해결 가능하고, girth ≤5이면 NP‑complete이며, 특히 girth =5인 경우는 구조적으로 매우 풍부하고 복잡한 제곱근 군을 가질 수 있음을 보여준다. 이러한 결과는 그래프 이론뿐 아니라 네트워크 설계, 데이터 복구, 그리고 그래프 기반 암호학 등 다양한 응용 분야에서 제곱근 구조를 이용한 알고리즘 설계와 복잡도 분석에 중요한 기준점을 제공한다.