[论文解读] Counting graph orientations with no directed triangles

Pedro Araújo, Fábio Botler+1 more|arXiv (Cornell University)|May 27, 2020

Limits and Structures in Graph Theory参考文献 8被引用 5

一句话总结

本文證實了 Alon 與 Yuster 的猜想：對於所有 $ n \geq 8 $，任何 $ n $ 個頂點圖中，三角形自由定向的最大數量為 $ 2^{\lfloor n^2/4 \rfloor} $，且僅由平衡的完全二分圖 $ K_{\lfloor n/2\rfloor,\lceil n/2\rceil} $ 實現。證明透過結構分解與極值圖論，限制定向延伸的數量，顯示在無有向三角形的約束下，僅完全二分圖能達至此最大值。

ABSTRACT

Alon and Yuster proved that the number of orientations of any $n$-vertex graph in which every $K_3$ is transitively oriented is at most $2^{\lfloor n^2/4 floor}$ for $n \geq 10^4$ and conjectured that the precise lower bound on $n$ should be $n \geq 8$. We confirm their conjecture and, additionally, characterize the extremal families by showing that the balanced complete bipartite graph with $n$ vertices is the only $n$-vertex graph for which there are exactly $2^{\lfloor n^2/4 floor}$ such orientations.

研究动机与目标

• 證實 Alon 與 Yuster 的猜想，即對於所有 $ n \geq 8 $，有 $ D(n,K^\circlearrowright_3) = 2^{\lfloor n^2/4\rfloor} $。
• 特徵化達至此最大值的極值圖形。
• 證明平衡的完全二分圖 $ K_{\lfloor n/2\rfloor,\lceil n/2\rceil} $ 是唯一能實現 $ 2^{\lfloor n^2/4\rfloor} $ 種此類定向的 $ n $ 個頂點圖。
• 擴展對禁止有向子圖約束下圖形極值定向計數的理解。

提出的方法

• 證明基於圖中最大團大小的分情況分析，將頂點劃分為結構組塊。
• 利用延伸函數 $ {\rm ext}_G(e,S) $ 對頂點集合之間相容的 $ K^\circlearrowright_3 $-自由定向數量施加界。
• 運用引理限制子圖之間邊的合法定向數量，特別針對三角形與匹配。
• 結合 Mantel 定理（三角形自由圖的最大邊數）與極值計數，證明除非圖為平衡完全二分圖，否則必有嚴格不等式。
• 對於小圖（$ n \leq 13 $），透過附錄中的分情況分析進行計算驗證。
• 證明歸結為求解由定向延伸之組合界所導出的不等式系統。

实验结果

研究问题

• RQ1 對於 $ n $ 個頂點的圖，其定向中不包含有向三角形的最大數量為何？
• RQ2 此最大值在哪些 $ n $ 個頂點圖中達成？
• RQ3 平衡的完全二分圖是否為唯一達成 $ 2^{\lfloor n^2/4\rfloor} $ 種 $ K^\circlearrowright_3 $-自由定向的極值圖形？
• RQ4 Alon 與 Yuster 的猜想 $ D(n,K^\circlearrowright_3) = \max\{2^{\lfloor n^2/4\rfloor}, n!\} $ 對所有 $ n \geq 8 $ 是否成立？

主要发现

• 對於所有 $ n \geq 8 $，任何 $ n $ 個頂點圖中，$ K^\circlearrowright_3 $-自由定向的最大數量恰好為 $ 2^{\lfloor n^2/4\rfloor} $。
• 平衡的完全二分圖 $ K_{\lfloor n/2\rfloor,\lceil n/2\rceil} $ 是唯一能達至此最大值的 $ n $ 個頂點圖。
• 對於 $ n \leq 7 $，最大值為 $ n! $，其嚴格小於 $ 2^{\lfloor n^2/4\rfloor} $，確認猜想的閾值位於 $ n=8 $。
• 任何不與 $ K_{\lfloor n/2\rfloor,\lceil n/2\rceil} $ 同構的 $ n $ 個頂點圖，其 $ K^\circlearrowright_3 $-自由定向數量均嚴格小於 $ 2^{\lfloor n^2/4\rfloor} $。
• 證明顯示，對於所有 $ n \geq 8 $，非二分圖或非平衡二分圖均滿足 $ D(G,K^\circlearrowright_3) < 2^{\lfloor n^2/4\rfloor} $。
• 結果完整證實 Alon 與 Yuster 的猜想，顯示對於 $ n \geq 8 $，有 $ D(n,K^\circlearrowright_3) = 2^{\lfloor n^2/4\rfloor} $，且僅當圖為 $ K_{\lfloor n/2\rfloor,\lceil n/2\rceil} $ 時等號成立。