[論文レビュー] Maximum matching width: new characterizations and a fast algorithm for dominating set

Jisu Jeong, Sigve Hortemo Sæther+1 more|arXiv (Cornell University)|Jul 9, 2015

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

ひとこと要約

本稿では、木における部分木の交差を用いた最大マッチング幅（mm-width）の新しい特徴付けを導入し、木幅と分岐幅の両方の側面を統合する。mm-width $ k $ を用いた $ O^*(8^k) $ の支配集合問題のアルゴリズムを提示しており、$ \text{tw}(G) > 1.549 \cdot \text{mmw}(G) $ のとき、$ O^*(3^{\text{tw}}) $ のアルゴリズムを上回り、特定のグラフクラスにおいてより良い指数時間の上限を提供する。

ABSTRACT

We give alternative definitions for maximum matching width, e.g. a graph $G$ has $\operatorname{mmw}(G) \leq k$ if and only if it is a subgraph of a chordal graph $H$ and for every maximal clique $X$ of $H$ there exists $A,B,C \subseteq X$ with $A \cup B \cup C=X$ and $|A|,|B|,|C| \leq k$ such that any subset of $X$ that is a minimal separator of $H$ is a subset of either $A, B$ or $C$. Treewidth and branchwidth have alternative definitions through intersections of subtrees, where treewidth focuses on nodes and branchwidth focuses on edges. We show that mm-width combines both aspects, focusing on nodes and on edges. Based on this we prove that given a graph $G$ and a branch decomposition of mm-width $k$ we can solve Dominating Set in time $O^*({8^k})$, thereby beating $O^*(3^{\operatorname{tw}(G)})$ whenever $\operatorname{tw}(G) > \log_3{8} imes k \approx 1.893 k$. Note that $\operatorname{mmw}(G) \leq \operatorname{tw}(G)+1 \leq 3 \operatorname{mmw}(G)$ and these inequalities are tight. Given only the graph $G$ and using the best known algorithms to find decompositions, maximum matching width will be better for solving Dominating Set whenever $\operatorname{tw}(G) > 1.549 imes \operatorname{mmw}(G)$.

研究の動機と目的

• ノード中心とエッジ中心の両方の側面を統合する、最大マッチング幅（mm-width）の新しい特徴付けを開発すること。
• mm-width をパラメータとして用いた支配集合問題の、より高速な固定パラメータ tractable (FPT) アルゴリズムを設計すること。
• グラフ $ G $ に対して $ \text{tw}(G) > 1.549 \cdot \text{mmw}(G) $ が成り立つ場合、mm-width が支配集合問題の指数時間性能を木幅よりも向上させられることを示すこと。

提案手法

• 各頂点が部分木に対応する木表現を用いて mm-width を定義し、幅は任意の頂点またはエッジを共有する部分木の最大数によって制限される。
• 代替的特徴付けを導入：グラフ $ G $ が $ \text{mmw}(G) \leq k $ を満たすとは、$ H $ の各最大クリーク $ X $ がサイズがそれぞれ $ k $ 以下の三つの集合 $ A, B, C $ に分割され、$ H $ のすべての最小分離集合が $ A, B, C $ のいずれかに含まれるような弦的グラフ $ H $ の部分グラフであることと同値である。
• mm-width $ k $ の分岐分解上で動的計画法を用い、頂点部分集合上の関数を用いて支配状態を追跡する。ここで $ |A|, |B|, |C| \leq k $ である。
• 高速な部分集合畳み込み技術を用いて状態遷移を効率的に計算し、実行時間を $ O^*(8^k) $ で抑えられる。
• 二部グラフにおける一意な最小頂点被覆の単調性の性質を活用し、新たな特徴付けを導出する。
• mm-width が FPT の意味で木幅と分岐幅と同等であるが、特定のグラフ族に対してはより緊密な上限を与えることを示す。

実験結果

リサーチクエスチョン

• RQ1 mm-width は、木における部分木の交差を通じて特徴付け可能であり、木幅と分岐幅のノードおよびエッジ中心の制約を統合できるか？
• RQ2 グラフ $ G $ に対して $ \text{tw}(G) > 1.549 \cdot \text{mmw}(G) $ が成り立つ場合、mm-width は木幅を上回る支配集合問題の高速化を可能にするか？
• RQ3 弦的スーパーグラフとクリーク分割を用いた、最小分離集合を捉える mm-width の構造的特徴付けは存在するか？
• RQ4 新しい特徴付けを用いて、mm-width 分解を FPT 時間で計算可能か？
• RQ5 mm-width 用の動的計画法フレームワークは、他の $ (\sigma, \rho) $-問題へ一般化可能か？

主な発見

• 本稿では、$ \text{mmw}(G) \leq \text{tw}(G) + 1 \leq 3 \cdot \text{mmw}(G) $ が示され、タイトな境界が得られ、mm-width が頑健なパラメータであることが示された。
• mm-width の新しい特徴付けが与えられた：$ G $ が $ \text{mmw}(G) \leq k $ を満たすとは、$ H $ の各最大クリーク $ X $ がサイズがそれぞれ $ k $ 以下の三つの部分集合 $ A, B, C $ に分割され、$ H $ のすべての最小分離集合が $ A, B, C $ のいずれかに含まれるような弦的グラフ $ H $ の部分グラフであることと同値である。
• mm-width 分解を用いた支配集合問題に対する $ O^*(8^k) $ アルゴリズムが達成され、$ \text{tw}(G) > \log_3 8 \cdot k \approx 1.893k $ のとき、$ O^*(3^{\text{tw}}) $ のアルゴリズムを上回る。
• 与えられたグラフ $ G $ のみの場合、総実行時間は $ O^*(2^{9 \cdot \text{mmw}(G)}) $ となり、$ \text{tw}(G) > 1.549 \cdot \text{mmw}(G) $ のとき、木幅近似による $ O^*(3^{3.666 \cdot \text{tw}(G)}) $ の境界を上回る。
• アルゴリズムは $ A, B, C \subseteq X $ 上の状態関数を用いた動的計画法であり、部分集合のサイズ制約により実行時間が $ O^*(2^{3k}) $ に抑えられ、結果として $ O^*(8^k) $ が達成される。
• 木に基づく部分木表現により、mm-width が木幅と分岐幅のノードおよびエッジ中心の側面を統合しており、グラフパラメータの統一的視点を提供する。