[论文解读] On Treewidth and Stable Marriage

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

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

一句话总结

本文对四种稳定婚姻问题的 NP-hard 优化变体——性别平等稳定婚姻（SESM）、平衡稳定婚姻（BSM）、最大 SMT（max-SMT）和最小 SMT（min-SMT）——进行了全面的参数化复杂性分析，以树宽为参数。研究证明，当以原图的树宽为参数时，这四个问题均为 W[1]-难；当以旋转有向图的树宽为参数时，SESM 和 BSM 也为 W[1]-难。同时，本文提出了最优的固定参数可满足性（FPT）算法，时间复杂度为 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$，并在 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.

研究动机与目标

• 研究稳定婚姻问题四个核心 NP-hard 优化版本——SESM、BSM、max-SMT 和 min-SMT——的参数化复杂性。
• 使用树宽作为参数分析这些问题，重点关注原图和旋转有向图。
• 确定在树宽参数化下，这些问题是否存在高效的固定参数可满足性（FPT）算法。
• 在强指数时间假设（SETH）下，为 SESM 和 BSM 建立紧致的条件性下界。
• 为理解稳定匹配优化问题在树宽参数下的可解性极限，提供一个完整且系统的框架。

提出的方法

• 提出一种新颖的参数化归约框架，证明当以原图的树宽为参数时，SESM、BSM、max-SMT 和 min-SMT 均为 W[1]-难。
• 设计了非平凡的 FPT 算法，用于 SESM 和 BSM，其时间复杂度为 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$，参数化对象为旋转有向图的树宽。
• 采用复杂的编码技术，使用带权变量和约束，以在从 $s$-稀疏 $p$-CNF-SAT 到 BSM 和 SESM 实例的归约中模拟逻辑满足性。
• 利用基于 SETH 的下界论证，证明除非 SETH 不成立，否则任何算法都无法在时间 $(2 - \epsilon)^{\mathtt{tw}}n^{\mathcal{O}(1)}$ 内求解 SESM 或 BSM，其中 $\epsilon > 0$ 为任意固定常数。
• 引入辅助变量 $\gamma(i)$、$\widehat{\lambda}(i)$ 和 $\tau$，以编码整数约束并确保归约中解的精确性，从而保证 FPT 算法的正确性。
• 应用稳定匹配和旋转偏序集的结构特性，以限制解空间，并支持在树分解上进行高效的动态规划。

实验结果

研究问题

• RQ1 当以原图的树宽为参数时，性别平等稳定婚姻（SESM）问题是否为固定参数可满足性问题？
• RQ2 当以旋转有向图的树宽为参数时，能否在时间 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$ 内求解平衡稳定婚姻（BSM）问题？
• RQ3 在旋转有向图树宽参数化下，是否存在非平凡的 FPT 算法，使得 SESM 和 BSM 的运行时间在 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$ 以内？
• RQ4 能否在强指数时间假设（SETH）下，为 SESM 和 BSM 建立紧致的条件性下界？
• RQ5 对于以原图树宽为参数的 SESM 和 BSM 问题，$n^{\mathcal{O}(\mathtt{tw})}$ 时间复杂度的算法是否可能本质上是最优的？

主要发现

• 当以原图的树宽为参数时，稳定婚姻问题的四个优化变体——SESM、BSM、max-SMT 和 min-SMT——均为 W[1]-难。
• 对于 SESM 和 BSM，本文提出了在旋转有向图树宽参数化下运行时间复杂度为 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$ 的 FPT 算法。
• 本文证明，除非强指数时间假设（SETH）不成立，否则不存在任何算法能在时间 $(2 - \epsilon)^{\mathtt{tw}}n^{\mathcal{O}(1)}$ 内求解 SESM 或 BSM，其中 $\epsilon > 0$ 为任意固定常数。
• 在原图树宽参数化下，SESM 和 BSM 的 $n^{\mathcal{O}(\mathtt{tw})}$ 时间复杂度算法极有可能本质上是最优的，因为它们无法在 SETH 假设下被改进为 $(n^{\mathcal{O}(1)})^{(2 - \epsilon)^{\mathtt{tw}}}$ 的形式。
• 从 $s$-稀疏 $p$-CNF-SAT 到 BSM 和 SESM 的归约确保，若存在一个成本均衡的稳定匹配，则对应存在一个满足赋值，从而验证了 FPT 算法的正确性。
• 本研究在原图和旋转有向图树宽两种参数下，为 SESM 和 BSM 建立了完整且紧致的复杂性图景，解决了关于其参数化可解性的一些开放问题。