[論文レビュー] Complexity and Applications of Edge-Induced Vertex-Cuts

Marko Samer, Stefan Szeider|ArXiv.org|Jul 25, 2006

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

ひとこと要約

本稿では、エッジを用いて頂点の接続を遮断するという新しいグラフカット概念「エッジ誘導頂点カット」を導入し、その最小カットを計算することがハイパーグラフにおいてNP困難であることを証明する。本研究は、制約充足問題におけるハイパートリー分解との理論的関連を確立し、エッジカットを最小化することを目的とする従来のグラフ分割ヒューリスティクスが、最適化目的が異なるためハイパーグラフ分解には不適切であることを示している。

ABSTRACT

Motivated by hypergraph decomposition algorithms, we introduce the notion of edge-induced vertex-cuts and compare it with the well-known notions of edge-cuts and vertex-cuts. We investigate the complexity of computing minimum edge-induced vertex-cuts and demonstrate the usefulness of our notion by applications in network reliability and constraint satisfaction.

研究の動機と目的

• エッジ誘導頂点カットと呼ばれる新しいタイプのグラフカットを形式化・分析すること。ここでエッジの故障が頂点の接続遮断を引き起こす。
• 古典的なエッジカットおよび頂点カットと比較して、サイズおよび計算複雑性の観点からエッジ誘導頂点カットを検討すること。
• ハイパーグラフにおいて、最小エッジ誘導頂点カットのサイズが、最小エッジカットおよび頂点カットのサイズ以下であることを示すこと。
• 最小エッジ誘導頂点カットを計算する問題の理論的非効用性を確立し、NP困難性および固定パラメータ非効用性を示すこと。
• 従来のハイパーグラフ分割ヒューリスティクス（エッジカットを最小化）が、最適化目的の不一致のためハイパートリー分解において劣っていることを示すこと。

提案手法

• エッジの集合を削除したときに、そのエッジの両端頂点が接続が遮断される条件を満たす頂点の集合としてエッジ誘導頂点カットを定義する。
• 任意のハイパーグラフにおいて、最小エッジ誘導頂点カットのサイズが、最小エッジカットまたは頂点カットのサイズ以下であることを証明する。
• エッジ誘導頂点カットと一般化ハイパートリー分解との関係を形式化し、その分解におけるλ-集合がエッジ誘導頂点カットであることを示す。
• ハイパートリー分解の条件（連結性、被覆性、エッジ包含性）の構造的解析を用いて、λ-集合がエッジ誘導頂点カットの性質を満たすことを証明する。
• 既知のNP困難問題への還元を用いて、最小s-tエッジ誘導頂点カットの計算がNP困難であることを示す。
• 固定パラメータの可 tractability を分析し、解のサイズをパラメータとして用いても、ハイパーグラフにおいて問題が依然として非効用的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ハイパーグラフにおいて、最小エッジ誘導頂点カットのサイズは、最小エッジカットおよび頂点カットのサイズと比べてどうなるか？
• RQ2 エッジ誘導頂点カットは効率的に計算可能か、それとも計算的に非効用的か？
• RQ3 エッジ誘導頂点カットと制約充足問題におけるハイパートリー分解の関係は何か？
• RQ4 なぜ既存のハイパーグラフ分割ヒューリスティクスは、低幅ハイパートリー分解を構築する際にうまく機能しないのか？
• RQ5 エッジ誘導頂点カットを効果的に最小化する近似アルゴリズムやヒューリスティクスは存在するか？

主な発見

• ハイパーグラフにおける最小エッジ誘導頂点カットのサイズは、常に最小エッジカットまたは頂点カットのサイズ以下である。
• 最小s-tエッジ誘導頂点カットを計算することは、ハイパーグラフにおいてもNP困難である。
• 最小エッジ誘導頂点カットを計算する問題は、ハイパーグラフにおいて固定パラメータ非効用的である。
• 一般化ハイパートリー分解は、本質的にエッジ誘導頂点カットであるλ-集合を用いるため、直接的な理論的関連が確立される。
• 非自明なサイズのχ-縮約ハイパートリー分解は、常に少なくとも1つのλ-集合がエッジ誘導頂点カットである。
• エッジカットを最小化することを目的とする既存のハイパーグラフ分割ヒューリスティクスは、最適化目的の不一致のため、ハイパートリー分解において理論的に劣っている。