[论文解读] Proof of the 1-factorization and Hamilton decomposition conjectures III: approximate decompositions

Béla Csaba, Daniela Kühn+3 more|arXiv (Cornell University)|Jan 16, 2014

graph theory and CDMA systems参考文献 12被引用 14

一句话总结

本文為接近完全平衡二分圖或兩個等大小團的並集的稠密正則圖，建立了一個近似分解框架，專注於哈密頓圈與完美匹配的分解。透過使用結構化爆破圈與平衡邊延伸，將預定的路徑系統延伸至例外頂點與邊，作者證明了近似哈密頓分解的存在性，為解決所有足夠大圖的1-因子化與哈密頓分解猜想提供了關鍵一步。

ABSTRACT

In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [1-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4 ceil -1$. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into perfect matchings. Equivalently, $χ'(G)=D$. (ii) [Hamilton decomposition conjecture] Suppose that $D \ge \lfloor n/2 floor $. Then every $D$-regular graph $G$ on $n$ vertices has a decomposition into Hamilton cycles and at most one perfect matching. (iii) We prove an optimal result on the number of edge-disjoint Hamilton cycles in a graph of given minimum degree. According to Dirac, (i) was first raised in the 1950s. (ii) and (iii) answer questions of Nash-Williams from 1970. The above bounds are best possible. In the current paper, we show the following: suppose that $G$ is close to a complete balanced bipartite graph or to the union of two cliques of equal size. If we are given a suitable set of path systems which cover a set of `exceptional' vertices and edges of $G$, then we can extend these path systems into an approximate decomposition of $G$ into Hamilton cycles (or perfect matchings if appropriate).

研究动机与目标

• 發展一種通用方法，用於將稠密正則圖近似分解為哈密頓圈或完美匹配。
• 處理結構上接近完全平衡二分圖或兩個等大小團的並集之圖。
• 提供一個框架，將預先指定的路徑系統在例外頂點與邊上延伸為近似哈密頓分解。
• 透過建立基礎的近似分解結果，支援1-因子化與哈密頓分解猜想的完整證明。

提出的方法

• 將目標圖中近似分解的問題，簡化為從原圖的稠密子結構導出的輔助多重圖中尋找近似哈密頓分解。
• 使用爆破圈結構來引導路徑系統的嵌入，確保在各頂點集合間的平衡分佈。
• 應用平衡延伸技術，利用環繞爆破圈的邊，將部分路徑系統延伸為1-因子。
• 運用有向圖方向化與邊不相交的圈構造，確保最終分解的一致性並避免重疊。
• 利用強健擴散性質與基於正則性的分解工具，處理核心結構情形。
• 透過反覆應用引理，從一組初始路徑系統構造出多條邊不相交的哈密頓圈，確保整體邊不相交性。

实验结果

研究问题

• RQ1 對於接近完全平衡二分圖 $K_{n/2,n/2}$ 的圖，若給定一組覆蓋例外頂點與邊的預先指定路徑系統，是否可實現近似哈密頓分解？
• RQ2 對於接近兩個大小為 $n/2$ 的團的並集的圖，是否可透過結構化路徑延伸方法，實現近似哈密頓分解或完美匹配分解？
• RQ3 在近似分解中，如何有效處理例外頂點與邊，以維持平衡與邊不相交性？
• RQ4 何種條件可確保路徑系統能透過爆破圈框架延伸為哈密頓圈？
• RQ5 近似分解在多大程度上可作為實現完整哈密頓分解或1-因子化之跳板？

主要发现

• 對於接近完全平衡二分圖 $K_{n/2,n/2}$ 的圖，只要給定一組涵蓋例外頂點與邊的合適路徑系統，即可實現近似哈密頓分解。
• 對於接近兩個大小為 $n/2$ 的團的並集的圖，可透過路徑系統延伸實現近似哈密頓分解或完美匹配分解。
• 該方法在近似分解中構造出 $| frac{1}{2}inom{n}{2} - o(n^2)|$ 條邊不相交的哈密頓圈，接近最大可能數量。
• 延伸過程確保所有構造出的圈彼此邊不相交，且與初始路徑系統一致，維持結構平衡。
• 該框架為證明所有足夠大 $n$ 的1-因子化與哈密頓分解猜想提供了關鍵技術組件。
• 結果在極端意義上是緊緻的，因為主要定理中的度數界為最佳可能，如已知極值構造所示。