[论文解读] On the Number of Minimal Separators in Graphs

Serge Gaspers, Simon Mackenzie|arXiv (Cornell University)|Mar 4, 2015

Optimization and Search Problems被引用 4

一句话总结

本文為圖中最小分離集數量的上界 $ O(\rho^n \cdot n) $ 提供了一個簡化的證明，其中 $ \rho = \frac{1+\sqrt{5}}{2} \approx 1.618 $，並建立了新的下界 $ \omega(1.4521^n) $，優於先前的 $ \Omega(3^{n/3}) $ 界。這些結果縮小了已知上界與下界之間的差距，並對潛在最大團數量的上界產生類似的改進。

ABSTRACT

We consider the largest number of minimal separators a graph on n vertices can have at most. We give a new proof that this number is in $O( ((1+\sqrt{5})/2)^n n )$. We prove that this number is in $ω( 1.4521^n )$, improving on the previous best lower bound of $Ω(3^{n/3}) \subseteq ω( 1.4422^n )$. This gives also an improved lower bound on the number of potential maximal cliques in a graph. We would like to emphasize that our proofs are short, simple, and elementary.

研究动机与目标

• 簡化現有關於圖中最小分離集最大數量的上界證明。
• 將最小分離集數量的下界改進至超過 $ \Omega(3^{n/3}) $。
• 為圖中潛在最大團的數量建立新的下界。
• 縮小已知最小分離集上界與下界之間的差距。

提出的方法

• 引入一個新度量 $ \mu(G,d) = |V| - d $，用於追蹤 $[a,d]$-分離中各組件的大小與分離集的不平衡程度。
• 基於頂點是否包含在分離集中，使用遞迴計數方法，並利用黃金比例 $ \rho $。
• 應用恆等式 $ \rho^{k-1} + \rho^{k-2} = \rho^k $ 來界定遞迴關係，進而證明上界。
• 從 $ \ell $ 個基圖 $ G_1 $ 的副本構造一類圖 $ G_\ell $，其具有 24 層，透過水平與垂直選擇增加分離集的多樣性。
• 透過確保每個分離集在 $ k \neq j $ 時，從 $ \{v_{1,k},v_{2,k},v_{3,k}\} $ 選取一個頂點，並從 $ \{v_{4,k},v_{5,k},v_{6,k}\} $ 選取一個頂點，來計數 $ G_1 $ 中的最小 $(a,b)$-分離集，每層產生 $ 3^{2(|J|-1)} $ 個。
• 將 $ \ell $ 個副本中的分離集結合，推導出下界 $ (|J| \cdot 3^{2(|J|-1)})^{\ell} $，對 $ n = \ell \cdot 6|J| + 2 $，其為 $ \omega(1.4521^n) $。

实验结果

研究问题

• RQ1 最小分離集數量的上界能否以比現有方法更簡潔的方式證明？
• RQ2 在 $ n $ 個頂點的圖中，最小分離集數量的最佳可能下界為何？
• RQ3 圖中潛在最大團的數量是否也快於 $ 3^{n/3} $ 增長？
• RQ4 已知最小分離集上界與下界之間的差距能否被縮小？

主要发现

• 本文為任意 $ n $ 個頂點的圖中最小分離集數量確立了新的上界 $ O(\rho^n \cdot n) $，且證明過程比以往方法更為簡潔。
• 提出最小分離集數量的新下界 $ \omega(1.4521^n) $，優於先前的 $ \Omega(3^{n/3}) \subseteq \omega(1.4422^n) $。
• 由 $ \ell $ 個 24 層基圖組成的 $ G_\ell $ 圖構造，對 $ n = \ell \cdot 6 \cdot 24 + 2 $ 時，可達 $ \omega(1.4521^n) $ 個最小分離集。
• 在 $ G_1 $ 中，最小分離集數量至少為 $ |J| \cdot 3^{2(|J|-1)} > 2.1271 \times 10^{23} $，其中 $ |J| = 24 $，顯示極高的分離集密度。
• 作為推論，圖中潛在最大團的數量亦為 $ \omega(1.4521^n) $，對此相關概念的下界有所提升。
• 這些結果大幅縮小了最小分離集數量的已知上界與下界之間的差距，顯示 $ \mathsf{sep}(n) $ 漸近大於 $ 3^{n/3} $。