[논문 리뷰] Long Cycles in 1-tough Graphs

Zh. G. Nikoghosyan|arXiv (Cornell University)|2014. 01. 22.

Advanced Graph Theory Research참고 문헌 2인용 수 4

한 줄 요약

이 논문은 1-강한 그래프에서 둘레(가장 긴 사이클의 길이)에 대한 최적의 하한을 확립한다. 모든 1-강한 그래프는 해밀턴이거나, $n \equiv 1 \pmod{3}$이면 $2\delta+2$ 이상의 사이클을 포함하며, $n \equiv 2 \pmod{3}$ 또는 $n \equiv 1 \pmod{4}$이면 $2\delta+3$ 이상의 사이클을 포함하거나, 그 외의 경우 $2\delta+4$ 이상의 사이클을 포함한다. 이 결과는 이전의 하한을 개선하여 그래프의 순서를 3과 4로 나눈 나머지를 고려하였으며, 각 경우에 대해 날카로운 극한 구조가 제시되었다.

ABSTRACT

In 1952, Dirac proved that every 2-connected graph with minimum degree $δ$ either is hamiltonian or contains a cycle of length at least $2δ$. In 1986, Bauer and Schmeichel enlarged the bound $2δ$ to $2δ+2$ under additional 1-tough condition - an alternative and more natural necessary condition for a graph to be hamiltonian. In fact, the bound $2δ+2$ is sharp for a graph on $n$ vertices when $n\equiv 1(mod\ 3)$. In this paper we present the final version of this result which is sharp for each $n$: every 1-tough graph either is hamiltonian or contains a cycle of length at least $2δ+2$ when $n\equiv 1(mod\ 3)$, at least $2δ+3$ when $n\equiv 2(mod\ 3)$ or $n\equiv 1(mod\ 4)$, and at least $2δ+4$ otherwise.

연구 동기 및 목표

• Bauer와 Schmeichel(1986)이 확립한 $2\delta+2$ 이외의 알려진 1-강한 그래프의 둘레에 대한 하한을 $2\delta+2$ 이하로 개선하는 것.
• 그래프의 순서 $n$ 이 modulo 3과 modulo 4에 따라 의존하는 최적의 사이클 길이 하한을 결정하는 것.
• 모든 $n$에 대해 개선된 하한이 날카로운지 증명하기 위해 등호를 만족하는 극한 그래프를 구성하는 것.
• 다양한 그래프 순서에서 1-강한 그래프의 둘레를 종합하고 완성하는 특성화를 제공하는 것.

제안 방법

• 그래프 $G \setminus C$에서의 최장 경로 $P$의 길이 $\overline{p}$에 기반한 케이스 분석을 사용한다. 여기서 $C$는 그래프에서 최장 사이클이다.
• 최장 경로의 끝점이 $C$에 인접한 점들에 의해 유도되는 $C$ 상의 기본 세그먼트 $I_i$를 정의하고, 이러한 세그먼트 사이의 중간 경로를 분석한다.
• 극한 그래프 구성 기법을 적용한다. 특히, 서로소 완전 그래프의 정점을 식별하고 특정 정점들 사이에 간선을 추가하여 그래프를 구성함으로써 하한의 날카로움을 보여준다.
• 이론들을 사용하여 이웃 구조와 경로 연결성에 기반한 사이클 길이의 하한을 유도한다. 특히 $|N_C(x)| \geq 2$, $|N_C(y)| \geq 2$, 그리고 $N_C(x) \neq N_C(y)$일 경우에 초점을 맞춘다.
• 가장 긴 사이클이 주장된 하한보다 짧다고 가정하고, 도수 조건과 경로 연장 기법을 통해 모순을 도출하는 반증 기법을 사용한다.
• 최장 경로 길이 $\overline{p}$, 경로 끝점의 공통 이웃, 그리고 $C$로의 교차 연결의 존재 여부에 따라 케이스를 구분하며, 구조적 그래프 이론과 강도 성질을 활용한다.

실험 결과

연구 질문

• RQ1 그래프의 정점 수 $n$ 에 따라 의존하는 1-강한 그래프의 둘레에 대한 최선의 가능한 하한은 무엇인가?
• RQ2 Bauer와 Schmeichel(1986)이 제시한 $2\delta+2$ 하한은 $n \equiv 1 \pmod{3}$일 때만 아니라, 모든 $n$ 에 대해 날카로운가?
• RQ3 최적의 하한은 $n \mod 3$과 $n \mod 4$에 따라 어떻게 변화하는가?
• RQ4 모든 $n$ 의 잔여류에 대해 등호를 만족하는 극한 그래프가 존재하는가?
• RQ5 어떤 $n$ 에 대해서도 $2\delta+4$를 초월하여 하한을 더 개선할 수 있는가?

주요 결과

• 논문은 모든 1-강한 그래프가 해밀턴이거나, $n \equiv 1 \pmod{3}$이면 $2\delta+2$ 이상의 사이클을 포함함을 증명한다.
• $n \equiv 2 \pmod{3}$ 또는 $n \equiv 1 \pmod{4}$이면, 둘레는 $2\delta+3$ 이상이며, 이 하한은 날카롭다.
• 그 외의 모든 $n$ 에 대해서는 둘레가 $2\delta+4$ 이상이며, 이 하한 역시 날카롭다.
• 극한 그래프 $H(\delta-1,\delta-1,\delta-1)$, $H(\delta,\delta-1,\delta-1)$, $H(\delta-1,\delta-1,\delta-1,\delta-1)$, 및 $H(\delta,\delta,\delta-1)$는 하한을 더 이상 향상시킬 수 없음을 보여준다.
• 이 결과는 $2\delta+2$ 하한을 완성하고 개선하여, $n \mod 3$과 $n \mod 4$에 따라 균일하고 최적의 하한을 제공함으로써, 모든 $n$ 에 대해 날카로움 문제를 해결한다.
• 증명은 $H(\delta,\delta,\delta-1)$의 구성에 의해 $2\delta+4$의 경우 등호가 성립함을 보여주며, $2\delta+4$를 초월한 개선은 불가능함을 확인한다.