[논문 리뷰] How Hard Is It to Satisfy (Almost) All Roommates?

Jiehua Chen, Danny Hermelin외 2명|arXiv (Cornell University)|2017. 07. 13.

Game Theory and Voting Systems참고 문헌 43인용 수 5

한 줄 요약

이 논문은 안정된 방배정 문제의 두 최적화 변종을 조사한다: 균등 안정된 방배정(egalitarian cost γ를 최소화함)과 최소 차단 쌍 안정된 방배정(차단 쌍 수 β를 최소화함). 균등 안정된 방배정은 γ를 매개변수로 삼을 때 고정 매개변수 복잡도(FPT)임을 증명하며, 최소 차단 쌍 안정된 방배정은 선호 목록의 길이가 최대 다섯인 경우조차도 W[1]-경하므로, 두 변종 간의 근본적인 복잡도 이분법을 드러낸다.

ABSTRACT

The classic Stable Roommates problem (the non-bipartite generalization of the well-known Stable Marriage problem) asks whether there is a stable matching for a given set of agents, i.e. a partitioning of the agents into disjoint pairs such that no two agents induce a blocking pair. Herein, each agent has a preference list denoting who it prefers to have as a partner, and two agents are blocking if they prefer to be with each other rather than with their assigned partners. Since stable matchings may not be unique, we study an NP-hard optimization variant of Stable Roommates, called Egal Stable Roommates, which seeks to find a stable matching with a minimum egalitarian cost gamma, i.e. the sum of the dissatisfaction of the agents is minimum. The dissatisfaction of an agent is the number of agents that this agent prefers over its partner if it is matched; otherwise it is the length of its preference list. We also study almost stable matchings, called Min-Block-Pair Stable Roommates, which seeks to find a matching with a minimum number beta of blocking pairs. Our main result is that Egal Stable Roommates parameterized by gamma is fixed-parameter tractable, while Min-Block-Pair Stable Roommates parameterized by beta is W[1]-hard, even if the length of each preference list is at most five.

연구 동기 및 목표

• 에이전트의 불만의 합을 최소화하는 안정된 방배정 문제의 최적화 변종인 균등 안정된 방배정의 고정 매개변수 복잡도를 연구하기 위해.
• 안정된 매칭이 존재하지 않을 경우 차단 쌍 수를 최소화하는 매칭을 찾는 문제인 최소 차단 쌍 안정된 방배정의 복잡도를 조사하기 위해.
• 특히 선호 목록 길이가 유한한 조건 하에서 이 두 최적화 변종의 고정 매개변수 가용성 경계를 명확히 하기 위해.
• 예를 들어 최소 차단 에이전트 안정된 방배정과 같은 관련 문제의 복잡도에 대한 열린 질문을 해결하기 위해, 날카운 경계 결과와 알고리즘을 제공하기 위해.

제안 방법

• 균등 비용 γ를 매개변수로 삼는 균등 안정된 방배정에 대해 고정 매개변수 복잡도(FPT) 알고리즘을 제안하며, 인스턴스 크기를 O(γ²)로 줄이기 위해 커널화를 사용한다.
• 최소 차단 쌍 안정된 방배정의 W[1]-경하성을 보이기 위해 다색 독립집합 문제에서의 감소를 활용한다. 이는 선호 목록의 길이가 최대 다섯인 경우에도 성립한다.
• 안정된 방배정 설정에서 독립집합 해를 시뮬레이션하기 위해 특수 설계된 정점 선택 및 검증 가젯을 설계한다.
• 최소 차단 에이전트 안정된 방배정에 대해 추측 기반 알고리즘을 설계하며, 가능한 차단 에이전트를 나열하고 Abraham 등 [6]의 서브루틴을 통해 후보 차단 쌍을 검증한다.
• 지수 시간 가설(ETH)을 적용하여, 최소 차단 쌍 안정된 방배정에 대해 f(β)·no(β)-시간 알고리즘이 존재하지 않음을 주장한다. ETH가 성립하지 않는 한 말이다.
• 선호 목록의 구조적 성질과 차단 쌍 정의를 활용하여 감소 및 경하성 증명의 정확성을 보장한다.

실험 결과

연구 질문

• RQ1 균등 안정된 방배정은 균등 비용 γ를 매개변수로 삼을 때 고정 매개변수 복잡도(FPT)인가?
• RQ2 선호 목록 길이가 유한한 조건 하에서도 최소 차단 쌍 안정된 방배정은 차단 쌍 수 β를 매개변수로 삼을 때 W[1]-경하인가?
• RQ3 균등 안정된 방배정의 고정 매개변수 복잡도는 선호 목록에 동점이 있는 경우로 확장될 수 있는가?
• RQ4 균등 안정된 방배정를 해결하는 데 있어서 가능한 가장 날카운 실행 시간은 무엇이며, 현재의 FPT 알고리즘이 최적인가?
• RQ5 최소 차단 에이전트 변종 안정된 방배정은 다항식 커널을 갖는가, 아니면 역시 W[1]-경하인가?

주요 결과

• 균등 안정된 방배정은 균등 비용 γ를 매개변수로 삼을 때 고정 매개변수 복잡도(FPT)이며, 크기가 O(γ²)인 커널을 갖는다.
• 최소 차단 쌍 안정된 방배정은 β를 매개변수로 삼을 때 W[1]-경하이며, 선호 목록의 길이가 최대 다섯인 경우에도 성립한다.
• 최소 차단 쌍 안정된 방배정의 W[1]-경하성 결과는 날카로운 것으로, 하한선이 현재 알려진 최적의 근사 및 고정 매개변수 복잡도 경계와 일치한다.
• 다색 독립집합 문제에서 최소 차단 쌍 안정된 방배정으로의 감소는 Abraham 등 [6, Lemma 4]에서 제시한 β에 대한 하한선이 날카로운 것을 보여준다.
• 최소 차단 에이전트 안정된 방배정은 선호 목록의 길이가 최대 다섯인 경우에도 η(차단 에이전트 수)에 대해 NP-난이도이자 W[1]-경하이다.
• 최소 차단 에이전트 안정된 방배정에 대해 O(2η² · nη+2)의 실행 시간을 갖는 다항식 시간 알고리즘이 존재한다. 이는 차단 에이전트와 쌍을 추측하고, Abraham 등 [6]의 서브루틴을 통해 검증하는 방식이다.