[논문 리뷰] Linear clique-width and modular decomposition

Robert Brignall, Michal Opler외 1명|arXiv (Cornell University)|2026. 02. 25.

Advanced Graph Theory Research인용 수 0

한 줄 요약

본 논문은 유전 그래프 클래스가 경계 선형 클리크 폭을 가지는 필요충분조건이 그 원시 구성원들이 가지는 경우이며 모든 준임계 그래프 또는 준임계 그래프의 여집합을 모두 포함하지 않는 경우라는 것을 보인다. 이는 코그래프에서 일반 그래프 클래스로의 알려진 결과를 확장한 것이다.

ABSTRACT

A hereditary class of graphs has bounded clique-width if and only if its prime members do, but this lifting property fails for linear clique-width. We prove that a hereditary class has bounded linear clique-width if and only if its prime members do and it contains neither all quasi-threshold graphs nor all complements of quasi-threshold graphs. This generalizes a result of Brignall, Korpelainen, and Vatter, who established the result for cographs.

연구 동기 및 목표

• 유전 그래프 클래스가 프라임 유도 부분그래프에 따라 경계 선형 클리크 폭을 가지는 시점을 결정한다.
• 프라임에서 전체 클래스로 경계 선형 클리크 폭을 올리는 데 장애가 되는 원인(장애 요소)을 식별한다.
• 코그래프에서 알려진 결과를 임의의 유전 그래프 클래스에 일반화한다.
• 무거운 well-quasi-order 기법을 피하는 모듈러 분해 기반 프레임워크를 제공한다.

제안 방법

• 레이블 및 연산이 포함된 lcw(선형 클리크 폭) 및 lcw 표현식을 정의하고 사용한다.
• 보편 준임계 그래프 Qt와 쿼스트-준임계 그래프 Qs를 도입하고 이들의 장애 역할을 보인다.
• G = H[Gv : v in V(H)]에 모듈러 분해를 적용하고 lcw(G)를 lcw(H) 및 lcw(Gv)와 관련지운다(명제 3.2–3.5).
• Prop. 4.1에 따라 프라임 한계 m과 매개변수 t,s에 대해 lcw에 (m+2)(t+s) 한계를 증명한다.
• 모듈러 분해와 명시적 구성으로 well-quasi-order 기법을 피한다.

실험 결과

연구 질문

• RQ1 유전 그래프 클래스가 프라임 유도 부분그래프를 기준으로 경계 선형 클리크 폭을 가지는 시점은 언제인가?
• RQ2 준임계 그래프와 그 여집합이 프라임에서 전체 클래스로 경계 lcw를 올리는 데 유일한 장애물인가?
• RQ3 일반 그래프 클래스에 대한 경계 lcw 특성화의 직접적이고 비-wqo 기반 증명을 모듈러 분해가 제공할 수 있는가?

주요 결과

• 유전 클래스는 프라임 구성원들이 유한 lcw를 가고 또한 모든 준임계 그래프 및 모든 코-준임계 그래프를 포함하지 않는 경우에 한해 경계 선형 클리크 폭을 가진다(정리 1.2).
• 준임계 그래프와 그 여집합은 프라임에서 전체 클래스로 경계 lcw를 올리는 데 유일한 장애물이며(코그래프 결과를 일반화).
• G = H[Gv : v in V(H)], lcw(G) ≤ lcw(H) + max_v lcw(Gv) (명제 3.2); H가 완전하거나 반완전일 때 이 경계는 lcw(G) ≤ 1 + max_v lcw(Gv)로 개선된다(명제 3.3).
• 그래프 G가 lcw ≤ m인 프라임 유도 부분그래프를 가지고 lcw(G)가 큰 경우(≥ (m+2)(t+s))에는 G가 Qt 또는 Qs를 유도 부분그래프로 포함한다(명제 4.1).