[논문 리뷰] Hamiltonian cycles in 2-tough $2K_2$-free graphs

Katsuhiro Ota, Masahiro Sanka|arXiv (Cornell University)|2021. 03. 11.

Limits and Structures in Graph Theory인용 수 6

한 줄 요약

이 논문은 세 개 이상의 정점으로 이루어진 모든 2-강한 $2K_2$-free 그래프가 해밀턴적임을 증명하며, Gao와 Pasechnik의 추측을 확인한다. 저자들은 Shan의 이전 연구에서 다룬 3-강한 $2K_2$-free 그래프의 기법을 다듬어, 사이클의 구조 분석, 정점 유형(A/B), 공통 흡수 가능성 논증을 사용하여, 최소 반례가 2-강성 조건과 $2K_2$-free 조건 하에서 모순에 이를 수 있음을 보인다.

ABSTRACT

A graph $G$ is called a $2K_2$-free graph if it does not contain $2K_2$ as an induced subgraph. In 2014, Broersma, Patel and Pyatkin showed that every 25-tough $2K_2$-free graph on at least three vertices is Hamiltonian. Recently, Shan improved this result by showing that 3-tough is sufficient instead of 25-tough. In this paper, we show that every 2-tough $2K_2$-free graph on at least three vertices is Hamiltonian, which was conjectured by Gao and Pasechnik.

연구 동기 및 목표

• Gao와 Pasechnik이 제기한 추측, 즉 세 개 이상의 정점으로 이루어진 모든 2-강한 $2K_2$-free 그래프는 해밀턴적임을 해결하는 것.
• 이전 결과, 즉 Shan의 3-강한 결과와 Broersma 등이 제시한 25-강한 경계를 향상시켜, 해밀턴성에 요구되는 강성 조건을 2로 낮추는 것.
• $2K_2$-free 그래프의 맥락에서 강성 임계값의 날카로움을 입증하는 것. 이미 $rac{3}{2}$-강한 스플릿 그래프는 해밀턴적임이 알려져 있으므로.
• 사이클 분해, 정점 유형(A/B), $2K_2$-free 그래프 내 이웃 관계를 분석하여 최소 반례의 구조를 분석하는 것.
• 유도된 $2K_2$ 부분그래프의 부재와 2-강성 조건이 공통 흡수 가능성 및 간선 연결 논증을 통해 해밀턴 사이클의 존재를 강제함을 보이는 것.

제안 방법

• Shan의 3-강한 결과에서 유도된 증명 전략을 적응 및 다듬어, $2K_2$-free 그래프 내 사이클 구조와 정점 분할에 초점을 맞춘다.
• 다른 사이클에 대한 이웃 행동에 기반해 사이클 상의 정점을 A형과 B형으로 분류하는 방법을 도입한다.
• 정점의 공통 흡수 가능성(co-absorbability)을 정의하여, 인접한 정점과 사이클 연장 기반으로 간선 교환을 통해 더 긴 사이클에 포함될 수 있음을 설명한다.
• 하위그래프 내 정점 집합을 추적하고 사이클 간 간선 연결을 분석하기 위해 $V_H(S)$ 및 $ar{V}_H(S)$ 개념을 사용한다.
• 최소 반례 그래프 $G$를 가정하고 $α(G) \leq \frac{n}{3}$ 라고 하여 모순를 도출하는 반증 기법을 적용하며, 2-강성 조건 하에서는 이러한 그래프가 존재할 수 없음을 보인다.
• 두 개의 서로소 사이클 $C$와 $D$ 사이의 대칭적 사이클 쌍 분석을 통해, 특정 정점 집합 분할을 유도하는 B형 간선을 식별한다.

실험 결과

연구 질문

• RQ1 Gao와 Pasechnik이 제기한 바와 같이, 세 개 이상의 정점으로 이루어진 모든 2-강한 $2K_2$-free 그래프는 해밀턴적인가?
• RQ2 이전 결과로 25와 3에서의 결과를 고려할 때, $2K_2$-free 그래프에서 해밀턴성에 대한 강성 임계값을 3에서 2로 낮출 수 있는가?
• RQ3 스플릿 그래프의 부분집합에서 이미 날카로운 것으로 알려져 있는 $rac{3}{2}$-강한 경계가 $2K_2$-free 그래프에 대해서도 날카로운가?
• RQ4 2-강성 조건 하에서 $2K_2$-free 그래프의 어떤 구조적 성질이 해밀턴 사이클의 존재를 강제하는가?
• RQ5 공통 흡수 가능성 논증과 정점 유형 분류를 사용하여 최소 반례에서 해밀턴 사이클을 구성할 수 있는가?

주요 결과

• 세 개 이상의 정점으로 이루어진 모든 2-강한 $2K_2$-free 그래프는 해밀턴 사이클을 포함하며, Gao와 Pasechnik의 추측을 확인한다.
• 최소 반례를 가정할 경우 모순이 발생함을 보여, 그러한 그래프는 정점 수 $rac{n}{2}$의 정점 집합을 가져야 하며, 독립수는 $rac{n}{3}$ 이하여 기존의 경계를 위반함을 입증한다.
• 모든 최소 반례에서 $V_{bad}(C) = V_{bad}(D) = \emptyset$ 임을 입증하여, 사이클 상의 모든 정점은 B형임을 의미한다.
• $X_C \cap V_{bad}(C) = \emptyset$ 및 $X_D \cap V_{bad}(D) = \emptyset$ 이므로 $X_C \cup B_0$ 와 $X_D \cup B_0$ 는 독립집합임을 보였다.
• 특정 정점 집합 분할을 유도하는 B형 간선 $u_0u_0^+ \in E(C)$ 와 $v_0v_0^+ \in E(D)$ 가 존재할 경우, $u_0$ 가 $v, v^+, v_0, v_0^+$ 와 모두 인접해 있을 경우 $2K_2$-free 조건을 위반하므로 모순이 발생한다.
• 최종적으로, $u_0$ 는 ${v, v^+, v_0, v_0^+}$ 중 하나와 반드시 인접해야 하지만, 사이클 구조와 분할 규칙이 이러한 인접성을 방지하므로 최소 반례 가정이 성립하지 않음을 입증한다.