[논문 리뷰] Nonempty intersection of longest paths in $2K_2$-free graphs

Gili Golan, Songling Shan|arXiv (Cornell University)|2016. 11. 18.

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

한 줄 요약

이 논문은 비공백인 2K₂-free 그래프에서 최대 차수를 가진 모든 정점이 모든 최장 경로에 포함됨을 증명하며, 이는 모든 최장 경로가 적어도 한 개의 공통 정점을 공유함을 의미한다. 증명은 2K₂-free 그래프의 구조적 성질—예를 들어 최장 경로의 지배성과 간선 연결성 제약 조건—을 활용하여, 최장 경로에 포함되지 않은 최대 차수 정점이 이웃의 차수 증가를 통해 모순을 일으킴을 보여, 모든 최장 경로의 공통 정점이 존재함을 입증한다.

ABSTRACT

In 1966, Gallai asked whether all longest paths in a connected graph share a common vertex. Counterexamples indicate that this is not true in general. However, Gallai's question is positive for certain well-known classes of connected graphs, such as split graphs, interval graphs, circular arc graphs, outerplanar graphs, and series-parallel graphs. A graph is $2K_2$-free if it does not contain two independent edges as an induced subgraph. In this paper, we show that in nonempty $2K_2$-free graphs, every vertex of maximum degree is common to all longest paths. Our result implies that all longest paths in a nonempty $2K_2$-free graph have a nonempty intersection. In particular, it gives a new proof for the result on split graphs, as split graphs are $2K_2$-free.

연구 동기 및 목표

• 특정 그래프 계열에서 모든 최장 경로의 공통 교차에 대한 갈라이의 오랜 추측을 해결하기 위해.
• 비공백인 2K₂-free 그래프에서 모든 최장 경로가 적어도 한 개의 공통 정점을 공유함을 입증하기 위해.
• 지배성과 간선 연결성 성질을 이용해 2K₂-free 그래프에서 최장 경로의 구조적 특성화를 하기 위해.
• 분할 그래ph의 최장 경로 교차 성질에 대한 새로운 통합 증명을 제공하기 위해. 분할 그래프는 2K₂-free 그래프의 부분집합이다.
• 기존에 연구된 가문, 간선 그래프, 순서 병렬 그래프와 같은 가족을 초월해 갈라이의 추측을 만족하는 그래프의 계열을 확장하기 위해.

제안 방법

• 2K₂-free 성질을 이용해 최장 경로가 지배적이지 않으면 더 긴 경로를 구성함으로써, 2K₂-free 그래프에서 모든 최장 경로가 지배적임을 증명한다. 즉, 그들의 제거로 남는 간선이 없음.
• 구조적 보조정리를 사용하여, 최장 경로에 포함되지 않은 정점은 경로의 양 끝점이나 연속된 두 정점에 동시에 인접할 수 없음을 보인다.
• 레미마 2.2의 인접 제약 조건에 기반해, 최장 경로 P에 포함되지 않은 최대 차수 정점 x에 인접한 정점들로 이루어진 독립 집합 S를 정의한다.
• 경로 P를 S와 T = V(P) ∓ S로 분할하고, 레미마 2.3을 적용하여 S와 T 사이의 모든 간선에 대해 교차하는 정점 y가 존재함을 보인다.
• 그러한 y가 최대 차수 Δ(G)를 초월하는 차수를 가져야 하므로, 이는 x가 최대 차수를 가진다는 가정에 모순됨을 보여 모순을 유도한다.
• 두 정점 간의 간선 수가 k+1개 이상이 되도록 하기 위해, |V(P)| ≥ 2k+2 이면 E(S,T)에 k+1개의 독립 간선이 존재함을 구슬임 원리로 보여준다.

실험 결과

연구 질문

• RQ1 2K₂-free 그래프에서 모든 최장 경로가 적어도 한 개의 공통 정점을 공유하는가?
• RQ2 비공백인 2K₂-free 그래프에서 최대 차수 정점은 모든 최장 경로에 포함되는가?
• RQ3 분할 그래프에서 최장 경로의 교차 성질을 2K₂-free 그래프와 같은 더 넓은 그래프 계열을 이용해 재증명할 수 있는가?
• RQ4 2K₂-free 그래프에서 최장 경로가 지배적임과 이웃 구성 제약 조건을 유도하는 구조적 제약 조건은 무엇인가?
• RQ5 최장 경로에 최대 차수 정점이 없을 경우, Δ(G)를 초월하는 차수를 가진 정점의 존재는 어떤 원인에서 비롯되는가?

주요 결과

• 비공백인 2K₂-free 그래프에서 최대 차수를 가진 모든 정점은 모든 최장 경로에 포함되며, 이는 최장 경로들이 공통 정점을 가짐을 보장한다.
• 비공백인 2K₂-free 그래프에서 모든 최장 경로는 적어도 한 개의 공통 정점을 공유하며, 이는 이 계열에 대해 갈라이의 추측을 확인한 것이다.
• 증명은 2K₂-free 그래프에서 최장 경로가 지배적임을 입증한다. 즉, 제거해도 간선가 남지 않는다.
• 최장 경로 외부의 정점은 경로의 양 끝점이나 연속된 두 정점에 동시에 인접할 수 없다는 제약 조건이 있다.
• 최대 차수 정점 x가 최장 경로 P에 포함되지 않을 경우, T = V(P) ∓ S에 속한 x의 이웃 y는 최소한 k+1개의 이웃을 가져야 하며, 이는 Δ(G) = k라는 가정에 위배된다.
• 결과적으로 이는 분할 그래프에서 최장 경로의 교차 성질에 대한 새로운 증명을 제공한다. 왜냐하면 분할 그래프는 2K₂-free 그래프의 부분집합이기 때문이다.