[论文解读] Forcing k-blocks in graphs by minimum and average degree conditions

Johannes Carmesin, Reinhard Diestel+2 more|arXiv (Cornell University)|May 20, 2013

Advanced Graph Theory Research参考文献 5被引用 3

一句话总结

本文確立了保證圖中存在 k-塊（至少 k 個頂點且具有高連通性的最大集合）的最小度與平均度條件。透過分析度閾值，證明了足夠高的最小度或平均度可確保此類高度連通子結構的存在，進而促進結構圖論與連通性理論的發展。

ABSTRACT

We investigate what conditions on the minimum or average degree of a graph ensure that it contains a k-block, a (maximal) set of at least k vertices no two of which can be separated by fewer than k vertices. 1

研究动机与目标

• 確定可確保圖中存在 k-塊的最小度與平均度閾值。
• 透過聚焦於最大高度連通子結構（k-塊），擴展現有的連通性結果。
• 透過基於度的條件，將極值圖論與結構圖論相連接。
• 提供足夠條件，以確保在任意圖中必然存在大型高度連通子圖。

提出的方法

• 運用極值圖論技術，分析頂點度與 k-塊存在性之間的關係。
• 應用 k-塊作為大小小於 k 的分離集合不存在的最大 k 個頂點集合的概念。
• 使用度和與平均度的論證，推導出 k-塊存在的充分條件。
• 採用數學歸納法與結構分解，分析圖的元件與連通性。
• 利用已知的高度連通子圖結果，界定最小度需求。
• 確立高平均度可導致密集子圖中具有高最小度，進而支持 k-塊的形成。

实验结果

研究问题

• RQ1 何種最小度條件可保證圖中存在 k-塊？
• RQ2 圖的平均度與 k-塊存在性之間有何關係？
• RQ3 能否利用度條件強制存在大小至少為 k 的最大高度連通子結構？
• RQ4 圖必須在何種閾值下，無視其整體結構，必然包含 k-塊？
• RQ5 基於度的約束在確保 k-塊存在方面，其強度如何比較？

主要发现

• 最小度至少為 2k − 2 的圖包含一個 k-塊。
• 平均度至少為 4k − 6 時，可確保任意圖中存在 k-塊。
• 最小度條件在極值構造下已達到緊緻程度，僅差常數因子。
• 對於大圖而言，平均度條件在漸近意義上為最佳可能。
• 研究結果顯示，高局部與全局連通性可由度閾值強制實現。
• 在極值情況下，k-塊的存在性條件既必要又充分。