[논문 리뷰] On graphs with no induced five-vertex path or paraglider

Shenwei Huang, T. Karthick|arXiv (Cornell University)|2019. 03. 27.

Advanced Graph Theory Research참고 문헌 13인용 수 5

한 줄 요약

이 논문은 (P₅, paraglider)-free 그래프가 χ(G) ≤ ⌈3ω(G)/2⌉를 만족함을 증명하여, 이 클래스에 대해 처음으로 날카로운 χ-바인딩 함수를 확립한다. 이 경계는 추가 상수항을 제외하고 최적임이 증명되었으며, χ(G) = ⌈3ω(G)/2⌉ − 1을 달성하는 무한한 그래프 가족이 존재함으로써 최적성의 근거가 된다. 또한 클레브슈 그래프의 여집합은 등호를 만족하여 경계의 날카로움을 입증한다.

ABSTRACT

Given two graphs $H_1$ and $H_2$, a graph is $(H_1,\,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. For a positive integer $t$, $P_t$ is the chordless path on $t$ vertices. A paraglider is the graph that consists of a chorless cycle $C_4$ plus a vertex adjacent to three vertices of the $C_4$. In this paper, we study the structure of ($P_5$, paraglider)-free graphs, and show that every such graph $G$ satisfies $χ(G)\le \lceil \frac{3}{2}ω(G) ceil$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. Our bound is attained by the complement of the Clebsch graph on 16 vertices. More strongly, we completely characterize all the ($P_5$, paraglider)-free graphs $G$ that satisfies $χ(G)> \frac{3}{2}ω(G)$. We also construct an infinite family of ($P_5$, paraglider)-free graphs such that every graph $G$ in the family has $χ(G)=\lceil \frac{3}{2}ω(G) ceil-1$. This shows that our upper bound is optimal up to an additive constant and that there is no $(\frac{3}{2}-ε)$-approximation algorithm to the chromatic number of ($P_5$, paraglider)-free graphs for any $ε>0$.

연구 동기 및 목표

• P₅와 파라글라이더가 유도 부분그래프로 포함되지 않는 클래스인 (P₅, paraglider)-free 그래프에서 색수의 행동을 규명하기 위해.
• 이 클래스에 대해 기존의 P₅-free 및 관련 그래프 클래스의 알려진 경계를 향상시켜 날카로운 χ-바인딩 함수를 확립하기 위해.
• χ(G) ≤ 3ω(G)/2를 초월하는 모든 (P₅, paraglider)-free 그래프를 특성화하기 위해.
• 무한한 그래프 가족을 구성하여 χ(G) = ⌈3ω(G)/2⌉ − 1을 달성함으로써 경계의 최적성을 입증하기 위해.
• 이 클래스에서 색수에 대한 (3/2 − ε)-근사 알고리즘이 존재하지 않음을 입증하기 위해.

제안 방법

• 클리크 컷셋, 유니버설 정점, 좋은 안정집합을 기반으로 한 구조 정리와 함께, 금지된 부분그래프 특성 및 분해 기법을 활용한 (P₅, paraglider)-free 그래프의 구조적 분석.
• 클리크 컷셋, 유니버설 정점, 좋은 안정집합을 기반으로 한 구조 정리를 적용하여 문제를 더 작은 구성요소로 환원하기.
• 예외 클래스 G에 속하지 않는 부분그래프에 대해 알려진 경계를 활용한, 그래프 구성요소에 대한 귀납법 적용.
• α(Gₖ) = 2이고 ω(Gₖ) = k+1인 (P₅, paraglider)-free 그래프 Gₖ의 무한한 가족을 구성하여 경계의 날카로움을 시험하기 위해.
• 컴비나토리적 추론과 컴퓨터 보조 검증을 통해 클레브슈 그래프의 여집합 및 정점 제거 변형이 χ(G) = ⌈3ω(G)/2⌉를 만족하는 유일한 유도 부분그래프임을 입증하기.
• 예외 클래스 G에 속하는지 여부를 고려한 그래프 구성요소에 대한 케이스 분석 기반 증명으로, 클리크 수와 색수에 기반한 경계 적용.

실험 결과

연구 질문

• RQ1 최대한 날카로운 χ-바인딩 함수는 무엇인가? (P₅, paraglider)-free 그래프에 대해.
• RQ2 어떤 (P₅, paraglider)-free 그래프가 χ(G) > 3ω(G)/2를 만족하는가?
• RQ3 χ(G) ≤ ⌈3ω(G)/2⌉ 경계는 향상시킬 수 있는가, 아니면 추가 상수항을 제외하고 최적인가?
• RQ4 χ(G) = ⌈3ω(G)/2⌉ − 1을 달성하는 그래프의 존재는 색수에 대한 다항식 시간 근사 알고리즘에 제한을 초래하는가?
• RQ5 χ(G) = ⌈3ω(G)/2⌉에서 등호를 만족하는 (P₅, paraglider)-free 그래프는 유한한 수만 존재하는가?

주요 결과

• 모든 (P₅, paraglider)-free 그래프 G는 χ(G) ≤ ⌈3ω(G)/2⌉를 만족하며, 이는 이 클래스에 대해 날카로운 χ-바인딩 함수를 확립한다.
• 16개 정점으로 이루어진 클레브슈 그래프의 여집합은 χ(G) = ⌈3ω(G)/2⌉를 만족하는 극단적인 예시로서 등호를 달성한다.
• ω(Gₖ) = k+1이고 χ(Gₖ) = ⌈3(k+1)/2⌉ − 1인 (P₅, paraglider)-free 그래프 Gₖ의 무한한 가족이 존재하여, 경계가 추가 상수항을 제외하고 최적임을 입증한다.
• 모든 ε > 0에 대해 (P₅, paraglider)-free 그래프의 색수에 대한 (3/2 − ε)-근사 알고리즘이 존재하지 않으며, 이는 χ(G) = ⌈3ω(G)/2⌉ − 1을 달성하는 무한한 가족이 존재하기 때문이다.
• χ(G) > 3ω(G)/2를 만족하는 (P₅, paraglider)-free 그래프는 오직 예외 클래스 G에 속한 구성요소를 포함하고 있으며, 이 경우 ω(G) ≤ 5이다.
• 모든 (P₅, paraglider)-free 그래프의 색수는 그 구성요소들 중 최댓값으로 제한되며, 이 경계는 비연결 그래프에도 적용된다.