[论文解读] Problems and memories

András Gyárfás|arXiv (Cornell University)|Jul 6, 2013

Philippine History and Culture参考文献 26被引用 3

一句话总结

本文回顧了與保羅·艾狄胥數十年的數學合作，探討極值圖論中的關鍵結果與開放問題，包括稀疏圖中的圈結構、弦圖子圖、單色支配以及邊染色完全圖中的圈劃分。核心貢獻包括關於圈覆蓋與色數邊染色的猜想，並提供了部分結果與拉姆齊型問題的改進界。

ABSTRACT

I state some open problems coming from joint work with Paul Erdős

研究动机与目标

• 探討並解決由保羅·艾狄胥啟發的極值圖論中的開放問題，特別是關於稀疏圖與圈結構的問題。
• 研究在密集圖中弦圖子圖的存在性與大小，特別是在邊數接近 $ n^2/3 $ 的臨界點附近。
• 檢驗在二色與三色完全圖中單色支配的性質，目標是界定支配單一顏色中大部分頂點集所需的頂點數。
• 研究覆蓋 $ r $-色完全圖頂點集所需的最少數量的頂點不相交單色圈。
• 分析近乎二分圖的結構，並探討在移除少數頂點後使其變為二分圖的條件。

提出的方法

• 分析極值圖族，如 $ G(n) $，即具有 $ n $ 個頂點、$ 2n-2 $ 條邊且無最小度為 3 的真子圖的 $ n $-頂點圖族，以研究圈存在的模式。
• 使用交叉相交族與圖論型論證，推導出迫使 $ K_{k+1} $-自由圖在加邊後必含 $ K_{k+1} $ 的最小邊數界。
• 應用機率與極值組合技術，界定具有 $ rac{n^2}{3} $ 條或更多邊的圖中弦圖子圖的大小。
• 採用拉姆齊理論方法與避色支配論證，分析二色與三色完全圖中單色子結構的性質。
• 利用正則性引理與圖的結構分解，證明 $ r $-色完全圖中圈劃分的結果。
• 引入並分析完全圖的 $ (p,q) $-染色概念，其中每個 $ K_p $ 至少跨越 $ q $ 種顏色，並推導出所需最少顏色數 $ f(n,p,q) $ 的界。

实验结果

研究问题

• RQ1 每個屬於 $ G(n) $ 的圖（$ n $ 個頂點、$ 2n-2 $ 條邊，且無最小度為 3 的真子圖）是否都包含從 3 到某個 $ k $ 的所有長度的圈，且 $ k \to \infty $ 當 $ n \to \infty $？
• RQ2 是否每個具有 $ n $ 個頂點且邊數超過 $ n^2/3 $ 的圖都包含至少 $ 8n/3 - 4 $ 條邊的弦圖子圖？
• RQ3 在三條邊染色的完全圖 $ K_n $ 中，是否總存在一種顏色，使得至多 3 個頂點可支配至少 $ 2n/3 $ 個頂點？
• RQ4 $ r $-色完全圖的圈劃分數是否不超過 $ r $？
• RQ5 $ f(n,5,9) $ 是否關於 $ n $ 線性？即是否存在常數 $ c $，使得 $ K_n $ 可以以 $ cn $ 種顏色進行適當的邊染色，且任意兩種顏色類的並集中不包含四條邊的路徑或圈？

主要发现

• 猜想 1 提出：每個屬於 $ G(n) $ 的圖都包含從 3 到 $ k $ 的所有長度的圈，其中 $ k \to \infty $ 當 $ n \to \infty $，但此猜想尚未被證明。
• 已證明：任何具有 $ n $ 個頂點且至少 $ n^2/3 $ 條邊的圖，都包含至少 $ 2n - 3 $ 條邊的弦圖子圖，且此界在完全三部圖中是緊緻的。
• 對於邊數超過 $ n^2/3 $ 的圖，已證明弦圖子圖的邊數至少為 $ 7n/3 - 6 $，此結果改進了先前的結果。
• 對於二色 $ K_n $，已證明頂點集可被至多 $ 2\big\rfloor\big\rfloor $ 條同色的單色路徑覆蓋，且 conjecture 認為 $ \big\rfloor\big\rfloor $ 條已足夠，此猜想仍待證明。
• 在三色 $ K_n $ 中，已證明至多 22 個頂點可支配某一顏色中至少 $ 2n/3 $ 個頂點，此界已被 Kral 等人改進至 4，接近猜想中的界 3。
• 對於 $ f(n,4,5) $，已確立界 $ 5(n-1)/6 \to f(n,4,5) \to n $，論文呼籲更緊緻的估計；而 $ f(n,5,9) $ 的下界為 $ 2n - 6 $，上界為 $ 2n^{1 + c/\big\rfloor\big\rfloor} $，其線性性問題仍待解決。