[論文レビュー] On the Number of Minimal Separators in Graphs

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

Optimization and Search Problems被引用数 4

ひとこと要約

本稿は、n頂点グラフにおける最小分離集合の数の上界 $ O(\rho^n \cdot n) $ について、簡略化された証明を提供する。ここで $ \rho = \frac{1+\sqrt{5}}{2} \approx 1.618 $ であり、既存の $ \Omega(3^{n/3}) $ の下界を上回る、新しい下界 $ \omega(1.4521^n) $ を確立する。これらの結果により、既知の上界と下界の差が縮まり、潜在的極大クリークの数に対しても同様の改善が示唆される。

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 $ を導入する。
• 頂点が分離集合に含まれるか否かに基づく再帰的数え上げ法を用い、黄金比 $ \rho $ を活用する。
• 恒等式 $ \rho^{k-1} + \rho^{k-2} = \rho^k $ を用いて再帰関係を抑え、上界を証明する。
• 水平および垂直の選択を用いて分離集合の多様性を高める、24層の基本グラフ $ G_1 $ を $ \ell $ 個結合して得られるグラフ族 $ G_\ell $ を構築する。
• $ G_1 $ における最小分離集合の数を数える際、各 $ k \neq j $ に対して $ \{v_{1,k},v_{2,k},v_{3,k}\} $ から1頂点、$ \{v_{4,k},v_{5,k},v_{6,k}\} $ から1頂点を選ぶように制約を課し、1層あたり $ 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(3^{n/3}) \subseteq \omega(1.4422^n) $ を上回る、新たな下界 $ \omega(1.4521^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} $ よりも漸近的に大きいことが示された。