S복합 그래프와 S소수 그래프 인식의 복잡도

초록

본 논문은 그래프가 S‑복합인지 S‑소수인지를 판별하는 문제의 계산 복잡도를 조사한다. 기존에 카르테시안 곱에 대한 소수성 판별은 선형 시간에 가능했지만, S‑소수성은 아직 미해결이었다. 저자들은 S‑복합 그래프가 비자명한 경로‑k‑색칠을 허용한다는 정리를 이용해, 경로‑2‑색칠 존재 여부가 NP‑완전임을 증명한다. 이를 통해 S‑복합 그래프 판별이 NP‑완전, S‑소수 그래프 판별이 CoNP‑완전임을 보이며, 여러 파생 문제들의 NP‑난이도도 도출한다.

상세 분석

논문은 먼저 S‑prime(소수)와 S‑composite(복합) 그래프의 정의를 명확히 한다. S‑prime 그래프는 어떠한 비자명한 카르테시안 곱의 부분그래프라도 그 곱의 한 인수에 포함되는 경우를 말한다. 반대로 S‑composite는 적어도 하나의 비자명한 카르테시안 곱에 부분그래프 형태로 들어가면서도 그 곱의 어느 인수에도 완전히 포함되지 않는 그래프이다. 기존 연구에서는 카르테시안 곱에 대한 소수성 판별이 O(|V|+|E|) 시간에 가능함을 보였지만, S‑소수성은 부분그래프 관계를 포함하므로 복잡도가 크게 달라진다.

핵심 아이디어는 Klavžar 등(2002)의 정리를 활용하는데, 이는 “그래프가 S‑composite이면 비자명한 경로‑k‑색칠을 허용한다”는 것과 동치임을 보여준다. 여기서 경로‑k‑색칠은 그래프의 정점을 k가지 색으로 색칠하되, 같은 색을 가진 정점 사이에 길이가 2인 경로가 존재하지 않도록 하는 제약이다. 저자들은 이 색칠 문제를 SAT와 유사한 구조로 변환하여, 특히 k=2인 경우에도 NP‑완전임을 증명한다. 구체적으로, 3‑SAT 인스턴스를 그래프의 특정 구조(클라우스‑가젯)로 변환하고, 해당 그래프가 경로‑2‑색칠 가능 여부가 원래 논리식의 만족 가능성과 일치하도록 설계한다.

NP‑완전성을 확보한 뒤, S‑composite 판별 문제는 “주어진 그래프가 경로‑k‑색칠을 허용하는가?”라는 서브문제로 환원될 수 있다. 따라서 S‑composite 판별은 NP‑완전이며, 그 보완 문제인 S‑prime 판별은 CoNP‑완전이 된다. 이 결과는 기존에 알려진 카르테시안 곱 소수성 판별이 선형 시간에 가능하다는 사실과 대조적이며, 부분그래프 관계가 복잡도에 큰 영향을 미친다는 중요한 통찰을 제공한다.

또한 논문은 이 복잡도 결과를 활용해 여러 파생 문제—예를 들어, 주어진 그래프가 특정 크기의 S‑composite 부분그래프를 포함하는지 여부, 혹은 S‑prime 그래프의 최소 인수 개수를 구하는 문제—가 모두 NP‑hard임을 보인다. 이러한 파생 문제들은 그래프 이론뿐 아니라 네트워크 설계, 병렬 처리 구조 분석 등 실용적인 분야에서도 중요한 의미를 가진다.

마지막으로 저자들은 열린 질문으로, 제한된 그래프 클래스(예: 트리, 평면 그래프, 혹은 제한된 차수의 그래프)에서 S‑prime/​S‑composite 판별이 더 쉬운지, 혹은 근사 알고리즘이나 파라메트릭 알고리즘이 가능한지 등을 제시한다. 이는 향후 연구의 방향을 제시하며, 현재 결과가 이론적 복잡도 경계 설정에 크게 기여했음을 강조한다.