[논문 리뷰] On Treewidth and Stable Marriage

Sushmita Gupta, Saket Saurabh외 1명|arXiv (Cornell University)|2017. 07. 17.

Advanced Graph Theory Research참고 문헌 32인용 수 7

한 줄 요약

이 논문은 안정 결혼 문제의 네 가지 NP-난이도 최적화 변형—성별 균형 안정 결혼(SESM), 균형 안정 결혼(BSM), max-SMT, min-SMT—에 대해 트리폭을 매개변수로 삼아 체계적인 매개변수 복잡도 분석을 수행한다. 이는 원시 그래프의 트리폭에 대해 네 문제 모두가 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.

연구 동기 및 목표

• 안정 결혼 문제의 네 가지 핵심적인 NP-난이도 최적화 변형—SESM, BSM, max-SMT, min-SMT—의 매개변수 복잡도를 조사하는 것.
• 원시 그래프와 회전 방향 그래프 양쪽 모두에 대해 트리폭을 매개변수로 사용하여 이 문제들을 분석하는 것.
• 이 문제들에 대해 효율적인 고정 매개변수 다항시간(FPT) 알고리즘이 트리폭 매개변수화 하에 존재하는지 판단하는 것.
• 강력한 지수 시간 가설(SETH) 기반 조건 하에서 SESM 및 BSM에 대해 날카로운 하한을 설정하는 것.
• 트리폭 기반으로 안정 매칭 최적화 문제의 가용성 한계를 이해하기 위한 완전하고 체계적인 프레임워크를 제공하는 것.

제안 방법

• 원시 그래프의 트리폭에 대해 SESM, BSM, max-SMT, min-SMT의 W[1]-난이도를 증명하기 위한 새로운 매개변수화 감소 프레임워크를 제안한다.
• 회전 방향 그래프의 트리폭에 대해 SESM 및 BSM에 대해 시간 복잡도 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$ 내에 작동하는 비정상적인 FPT 알고리즘을 설계한다.
• s-희박 p-CNF-SAT에서 BSM 및 SESM 인스턴스로의 감소를 위해 가중치 변수와 제약 조건을 복잡하게 인코딩하여 논리적 만족 조건을 시뮬레이션한다.
• SETH 기반 하한 증명을 통해, 어떤 $\epsilon > 0$ 에 대해서도 $(2 - \epsilon)^{\mathtt{tw}}n^{\mathcal{O}(1)}$ 시간 내에 SESM 또는 BSM을 해결할 수 있는 알고리즘이 존재하지 않음을 증명한다. 이는 SETH가 참이 아닐 경우에 한하여 성립한다.
• 정수 제약 조건을 인코딩하고 정확한 해를 보장하기 위해 보조 변수 $\gamma(i)$, $\widehat{\lambda}(i)$, 및 $\tau$ 를 도입하여 감소의 정확성을 확보한다.
• 안정 매칭과 회전 포스의 구조적 성질을 활용하여 해 공간을 제한하고 트리 분해 기반 동적 프로그래밍을 효율적으로 수행할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 원시 그래프의 트리폭에 대해 성별 균형 안정 결혼(SESM) 문제는 고정 매개변수 다항시간(FPT) 문제인가?
• RQ2 회전 방향 그래프의 트리폭에 대해 균형 안정 결혼(BSM) 문제는 시간 복잡도 $2^{\mathtt{tw}}n^{\mathcal{O}(1)}$ 내에 해결될 수 있는가?
• RQ3 SESM 및 BSM에 대해 회전 방향 그래프의 트리폭 기반으로 비정상적인 FPT 알고리즘이 존재하는가? 이 알고리즘의 실행 시간은 $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)이 참이 아니라고 가정할 경우, 어떤 고정된 $\epsilon > 0$ 에 대해서도 $(2 - \epsilon)^{\mathtt{tw}}n^{\mathcal{O}(1)}$ 시간 내에 SESM 또는 BSM을 해결할 수 있는 알고리즘이 존재하지 않음을 증명한다.
• 원시 그래프의 트리폭 기반으로 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에 대해 완전하고 날카로운 복잡도 그림을 설정하여, 이들의 매개변수 복잡도에 대한 열린 질문들을 해결한다.