분할 분해와 그래프 라벨 트리: 완전 분해 가능한 그래프의 특성 및 동적 알고리즘

초록

본 논문은 그래프의 분할(split) 분해를 새로운 그래프‑라벨 트리 구조로 재구성하고, 이를 통해 거리 상속 그래프(또는 완전 분해 가능한 그래프), 코그래프, 3‑리프 파워 그래프에 대한 구조적·증분적 특성을 제시한다. 특히 정점·간선 삽입·삭제에 대한 최적의 완전 동적 인식 알고리즘을 설계하고, 거리 상속 그래프의 교차 모델을 새롭게 제시한다.

상세 분석

논문은 먼저 기존의 split decomposition을 “graph‑labelled tree”(GLT)라는 새로운 조합 구조로 표현한다. GLT는 트리의 내부 정점마다 하나의 라벨 그래프(클리크 또는 스타)를 부착하고, 트리‑엣지와 라벨 그래프의 마커 정점을 일대일 대응시킨다. 접근성(accessibility) 개념을 도입해 두 잎 사이에 경로상의 라벨 그래프들이 서로 인접하면 원 그래프에서 두 정점이 인접함을 보장한다. 이 정의를 통해 GLT는 원 그래프와 정확히 일대일 대응되는 “접근성 그래프”를 생성한다.

핵심 정리는 모든 라벨 그래프가 연결 그래프일 때, GLT가 생성하는 접근성 그래프도 연결된다는 점이다(Lemma 2.3). 이를 기반으로, 트리에서 임의의 정점을 제거했을 때 남은 최대 트리마다 해당 정점이 접근 가능한 잎을 포함한다(Lemma 2.4). 이러한 성질은 이후 증분 알고리즘에서 정점 삽입·삭제 시 트리 구조를 로컬하게 수정할 수 있게 한다.

특히, 거리 상속 그래프(DH)는 GLT에서 라벨이 오직 클리크와 스타이며, 스타 라벨이 연속적으로 나타나는 패턴이 제한되는 “clique‑star tree”와 일대일 대응한다. 이 대응을 이용해 DH 그래프의 교차 모델을 구성한다(Theorem 3.2). 교차 모델은 각 정점을 별의 중심에, 클리크를 구간에 매핑해 두 정점 사이에 교차가 있으면 원 그래프에 간선이 존재한다는 직관적인 해석을 제공한다.

증분 특성은 정점 삽입을 “1‑Clique‑Star” 연산으로 정의한다. 즉, 새로운 정점 x를 기존 정점 집합 S에 연결하려면, GLT에서 S에 해당하는 잎들이 모두 같은 스타 라벨의 중심에 접근 가능해야 한다. 이 조건은 기존 DH, 코그래프, 3‑리프 파워 그래프 각각에 대해 충분하고 필요함을 보인다(정리 3.4, 3.7, 3.9).

간선 삽입·삭제에 대한 조건은 두 정점에 대응하는 잎 사이의 경로 길이가 4 이하이며, 경로가 특정한 “패턴 집합”에 포함되는지를 검사한다. 이는 기존의 전역 BFS 기반 방법보다 지역적이며 O(deg) 시간에 검증 가능하다.

알고리즘적 기여는 위의 구조적 특성을 이용해 완전 동적 인식 알고리즘을 설계한 것이다. 정점 삽입 시, 새로운 정점의 이웃 집합이 차지하는 서브트리를 탐색해 삽입 위치를 찾고, 필요한 경우 로컬하게 스타·클리크 라벨을 재구성한다. 정점 삭제는 해당 잎을 제거하고, 주변 라벨 그래프가 여전히 연결성을 유지하도록 간단히 조정한다. 간선 삽입·삭제는 위의 경로‑패턴 검사 후 라벨 그래프의 인접 관계를 업데이트한다. 모든 연산은 영향을 받는 인접 리스트의 크기에 비례하는 시간, 즉 O(deg) 또는 O(1) 시간에 수행된다.

이와 같은 동적 알고리즘은 기존의 cograph(정점‑동적)와 DH 그래프(정적) 알고리즘을 일반화·통합하며, 3‑리프 파워 그래프에 대해서는 최초로 정점‑동적 인식 방법을 제공한다. 또한, GLT 기반 표현은 그래프 동형 검사에도 자연스럽게 활용될 수 있음을 보이며(Corollary 4.3), 동일한 라벨 트리 구조를 갖는 그래프는 동형임을 즉시 확인한다.

전반적으로 논문은 split decomposition과 modular decomposition을 하나의 통합 프레임워크(GLT)로 묶음으로써, 구조적 특성부터 동적 알고리즘까지 일관된 이론적·실용적 기반을 제공한다.