[论文解读] A sharp refinement of a result of Alon, Ben-Shimon and Krivelevich on bipartite graph vertex sequences

Grant Cairns, Stacey Mendan+1 more|arXiv (Cornell University)|Mar 25, 2014

Digital Image Processing Techniques参考文献 2被引用 2

一句话总结

本文為有限正整數序列成為二分圖兩部分的度序列提供了嚴苛的充分條件，僅依賴於序列長度、最大值與最小值。該結果改進了 Alon、Ben-Shimon 和 Krivelevich 的結果，引入了一個精確的臨界值，涉及 ((a+b)²)/4 的下取整，且等號成立條件取決於 a 和 b 的奇偶性。透過構造失敗情況下的顯式反例，證明該條件為最優。

ABSTRACT

Blank

研究动机与目标

• 改進 Alon、Ben-Shimon 和 Krivelevich 對二分圖度序列的先前結果。
• 僅使用序列長度、最大度與最小度，建立序列為二分圖度序列的嚴苛充分條件。
• 透過構造所有不滿足條件之參數三元組的非二分圖度序列，證明所推導條件的最優性。
• 提供兩種不同證明：一種使用強索引與預備引理，另一種透過帶環圖將問題約化為度序列問題。
• 統一並強化先前關於度序列的結果，特別是 Zverovich–Zverovich 與 Alon–Ben-Shimon–Krivelevich 定理。

提出的方法

• 透過重述 Gale–Ryser 定理，證明兩元素序列 (as, bn−s) 為二分圖度序列的必要與充分條件。
• 引入並使用強索引概念以分析度序列，並推導 (di + ink−i) 部分和的界。
• 使用二次優化論證，界定強索引 k 上 ∑(di + ink−i) 的和，證明其在所推導臨界值下 ≤ kn。
• 應用變換：將序列前 s 個元素減 1，形成新序列 d′，並在臨界值條件下證明 d′ 為圖度序列。
• 利用 [3] 中的結果：一個序列為二分圖度序列，當且僅當它是帶環圖的簡化度序列。
• 透過在 d′ 實現中前 s 個位置的每個頂點添加一個環，構造一個帶環圖，從而將原序列恢復為簡化度序列。

实验结果

研究问题

• RQ1 僅依賴長度、最大度與最小度，序列為二分圖度序列的最嚴苛充分條件為何？
• RQ2 Alon、Ben-Shimon 和 Krivelevich 的條件能否被緊緻化為充分且必要？
• RQ3 最大度與最小度的奇偶性如何影響二分圖度序列的臨界值？
• RQ4 該問題能否透過引入環的變換約化為度序列問題？
• RQ5 對於所有不滿足所提條件之參數三元組，是否存在顯式構造的非二分圖度序列？

主要发现

• 本文確立：長度為 n、最大度為 a、最小度為 b 的序列，若 a 與 b 奇偶性相反，則當 nb ≥ ⌊(a+b)²/4⌋ 時為二分圖度序列；若 a 與 b 奇偶性相同，則當 nb ≥ (a+b)²/4 時為二分圖度序列。
• 該條件為最優：對於任何滿足 b < a ≤ n 但不滿足不等式的三元組 (a,b,n)，均存在長度為 n、最大度為 a、最小度為 b 且非二分圖度序列的序列。
• 第一種證明使用強索引與 ∑(di + ink−i) 形式部分和的界，證明該和在臨界值條件下 ≤ kn。
• 第二種證明透過將前 s 個元素減 1，將問題約化為圖度序列問題，證明在臨界值下所得序列 d′ 為圖度序列，再利用帶環圖將原序列恢復為簡化度序列。
• 臨界值為最優：當不等式不成立時，可透過二次條件 s² − (a+b)s + nb ≥ 0，利用兩元素序列 (as, bn−s) 構造顯式反例。
• 本結果透過去除對輔助變數 x 的依賴，並提供清晰的整數基準，推廣並強化了 Alon–Ben-Shimon–Krivelevich 定理。