[論文レビュー] On Treewidth and Stable Marriage

Sushmita Gupta, Saket Saurabh+1 more|arXiv (Cornell University)|Jul 17, 2017

Advanced Graph Theory Research参考文献 32被引用数 7

ひとこと要約

本稿は、木幅をパラメータとして用いた、4つのNP困難な安定結婚問題の最適化バージョン（性別均等安定結婚（SESM）、バランス型安定結婚（BSM）、max-SMT、min-SMT）の包括的なパrameterized複雑性解析を提供する。本稿では、原始的グラフの木幅をパラメータとした場合、4つの問題すべてがW[1]-困難であることを示し、SESMおよびBSMについては回帰ダイアログの木幅をパラメータとした場合にもW[1]-困難であることを示している。一方で、時間 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$ で動作する最適なFPTアルゴリズムを提示し、SETHに基づくタイトな条件付き下界を証明している。

ABSTRACT

Stable Marriage is a fundamental problem to both computer science and economics. Four well-known NP-hard optimization versions of this problem are the Sex-Equal Stable Marriage (SESM), Balanced Stable Marriage (BSM), max-Stable Marriage with Ties (max-SMT) and min-Stable Marriage with Ties (min-SMT) problems. In this paper, we analyze these problems from the viewpoint of Parameterized Complexity. We conduct the first study of these problems with respect to the parameter treewidth. First, we study the treewidth $\mathtt{tw}$ of the primal graph. We establish that all four problems are W[1]-hard. In particular, while it is easy to show that all four problems admit algorithms that run in time $n^{O(\mathtt{tw})}$, we prove that all of these algorithms are likely to be essentially optimal. Next, we study the treewidth $\mathtt{tw}$ of the rotation digraph. In this context, the max-SMT and min-SMT are not defined. For both SESM and BSM, we design (non-trivial) algorithms that run in time $2^{\mathtt{tw}}n^{O(1)}$. Then, for both SESM and BSM, we also prove that unless SETH is false, algorithms that run in time $(2-ε)^{\mathtt{tw}}n^{O(1)}$ do not exist for any fixed $ε>0$. We thus present a comprehensive, complete picture of the behavior of central optimization versions of Stable Marriage with respect to treewidth.

研究の動機と目的

• 安定結婚問題の4つの中心的NP困難な最適化バージョン（SESM、BSM、max-SMT、min-SMT）のパrameterized複雑性を調査すること。
• 原始的グラフおよび回帰ダイアログの両方をパラメータとして、これらの問題を木幅を用いて分析すること。
• これらの問題に対して、効率的な固定パrameter可 tractable（FPT）アルゴリズムが存在するかどうかを特定すること。
• Strong Exponential Time Hypothesis（SETH）の下で、SESMおよびBSMについてタイトな条件付き下界を確立すること。
• 安定マッチング最適化問題の扱いやすさの限界を、木幅に関して包括的かつ体系的な枠組みで理解すること。

提案手法

• 原始的グラフの木幅をパラメータとした場合のSESM、BSM、max-SMT、min-SMTのW[1]-困難性を示す、新しいパrameterized還元フレームワークを提唱する。
• 回帰ダイアログの木幅をパラメータとした場合に、時間 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$ で動作する非自明なFPTアルゴリズムを設計し、SESMおよびBSMを解く。
• 論理的充足性を模倣するために、重み付き変数および制約を用いた複雑な符号化技術を用い、$s$-Sparse $p$-CNF-SATからBSMおよびSESMのインスタンスへの還元を実現する。
• SETHに基づく下界の議論を用いて、任意の $\epsilon > 0$ に対して、SESMまたはBSMを時間 $(2 - \epsilon)^{\mathtt{tw}}n^{\mathcal{O}(1)}$ で解くアルゴリズムは存在しないことを証明する。
• 整数制約を符号化し、正確な解を強制するために、補助変数 $\gamma(i)$、$\widehat{\lambda}(i)$、および $\tau$ を導入し、FPTアルゴリズムの正しさを保証する。
• 安定マッチングおよび回帰ポセットの構造的性質を用いて、解空間を制限し、木分解上の効率的な動的計画法を可能にする。

実験結果

リサーチクエスチョン

• RQ1 性別均等安定結婚（SESM）問題は、原始的グラフの木幅をパラメータとした場合、固定パラメータ可 tractable であるか？
• RQ2 バランス型安定結婚（BSM）問題は、回帰ダイアログの木幅をパラメータとした場合、時間 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$ で解けるか？
• RQ3 SESMおよびBSMに対して、回帰ダイアログの木幅をパラメータとした場合に、非自明なFPTアルゴリズムが時間 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$ で動作するか？
• RQ4 Strong Exponential Time Hypothesis（SETH）の下で、SESMおよびBSMについてタイトな条件付き下界を証明できるか？
• RQ5 原始的グラフの木幅をパラメータとした場合に、SESMおよびBSMの $n^{\mathcal{O}(\mathtt{tw})}$-時間アルゴリズムが、おそらく本質的に最適であると考えられるか？

主な発見

• SESM、BSM、max-SMT、min-SMTの4つの最適化バージョンは、すべて原始的グラフの木幅をパラメータとした場合にW[1]-困難である。
• SESMおよびBSMについては、回帰ダイアログの木幅をパラメータとした場合に、時間 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$ で動作するFPTアルゴリズムが提示されている。
• Strong Exponential Time Hypothesis（SETH）が誤りであると仮定しない限り、任意の固定された $\epsilon > 0$ に対して、SESMまたはBSMを時間 $(2 - \epsilon)^{\mathtt{tw}}n^{\mathcal{O}(1)}$ で解くアルゴリズムは存在しないことが証明されている。
• 原始的グラフの木幅をパラメータとした場合に、SESMおよびBSMの $n^{\mathcal{O}(\mathtt{tw})}$-時間アルゴリズムは、おそらく本質的に最適であり、SETHの下では $(n^{\mathcal{O}(1)})^{(2 - \epsilon)^{\mathtt{tw}}}$ にまで改善できない。
• $s$-Sparse $p$-CNF-SATからBSMおよびSESMへの還元により、バランス型コストを持つ安定マッチングが存在することは、充足割り当てが存在することを示しており、FPTアルゴリズムの正しさが保証されている。
• 本研究は、原始的グラフおよび回帰ダイアログの両方の木幅に関して、SESMおよびBSMの完全でタイトな複雑性の図を確立し、それらのパラメータ化された可 tractability に関する未解決の問題を解決した。