[論文レビュー] $k$-Blocks: a connectivity invariant for graphs

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

Advanced Graph Theory Research参考文献 9被引用数 6

ひとこと要約

本稿では、$k$-ブロックをグラフにおける接続性不変量として導入し、$k$ 個以上の頂点からなる最大の頂点集合として定義する。この集合は、$k$ 個未満の頂点では任意の2頂点を分離できない。ブロック数 $\beta(G)$ とブロック幅 ${\rm bw}(G)$ の双対性を確立し、$\beta = {\rm bw}$ を証明する。また、$k$-ブロックの検出およびブロック分解の計算に多項式時間で行えるアルゴリズムを提示する。さらに、最小次数 $\geq 2(k-1)$、平均次数 $\geq 3(k-1)$ という次数条件が、有限グラフにおける $k$-ブロックの存在を保証する。

ABSTRACT

A $k$-block in a graph $G$ is a maximal set of at least $k$ vertices no two of which can be separated in $G$ by fewer than $k$ other vertices. The block number $β(G)$ of $G$ is the largest integer $k$ such that $G$ has a $k$-block. We investigate how $β$ interacts with density invariants of graphs, such as their minimum or average degree. We further present algorithms that decide whether a graph has a $k$-block, or which find all its $k$-blocks. The connectivity invariant $β(G)$ has a dual width invariant, the block-width ${ m bw}(G)$ of $G$. Our algorithms imply the duality theorem $β= { m bw}$: a graph has a block-decomposition of width and adhesion $< k$ if and only if it contains no $k$-block.

研究の動機と目的

• 有限グラフにおける新しい接続性不変量として $k$-ブロックを定義・形式化し、小さな分離に対して耐性を持つ強固な頂点集合を捉えること。
• 最小次数や平均次数といった古典的グラフ不変量との関係、特にスパースなグラフにおける関係を調査すること。
• ブロック数 $\beta(G)$ とブロック幅 ${\rm bw}(G)$ の間の双対性を確立し、木分解を用いて $\beta = {\rm bw}$ を示すこと。
• $k$-ブロックの検出および有界な接着度と幅を持つブロック分解の計算に多項式時間で行えるアルゴリズムを開発すること。
• $k$-ブロックとタングルとの関係を明確にし、それらが関連はするが別個の構造的概念であることを示すこと。

提案手法

• $k$-ブロックを、$k$ 個未満の頂点では分離できない、$k$ 個以上の頂点からなる最大の頂点集合として定義する。
• 木分解を用いてグラフ構造を分析し、木の辺によって誘導される分離が、接着度以下で $k$-分離に対応することを用いる。
• グラフに $k$-ブロックが存在しないことと、幅および接着度が $k$ 未満であるブロック分解をもつことが同値であること、すなわち $\beta = {\rm bw}$ を示す。
• $k$-きめ細かい木分解と頂点分離の性質を用いて、$k$-ブロックの存在をテストする多項式時間アルゴリズムを設計する。
• 極値グラフ理論を応用し、最小次数 $\geq 2(k-1)$ および平均次数 $\geq 3(k-1)$ が $k$-ブロックの存在を保証することを導出する。
• 構造的例と反例を用いて、局所的補題が一般に成り立たない限界や、グローバルな分解性の必要性を検証する。

実験結果

リサーチクエスチョン

• RQ1 スパースな状況下でも、有限グラフが $k$-ブロックを含むようにする次数条件（最小または平均）は何か？
• RQ2 ブロック数 $\beta(G)$ は、最小次数や平均次数といった他のグラフ不変量とどのように関係するか？
• RQ3 $k$-ブロックの存在と、幅および接着度が有界な木のような分解との間に双対性は存在するか？
• RQ4 $k$-ブロックは効率的に検出可能かつ計算可能か？このタスクの計算量複雑度は何か？
• RQ5 $k$-ブロックは、構造的グラフ理論におけるタングルや他の幅パラメータとどのように関係するか？

主な発見

• 最小次数が $2(k-1)$ 以上であるグラフは $k$-ブロックを含み、この境界は一般にタイトである。
• $k$-連結なグラフでは、最小次数条件を $\frac{3}{2}(k-1)$ 未満にまで緩和可能であり、三角形を含まない場合、$k$ までにまで低下可能である。
• 平均次数が $3(k-1)$ 以上であるグラフは $k$-ブロックを含み、密度に基づく十分条件を提供する。
• 双対性 $\beta(G) = {\rm bw}(G)$ が成り立つ：グラフが $k$ 未満の幅および接着度のブロック分解を持つことと、$k$-ブロックを含まないこととは同値である。
• $k$-ブロックの存在の判定およびすべての $k$-ブロックの計算に多項式時間で行えるアルゴリズムが存在する。このアルゴリズムは $k$-きめ細かい木分解に基づく。
• 反例により、$k$-分離が常に T 字型であるという局所的補題が、一般に成り立たないことが示された。これは、非常に高い接続性を持つグラフに対しても同様である。