네 개 정점 그래프 두 종류 금지 조건의 샌드위치 문제 복잡도 분석

초록

본 논문은 정점 수가 4인 두 비동형 그래프를 금지 서브그래프 집합 F 로 정하고, F‑free 샌드위치 문제의 복잡도를 전면 조사한다. 30개의 경우를 전부 검토하여, 15가지 경우는 다항시간 알고리즘으로 해결 가능함을 보이고, 7가지 경우는 NP‑complete임을 증명한다. 주요 기법으로는 보편 정점 제거, 라무지 수, 그래프 분해, 그리고 기존의 P₄‑free·완전 이분 그래프 등 특수 클래스에 대한 알려진 결과를 활용한다.

상세 분석

논문은 먼저 F‑free 샌드위치 문제를 정의하고, F 가 두 개의 비동형 4‑정점 그래프인 경우만을 대상으로 한다. 그래프의 보완을 고려하면 30개의 서로 다른 F 조합이 존재함을 보이며, 이를 그림 2에 정리한다. 저자는 관찰 1.1을 통해 F 또는 \overline{F} 에 포함된 모든 그래프가 연결된 경우, 보편 정점이 존재하면 문제를 간단히 축소할 수 있음을 제시한다. 특히 (iv)항에서는 F 의 각 원소가 유일한 F‑free 초그래프 F* 를 갖는 경우 다항시간 해결이 가능함을 증명한다.

다항시간 케이스는 크게 네 그룹으로 나뉜다. 첫 번째는 {diamond, K₄}, {diamond, C₄}, {diamond, paw} 처럼 하나의 그래프가 완전 그래프 혹은 그 보완인 경우이며, 관찰 1.1(iv)를 직접 적용한다. 두 번째는 {P₄, C₄} — trivially perfect 그래프 — 로, 라무지 수 R(4,4) 이상이면 해가 존재하지 않음으로 상수시간 판정이 가능하다. 세 번째는 {P₄, K₁∪F₂} (여기서 F₂∈{K₃, P₃}) 와 같이 P₄ 와 작은 별형 그래프의 결합 형태이며, 그래프가 연결되지 않을 경우 분할 정복을 통해 문제를 두 개의 작은 인스턴스로 나눈다. 네 번째는 완전 이분 그래프, paw‑free, claw‑free 등 특수 클래스에 대한 기존 결과(예: Olariu의 paw‑free 정리)와 새로운 합병 알고리즘을 결합해 다항시간 해결을 보인다. 특히 Lemma 2.4는 완전 이분 그래프 샌드위치를 2‑SAT와 유사한 절차로 해결함을 보여, 복잡도 분석에 큰 역할을 한다.

NP‑complete 케이스는 7가지이며, 각각 {C₄, K₄}, {paw, K₄}, {paw, \overline{K₄}}, {paw, \overline{C₄}}, {diamond, \overline{C₄}}, {paw, \overline{diamond}}, {diamond, \overline{diamond}} 이다. 저자는 이들에 대해 기존의 {K₃}-free 또는 {P₃}-free 문제의 NP‑hardness를 적절히 변형하거나, 그래프 인코딩을 통해 SAT‑문제로 환원함으로써 난이도를 증명한다. 특히 {C₄, K₄} 조합은 두 금지 서브그래프가 각각 클리크와 사이클을 제한하므로, 인스턴스 구성 시 강제적인 색칠 제약을 만들 수 있어 NP‑completeness가 따라온다.

전체적으로 논문은 작은 금지 서브그래프 집합에 대한 샌드위치 문제의 복잡도 지형을 완전하게 그리며, 관찰 1.1을 중심으로 구조적 성질을 활용한 알고리즘 설계와 복잡도 하드니스 증명을 균형 있게 제시한다. 이는 그래프 이론과 알고리즘 설계 사이의 교차점에서 새로운 연구 방향을 제시한다.