[論文レビュー] Lifting of Multicuts

Bjoern Andres|arXiv (Cornell University)|Mar 12, 2015

Advanced Graph Theory Research参考文献 4被引用数 10

ひとこと要約

本稿では、グラフ $G = (V, E)$ から、$E \subseteq E'$ を満たすスーパーグラフ $G' = (V, E')$ へのマルチカットの持ち上げ手順を導入する。この手順により、分解とマルチカットの1対1対応が保たれる。主な貢献は、持ち上げられたマルチカットの凸包が $\mathbb{R}^{E'}$ 内でフル次元の多面体をなすことの証明であり、その自明な面の特徴付けも行われる。

ABSTRACT

For every simple, undirected graph $G = (V, E)$, a one-to-one relation exists between the decompositions and the multicuts of $G$. A decomposition of $G$ is a partition $\Pi$ of $V$ such that, for every $U \in \Pi$, the subgraph of $G$ induced by $U$ is connected. A multicut of $G$ is an $M \subseteq E$ such that, for every (chordless) cycle $C \subseteq E$ of $G$, $|M \cap C| eq 1$. The multicut related to a decomposition is the set of edges that straddle distinct components. The characteristic function $x \in \{0, 1\}^E$ of a multicut $M = x^{-1}(1)$ of $G$ makes explicit, for every pair $\{v,w\} \in E$ of neighboring nodes, whether $v$ and $w$ are in distinct components. In order to make explicit also for non-neighboring nodes, specifically, for all $\{v,w\} \in E'$ with $E \subseteq E' \subseteq {V \choose 2}$, whether $v$ and $w$ are in distinct components, we define a lifting of the multicuts of $G$ to multicuts of $G' = (V, E')$. We show that, if $G$ is connected, the convex hull of the characteristic functions of those multicuts of $G'$ that are lifted from $G$ is an $|E'|$-dimensional polytope in $\mathbb{R}^{E'}$. We establish properties of trivial facets of this polytope.

研究の動機と目的

• ベースグラフからより大きな辺集合へのマルチカットの形式的持ち上げ機構を確立し、構造的および組合的性質を保つこと。
• 拡張された辺空間における持ち上げられたマルチカットの凸包の幾何的構造を分析すること。
• 持ち上げられたマルチカットの凸包によって形成される多面体の自明な面を特徴付けること。
• 元のグラフにおける分解とマルチカットの1対1対応を、より広い辺集合へと拡張すること。

提案手法

• グラフ $G = (V, E)$ のマルチカットの特性関数を、$E \subseteq E'$ を満たす $G' = (V, E')$ に持ち上げる操作を定義する。これにより、$E$ のみでなく $E'$ 内のすべてのノード対について、辺が異なるコンポONENTに属するかどうかが明示的に符号化される。
• 各マルチカットを $x \in \{0,1\}^E$ の $0$-$1$ ベクトルとして表現し、連結性制約を用いて $E'$ 内のすべてのペアについてコンポONENT属するかを決定することで、$x \in \{0,1\}^{E'}$ に拡張する。
• $\mathbb{R}^{E'}$ 内のすべての持ち上げられたマルチカットの凸包を構築し、$G$ が連結である場合にフル次元の多面体をなすことを証明する。
• 持ち上げられたマルチカット表現に内在する構造的制約に起因する自明な面を特定・特徴付ける。
• 持ち上げられたマルチカットが $G'$ においてマルチカット性を保つようにするため、$|M \cap C| \neq 1$ を満たす閉路の条件（非閉路条件）を用いる。
• 元のグラフ $G$ における分解とマルチカットの1対1対応を活用し、$G'$ において持ち上げられた対象が有効かつ一意であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ベースグラフ $G$ のマルチカットを、$E'$ にまで拡張する方法として、どのようにして組合的および幾何的性質を保ちながら体系的に拡張できるか？
• RQ2 持ち上げられたマルチカットの凸包の次元と幾何的構造は、$\mathbb{R}^{E'}$ 内でどのように特徴付けられるか？
• RQ3 持ち上げられたマルチカット多面体のどの面が自明であり、代数的および組合的観点からどのように特徴付けられるか？
• RQ4 $G'$ に拡張した場合に、持ち上げ操作が分解とマルチカットの1対1対応を保ち続けるか？
• RQ5 持ち上げられたマルチカットの凸包が $\mathbb{R}^{E'}$ 内でフル次元の多面体となる条件は何か？

主な発見

• ベースグラフ $G$ が連結である場合、持ち上げられたマルチカットの特性関数の凸包は $\mathbb{R}^{E'}$ 内でフル次元の多面体をなす。
• 持ち上げプロセスにより、分解とマルチカットの1対1対応が保たれ、$E'$ 内のすべてのノード対へと拡張される。
• 持ち上げられた多面体の自明な面が特定・特徴付けられ、持ち上げ表現に内在する制約に起因する。
• 持ち上げられたマルチカットは $G'$ においてマルチカット性を保ち、$G'$ のすべての非閉路 $C$ に対して $|M \cap C| \neq 1$ を満たす。
• 多面体の構造は持ち上げられたマルチカット表現によって完全に決定され、ベースグラフの分解構造から導かれる制約以外に追加制約はない。
• 持ち上げ操作により、$E$ の辺に限らず、$E'$ 内のすべてのペア $\{v,w\}$ についてコンポONENT属するかが一貫して符号化される。