H‑그래프 인식과 최적화 문제의 복잡도 전반 조사

초록

본 논문은 고정된 호스트 그래프 H에 대해 H‑그래프(연결된 부분그래프들의 교차 그래프) 인식 문제의 난이도를 규명한다. H가 다이아몬드 그래프를 마이너로 포함하면 인식이 NP‑완전임을 보이며, 반대로 H가 트리(특히 별)일 경우 다항시간 알고리즘을 제시한다. 또한 최소 지배집합, 클리크, 색칠 문제 등에 대해 FPT, XP, APX‑hard 결과를 제공하고, 최소 분리자 개수에 대한 상한을 도출한다.

상세 분석

논문은 먼저 H‑그래프의 정의를 명확히 하고, H가 마이너 관계에 따라 그래프 클래스가 포함 관계를 갖는 점을 이용한다. 핵심 정리는 H가 다이아몬드( K₄ − e) 를 마이너로 포함하면 H‑그래프 인식이 NP‑완전이라는 것인데, 이는 높이 2인 부분순서의 인터벌 차원 문제를 감소시켜 증명한다. 반대로 H가 트리인 경우, 특히 별 S_d 에 대해서는 O(n³·⁵) 시간의 인식 알고리즘을 설계한다. 이 알고리즘은 각 정점에 대한 후보 서브트리를 구성하고, 교차 조건을 만족하도록 매칭을 수행한다.

지배집합 문제에 대해서는 S_d‑그래프에서 파라미터 d에 대한 FPT 알고리즘과, 일반 H‑그래프에 대해 |H|에 대한 XP 알고리즘을 제시한다. 여기서 핵심 아이디어는 H‑그래프의 표현을 이용해 각 호스트 정점에 대한 커버링 문제로 변환하고, 동적 계획법으로 최적해를 구한다. 클리크 문제는 H가 더블‑트라이앵글(두 개의 삼각형이 한 변을 공유) 을 마이너로 포함하면 APX‑hard임을 보이며, H가 선인장 그래프인 경우 다항시간 해결법을 제공한다. 특히 Helly H‑그래프에서는 모든 최대 클리크가 공통 교차점을 가지므로, 교차점 별로 클리크를 집계해 선형 시간에 해결한다.

그래프 동형성에 대해서는 동일한 마이너 조건(더블‑트라이앵글) 하에서 GI‑complete임을 증명한다. 이는 H‑그래프가 충분히 복잡한 구조를 가질 때, 일반 그래프 동형성 문제와 동등한 난이도를 갖는다는 의미다.

마지막으로 최소 분리자 개수에 대한 상한을 연구한다. 모든 H‑그래프는 n^{O(|H|)} 개의 최소 분리자를 가질 수 있음을 보이며, H가 선인장일 경우 O(|H|·n²) 로 개선한다. 이를 통해 Fomin‑et‑al. (2015)의 메타 알고리즘 프레임워크를 적용, 고정된 트리폭 t에 대해 최대 트리폭‑t 부분그래프 찾기 문제를 다항시간에 해결한다. 전체적으로 논문은 H‑그래프라는 일반화된 교차 그래프 모델을 통해 인식, 최적화, 구조적 문제들의 복잡도 지형도를 상세히 그려낸다.