클로프프리 트라이그래프의 최적 안티두꺼워짐

초록

클로프프리 및 준선형 트라이그래프에서 동질 클리크 쌍을 하나의 반대각선(antithickening)으로 압축할 수 있음을 보이며, 이러한 최적 안티두꺼워짐은 유일하고 O(m²) 시간에 찾을 수 있음을 증명한다.

상세 분석

본 논문은 클로프프리 그래프와 그 일반화인 트라이그래프에서 “두께 늘리기(thickening)”와 그 역연산인 “안티두꺼워짐(antithickening)”이라는 구조적 변환을 체계적으로 연구한다. 트라이그래프는 강인접, 반인접, 반인접(세미엣지) 세 종류의 관계를 허용하며, 세미엣지는 매칭 형태로 제한된다. 이러한 정의를 바탕으로 저자들은 동질 강클리크 쌍(Homogeneous Pair of Strong Cliques, HPOSC)을 핵심 구조 단위로 삼는다. 특히, 삭제 최소(delete‑minimal)와 정사각형 연결(square‑connected)이라는 두 가지 추가 조건을 도입해 HPOSC의 교차와 포함 관계를 정밀히 분석한다. 삭제 최소 HPOSC는 내부에 정사각형(C₄)이 존재하고, 각 파트가 서로 완전·반완전 관계를 갖지 않으며, 정사각형 연결 HPOSC는 어떠한 파트 분할에도 정사각형이 교차하도록 보장한다. 이러한 성질을 이용해 두 개의 HPOSC가 스키(intersect)할 경우 전체 정점 집합이 두 개의 강클리크로 덮일 수 있음을 증명하고, 이는 트라이그래프가 퇴화(degenerate)하지 않을 경우 α≥3인 클로프프리 구조와 동일함을 보인다. 핵심 정리(Theorem 1)는 비퇴화 클로프프리(또는 준선형) 트라이그래프는 유일한 최적 안티두꺼워짐을 갖으며, 이를 O(m²) 시간에 찾을 수 있음을 선언한다. 알고리즘은 King‑Reed의 기존 “square‑connected HPOSC 찾기” 절차를 확장해, 세미엣지를 하나씩 제거하면서 HPOSC를 최대한 크게 확장하고, 중복되는 압축을 방지하기 위해 삭제 최소성을 유지한다. 결과적으로 모든 비퇴화 트라이그래프는 일련의 동질 클리크 쌍을 하나의 간선으로 축소한 뒤, 남은 구조는 원형 구간 그래프 혹은 선형 구간 스트립의 합성으로 표현된다. 이 과정에서 얻어지는 안티두꺼워짐은 구조적 기반을 보존하면서도 가능한 가장 작은 형태이므로 “최적”이라고 정의한다. 논문은 또한 기존 그래프 전용 결과를 트라이그래프 환경으로 일반화함으로써, 이전 연구에서 다루지 못했던 세미엣지와 관련된 복잡성을 정밀히 제어한다는 점에서 이론적·알고리즘적 기여가 크다.