[論文レビュー] Hypergraph Cuts with General Splitting Functions

Nate Veldt, Austin R. Benson+1 more|arXiv (Cornell University)|Jan 9, 2020

Complexity and Algorithms in Graphs被引用数 7

ひとこと要約

この論文は、ハイパーエッジのノードを分割する方法ごとに異なるペナルティを割り当てる任意の分割関数を用いた、ハイパーグラフ最小 $s$-$t$ 割り切り問題の一般化されたフレームワークを導入する。問題が多項式時間で解ける（ tractable ）グラフ $s$-$t$ 割り切り問題に還元可能であるのは、分割関数が準モodularである場合に限り、その条件を特定している。また、問題が NP 困難となる領域も同定している。さらに、準モodular性のもとで近似を保つ還元が可能である多方向カットへの拡張も行われている。

ABSTRACT

The minimum $s$-$t$ cut problem in graphs is one of the most fundamental problems in combinatorial optimization, and graph cuts underlie algorithms throughout discrete mathematics, theoretical computer science, operations research, and data science. While graphs are a standard model for pairwise relationships, hypergraphs provide the flexibility to model multi-way relationships, and are now a standard model for complex data and systems. However, when generalizing from graphs to hypergraphs, the notion of a "cut hyperedge" is less clear, as a hyperedge's nodes can be split in several ways. Here, we develop a framework for hypergraph cuts by considering the problem of separating two terminal nodes in a hypergraph in a way that minimizes a sum of penalties at split hyperedges. In our setup, different ways of splitting the same hyperedge have different penalties, and the penalty is encoded by what we call a splitting function. Our framework opens a rich space on the foundations of hypergraph cuts. We first identify a natural class of cardinality-based hyperedge splitting functions that depend only on the number of nodes on each side of the split. In this case, we show that the general hypergraph $s$-$t$ cut problem can be reduced to a tractable graph $s$-$t$ cut problem if and only if the splitting functions are submodular. We also identify a wide regime of non-submodular splitting functions for which the problem is NP-hard. We also analyze extensions to multiway cuts with at least three terminal nodes and identify a natural class of splitting functions for which the problem can be reduced in an approximation-preserving way to the node-weighted multiway cut problem in graphs, again subject to a submodularity property. Finally, we outline several open questions on general hypergraph cut problems.

研究の動機と目的

• ノードの分割方法ごとに異なるペナルティを割り当てる一般化された分割関数を用いたハイパーグラフ $s$-$t$ 割り切り問題の計算複雑性を形式化し、分析すること。
• 一般化されたハイパーグラフ $s$-$t$ 割り切り問題が、どのような条件下で多項式時間で解けるグラフ $s$-$t$ 割り切り問題に還元可能かを特定すること。
• フレームワークを多方向ハイパーグラフカットに拡張し、準モodular性のもとで近似を保つ還元を同定すること。
• 基数に基づくおよび移動に基づく分割関数について、多項式時間解法と NP 困難なインスタンスの境界を同定すること。
• 一般化されたハイパーグラフカット理論における未解決問題と今後の研究方向性を同定すること。

提案手法

• 著者は、ハイパーエッジのノードを2つの集合に分割する各方法にペナルティを割り当てる分割関数を定義し、標準的なハイパーエッジカット概念を一般化する。
• 各ハイパーエッジを補助ノードと重み付きエッジを備えたガジェットで表現するグラフ還元技術を導入し、得られたグラフにおける最小 $s$-$t$ 割り切りが最小ハイパーグラフカットに対応するようにする。
• このようなグラフ還元が有効であるのは、分割関数が準モodularである場合に限り、準モodular関数最小化の性質を用いて証明する。
• 多方向カットの文脈では、移動に基づく分割関数を定義し、準モodularな移動ベース関数がノード重み付き多方向カット問題に還元可能であり、近似保証が保たれることを示す。
• 既知の NP 困難問題からの還元に基づく難解性結果を用い、特に「必要性のあるノード（needy-node）」を含むハイパーグラフ構成を用いて、非準モodular関数では不全であることを証明する。
• 問題が解けるか困難な領域をマップするため、可解性図とパラメータ化解析を用いる。

実験結果

リサーチクエスチョン

• RQ1 一般化されたハイパーグラフ $s$-$t$ 割り切り問題が多項式時間で解けるのは、分割関数がどのような条件下か？
• RQ2 指数的数の補助ノードを必要とせずに、すべての準モodular分割関数をハイパーグラフ $s$-$t$ 割り切りガジェットでモデル化できるか？
• RQ3 NES-HyperCut 問題（極端な重みを伴う特定の基数ベース $s$-$t$ 割り切り）は多項式時間で解けるか、それとも NP 困難か？
• RQ4 非準モodularな分割関数のどのクラスについて、一般化されたハイパーグラフ $s$-$t$ 割り切り問題がまだ多項式時間で解けるか？
• RQ5 準モodular性の範囲外においても、移動ベースの多方向ハイパーグラフカットに近似を保つ還元を確立できるか？

主な発見

• 一般化されたハイパーグラフ $s$-$t$ 割り切り問題は、分割関数が準モodularである場合に限り、多項式時間で解けることが示され、これがタイトな特徴付けである。
• 非準モodularな分割関数に対しても、基数ベースのケースでさえ、既知の難解問題からの還元により NP 困難であることが示された。
• 5-一様ハイパーグラフにおいて、基数ベースの分割関数で $w_1 = 1$ かつ $w_2 = 0$ の場合、問題は近似することすら NP 困難である。
• 多方向カットにおける移動ベースの分割関数の広いクラスは、ノード重み付き多方向カット問題に還元可能であり、準モodular性のもとで近似保証が得られる。
• クラスタベースの多方向カットで $h_i = i$ の場合、$\frac{4}{3}$ の近似因子で近似可能であり、ハイパーグラフ多方向分割問題における既知の結果と一致する。
• いくつかの未解決の問題が残っており、特に NES-HyperCut の複雑さや、グラフ還元可能性を必要としない非準モodularな分割関数が依然として可解である可能性が挙げられる。