[논문 리뷰] Minimal forbidden induced subgraphs of graphs of bounded clique-width and bounded linear clique-width

Daniel Meister, Udi Rotics|arXiv (Cornell University)|2013. 06. 10.

Advanced Graph Theory Research참고 문헌 1인용 수 3

한 줄 요약

이 논문은 경로 파wr 기반의 구성과 그 부분그래프 분석을 통해 유계 클리크-너비 및 유계 선형 클리크-너비를 가진 그래프에 대한 최소 금지된 유도 부분그래프를 규명한다. $ Z_k $와 $ S_k^+ $가 클리크-너비 $ k+2 $에 대해 최소임을 증명하고, 그들의 적절한 유도 부분그래프는 엄밀히 더 작은 선형 클리크-너비를 가지며, 이는 유계 클리크-너비 클래스에 대한 완전하고 최소인 금지 부분그래프 집합을 확립한다.

ABSTRACT

In the study of full bubble model graphs of bounded clique-width and bounded linear clique-width, we determined complete sets of forbidden induced subgraphs, that are minimal in the class of full bubble model graphs. In this note, we show that (almost all of) these graphs are minimal in the class of all graphs. As a corollary, we can give sets of minimal forbidden induced subgraphs for graphs of bounded clique-width and for graphs of bounded linear clique-width for arbitrary bounds.

연구 동기 및 목표

• 유계 클리크-너비 및 유계 선형 클리크-너비를 가진 그래프에 대해 완전하고 최소인 금지된 유도 부분그래프 집합을 규명하는 것.
• 특정 경로 파워 기반 그래프, 예를 들어 $ Z_k $와 $ S_k^+ $가 클리크-너비 및 선형 클리크-너비 클래스에서 최소임을 보이는 것.
• 모든 $ Z_k $의 적절한 유도 부분그래프가 선형 클리크-너비 최대 $ k+1 $를 가지며, 이는 $ Z_k $가 클리크-너비 $ k+2 $에 대해 최소임을 증명하는 것.
• 임베딩 기법을 사용하여 $ J_k - z_g $와 같은 더 큰 그래프로의 포함 관계를 통해 임의의 클리크-너비 및 선형 클리크-너비의 상한에 대한 일반화를 수행하는 것.

제안 방법

• 클리크-너비를 높이기 위해 $ k(k+1)+2 $개 정점에서 구성된 $ k $-경로 파워인 그래프 $ Z_k $를 정점 순서를 특정하게 정의하여 구성한다.
• 임베딩 추론을 사용: $ Z_k $의 모든 적절한 유도 부분그래프는 선형 클리크-너비 최대 $ k+1 $를 가지는 $ J_k - z_g $의 유도 부분그래프와 동형임을 보인다.
• 이전 연구에서의 열린 $ k $-모델 및 짧은 끝 $ k $-모델 결과를 적용하여 비활성 레이블을 포함한 선형 클리크-너비 표현식을 구성한다.
• 정점 집합을 삭제 위치 기반으로 분할하여 $ F_k $의 부분그래프(즉, $ S_k^+ $의 핵심 구조)에 대해 선형 $ (k+1) $-표현식을 재귀적으로 구성하고 정점의 레이블을 재할당한다.
• 삭제된 정점 $ x $의 위치에 따라 경우를 나누며, 버블 모델 임베딩에서 깊은 및 浅은 직사각형을 사용하여 유효한 선형 클리크-너비 표현식을 보장한다.
• 자기동형성 및 대칭성 추론을 통해 고려할 필요가 있는 경우의 수를 줄이며, 주로 $ x $가 정점 순서의 첫 번째 반에서 위치할 경우에 집중한다.

실험 결과

연구 질문

• RQ1 모든 $ k \geq 0 $에 대해 클리크-너비가 최대 $ k $를 가지지 않는 그래프를 금지하는 최소 유도 부분그래프는 무엇인가?
• RQ2 어떤 그래프가 주어진 클리크-너비 상한에 대해 최소임을 어떻게 증명할 수 있는가?
• RQ3 유계 클리크-너비에 대한 금지 부분그래프 특성은 유계 선형 클리크-너비로 확장될 수 있는가?
• RQ4 경로 파워 기반 그래프가 유계 클리크-너비에 대한 최소 장애물로 작용할 수 있는 구조적 성질는 무엇인가?
• RQ5 예를 들어 $ J_k - z_g $와 같은 더 큰 그래프로의 임베딩 기법은 부분그래프의 선형 클리크-너비 상한을 증명하는 데 어떻게 기여하는가?

주요 결과

• $ Z_k $는 정확히 클리크-너비 $ k+2 $를 가지며, 그 모든 적절한 유도 부분그래프는 선형 클리크-너비 최대 $ k+1 $를 가지며, 이는 $ Z_k $가 클리크-너비 $ k+2 $에 대해 최소임을 증명한다.
• $ k \geq 3 $일 때, $ Z_k $의 모든 적절한 유도 부분그래프는 선형 클리크-너비 최대 $ k+1 $를 가지는 $ J_k - z_g $의 유도 부분그래프와 동형이다.
• $ S_k^+ $는 $ k $-경로 파워에 추가 정점을 더한 그래프로, 모든 적절한 유도 부분그래프가 선형 클리크-너비 최대 $ k+1 $를 가지므로 선형 클리크-너비 $ k+2 $에 대해 최소이다.
• $ F_k $의 부분그래프(즉, $ S_k^+ $의 핵심)에 대해 선형 $ (k+1) $-표현식은 삭제된 정점의 위치에 관계없이 깊은 및 浅은 직사각형 임베딩을 사용하여 구성 가능하다.
• $ k=2 $일 때, $ Z_2 $는 8개 정점에서 구성된 경로이며, 그 부분그래프는 선형 클리크-너비 최대 3을 가지며, $ Z_2 - v_4 $에 대해 선형 3-표현식을 명시적으로 구성할 수 있다.
• 결과적으로, 모든 $ k \geq 0 $에 대해 유계 클리크-너비 및 유계 선형 클리크-너비를 가진 그래프에 대해 완전하고 최소인 금지된 유도 부분그래프 집합이 존재한다.