구멍·다이아몬드·패러글라이더 자유 그래프의 원자 구조와 효율적 알고리즘

초록

본 논문은 구멍(홀)과 다이아몬드(또는 패러글라이더)를 금지한 그래프의 원자(클리크 분리자가 없는 부분 그래프)를 분석한다. 원자는 약하게 삼각형 그래프(weakly chordal)이거나 매칭된 코-이분 그래프 형태로 제한된다. 이를 통해 해당 그래프 클래스가 완전 그래프임을 보이고, 최대 가중 독립 집합, 색칠, 최대 클리크 등 여러 문제를 다항 시간에 해결할 수 있음을 제시한다.

상세 분석

이 논문은 Tarjan‑Whitesides가 제시한 클리크 분리자 분해를 기반으로, 구멍(길이 ≥ 5인 무가중 사이클)과 다이아몬드(K₄−e)를 동시에 금지한 그래프, 그리고 구멍과 패러글라이더(다이아몬드에 두 차수 2 정점만 연결된 정점 하나를 추가한 형태)를 금지한 그래프의 원자 구조를 심층적으로 탐구한다. 먼저, 원자 정의와 클리크 분리자 트리의 다항 시간 구축 가능성을 상기하고, 이러한 분해가 그래프 클래스 전반에 걸친 문제 해결에 어떻게 활용될 수 있는지를 설명한다. 핵심은 C₆(6‑vertex cycle)가 HP‑free(구멍·패러글라이더 자유) 그래프에서 유일한 가능한 안티홀이며, 따라서 C₆를 포함하는 경우에만 특수한 구조적 제약이 발생한다는 점이다.

논문은 C₆의 좌·우 클리크(left(A), right(A))와 그 주변 집합 D_i(A) (A와 거리 i인 정점들의 집합) 를 정의하고, 각 D_i에 대한 인접성 성질을 일련의 명제(Proposition 1~7) 로 정리한다. 특히 D₁에 속한 정점들의 이웃 집합 N_A(·) 가 클리크를 이루거나, D₂·D₃ 정점들의 이웃이 A 내에서 완전 그래프(에지 혹은 삼각형)를 형성한다는 점을 보인다. 이러한 성질을 이용해 Lemma 1을 증명하는데, 이는 HP‑free 원자에서 A₁