[论文解读] Long Cycles in 1-tough Graphs

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

Advanced Graph Theory Research参考文献 2被引用 4

一句话总结

本文確立了1-堅韌圖中周長（最長圈長度）的最優下界，證明每一個1-堅韌圖要麼是哈密頓圖，要麼包含長度至少為 $2\delta+2$ 的圈，當 $n \equiv 1 \pmod{3}$ 時；長度至少為 $2\delta+3$，當 $n \equiv 2 \pmod{3}$ 或 $n \equiv 1 \pmod{4}$ 時；否則長度至少為 $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-堅韌圖周長的已知下界。
• 根據圖的階 $n$ 對3和4取模，確立最佳圈長度下界。
• 透過構造極值圖，證明改進後的下界對所有 $n$ 均為緊緻。
• 統一並完成對1-堅韌圖周長在不同圖階下的完整特徵化。

提出的方法

• 證明基於圖 $G \setminus C$ 中最長路徑 $P$ 的長度 $\overline{p}$ 進行分情況討論，其中 $C$ 為圖中的一條最長圈。
• 定義 $C$ 上由 $P$ 端點在 $C$ 上的鄰點所誘導出的初等區段 $I_i$，並分析這些區段之間的中間路徑。
• 應用極值圖構造——具體而言，透過識別不相交完全圖的頂點，並在選定頂點之間添加邊——以證明界的緊緻性。
• 利用引理，根據鄰域結構與路徑連通性推導圈長度的下界，特別是在 $|N_C(x)| \geq 2$、$|N_C(y)| \geq 2$ 且 $N_C(x) \neq N_C(y)$ 時。
• 透過反證法：假設最長圈短於所聲稱的界，再根據度約束與路徑延伸推導出矛盾。
• 證明區分不同情況，基於 $\overline{p}$ 的大小、路徑端點的共同鄰域，以及對 $C$ 的交叉連接存在性，並運用結構圖論與堅韌性性質。

实验结果

研究问题

• RQ1 1-堅韌圖的周長最佳可能下界為何，且其依賴於頂點數 $n$？
• RQ2 Bauer與Schmeichel（1986）的 $2\delta+2$ 界能否被改進，使其對所有 $n$ 均為緊緻，而不僅僅是當 $n \equiv 1 \pmod{3}$ 時？
• RQ3 最佳界如何依賴於 $n \mod 3$ 和 $n \mod 4$ 而變化？
• RQ4 是否存在極值圖，使其在 $n$ 對3和4取模的每一種剩餘類中均達到改進界之等號？
• RQ5 對任何 $n$，能否進一步將界改進至 $2\delta+4$ 以上？

主要发现

• 本文確立了每一個1-堅韌圖要麼是哈密頓圖，要麼包含長度至少為 $2\delta+2$ 的圈，當 $n \equiv 1 \pmod{3}$ 時。
• 當 $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$ 下的緊緻性問題。
• 證明確認，無法進一步將界改進至 $2\delta+4$ 以上，如 $H(\delta,\delta,\delta-1)$ 的構造所示，其在 $2\delta+4$ 情況下達到等號。