부분 격자 인식 복잡도 이분법

초록

이 논문은 그래프를 단위 길이 변만으로 격자에 삽입할 수 있는지 여부를 결정하는 문제의 복잡도를, 입력 그래프의 허용 정점 차수 집합에 따라 완전하게 구분한다. 정점 차수가 {1,2,3,4} 등으로 제한된 경우와 같이 특정 차수 조합에서는 다항시간 알고리즘이 존재하고, 차수 집합이 {1,3} 혹은 {2,4} 등일 때는 NP‑완전임을 보인다. 또한 기존에 알려진 이진 트리 경우를 ‘엄격한 이진 트리’로 확장해 NP‑완전성을 강화하고, 3차원 격자 버전도 처음으로 NP‑완전임을 증명한다. 핵심 기법으로는 ‘일관된 방향(consistent orientation)’과 ‘강인한 가젯(robust gadget)’ 개념을 도입하고, 전자는 강인한 가젯 없이도 지역 교체(local replacement) 방식으로 NP‑완전성을 증명하는 데 사용된다.

상세 요약

본 연구는 부분 격자 인식(partial grid recognition) 문제, 즉 주어진 그래프를 정수 격자 위에 정점은 격자점에, 변은 인접 격자점 사이의 단위 길이 변으로 매핑할 수 있는지를 판정하는 문제의 복잡도 지형을 정밀하게 탐색한다. 기존에는 이 문제가 일반 그래프에서 NP‑완전이며, 특히 이진 트리(각 내부 정점의 차수가 3인 트리)에서도 NP‑완전이라는 결과가 알려져 있었다. 그러나 이러한 특수 경우가 전체 복잡도 분류에 얼마나 기여하는지는 불분명했다. 저자들은 입력 그래프의 정점 차수 집합 D⊆{1,2,3,4}에 따라 문제를 두 범주, 즉 다항시간 해결 가능 클래스와 NP‑완전 클래스으로 완전하게 구분한다. 구체적으로, D가 {1,2} 혹은 {1,4}와 같이 차수가 2 이하이거나 4 이하이면서 특정 조합을 포함하지 않을 경우, 그래프를 격자에 삽입하는 절차를 구성하는 간단한 구조적 규칙을 이용해 선형 혹은 다항시간 알고리즘을 설계한다. 반면 D가 {1,3} 혹은 {2,4}와 같이 차수가 3을 포함하고, 동시에 차수가 1 또는 2와 혼합되는 경우에는 ‘일관된 방향’이라는 새로운 개념을 도입한다. 일관된 방향은 그래프의 각 변에 방향을 부여해, 그 방향이 격자 좌표축과 일치하도록 강제함으로써, 지역 교체(replacement) 기법을 적용할 때 변형이 격자 구조를 깨뜨리지 않도록 보장한다. 이와 함께 ‘강인한 가젯’이라는 설계 원리를 사용해, 특정 서브그래프를 복잡한 논리 회로(예: 3‑SAT 변수와 절)를 구현하도록 변형한다. 그러나 저자는 강인한 가젯 없이도 일관된 방향만으로 충분히 NP‑완전성을 증명할 수 있음을 보여, 기존 가젯 기반 증명의 복잡성을 크게 낮춘다. 특히, ‘엄격한 이진 트리’(내부 정점 차수가 정확히 3이고, 잎 정점 차수가 1인 트리)와 3차원 격자 버전(정점은 3‑D 격자점에, 변은 축에 평행한 단위 변)에서도 동일한 논리를 적용해 NP‑완전성을 입증한다. 이 결과는 차수 제한만으로도 문제의 난이도가 급격히 변할 수 있음을 시사하며, 부분 격자 인식 문제에 대한 복잡도 이분법을 최초로 완성한다는 점에서 학문적 의의가 크다. 또한, 일관된 방향 개념은 향후 다른 격자 기반 임베딩 문제, 예컨대 격자 그래프 색칠이나 경로 찾기 문제 등에 적용될 가능성을 열어준다.