[논문 리뷰] Matchings under Preferences: Strength of Stability and Trade-offs

Jiehua Chen, Piotr Skowron외 1명|arXiv (Cornell University)|2019. 02. 15.

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

한 줄 요약

이 논문은 선호도 하에 매칭의 두 가지 정량적 안정성 개념—내구성과 근접 안정성—을 소개한다. 내구성은 최대 d개의 선호도 목록 교환 후에도 매칭이 안정성을 유지하도록 강화한 고전적 안정성의 개념이며, 근접 안정성은 최대 d회의 교환 후 안정성이 유지되도록 완화한 개념이다. 주요 기여는 사회적으로 최적의 내구성 있는 매칭을 찾는 다항시간 알고리즘을 제안하는 것이다. 반면, 최적의 근접 안정성 매칭을 찾는 것은 계산적으로 어렵다는 것이 입증된다.

ABSTRACT

We propose two solution concepts for matchings under preferences: robustness and near stability. The former strengthens while the latter relaxes the classic definition of stability by Gale and Shapley (1962). Informally speaking, robustness requires that a matching must be stable in the classic sense, even if the agents slightly change their preferences. Near stability, on the other hand, imposes that a matching must become stable (again, in the classic sense) provided the agents are willing to adjust their preferences a bit. Both of our concepts are quantitative; together they provide means for a fine-grained analysis of stability for matchings. Moreover, our concepts allow to explore the trade-offs between stability and other criteria of societal optimality, such as the egalitarian cost and the number of unmatched agents. We investigate the computational complexity of finding matchings that implement certain predefined trade-offs. We provide a polynomial-time algorithm that given agents' preferences returns a socially optimal robust matching, and we prove that finding a socially optimal and nearly stable matching is computationally hard.

연구 동기 및 목표

• 고전적 안정성의 한계를 해결하기 위해, 이는 이진적이며 선호도의 불확실성이나 미세한 변화를 반영하지 못한다는 점이다.
• 소규모 선호도 변동이 발생하더라도 안정성이 유지되도록 보장하는 내구성이라는 강화된 안정성 개념을 제안한다.
• 소규모 선호도 조정 후 안정성이 유지되도록 允許하는 약화된 안정성 개념인 근접 안정성을 도입한다.
• 균등 비용 및 미매칭 인원 수와 같은 사회적 최적성 기준과 안정성 강도 간의 상호 교환 관계를 분석한다.
• 안정성 강도와 사회적 최적성 기준을 균형 잡는 매칭을 찾는 계산 복잡도를 조사한다.

제안 방법

• d-내구성 정의: 어떤 매칭이 최대 d회의 선호도 목록 교환 후에도 안정성을 유지하면, 그 매칭은 d-내구성이라고 한다.
• 국소적 d-근접 안정성 정의: 각 개인의 선호도 목록에서 최대 d회의 교환 후 안정성이 확보되면, 그 매칭은 국소적 d-근접 안정성이라고 한다.
• 핵심화 기법을 사용하여 문제 크기를 축소시키며, 어떤 안정 매칭에서 매칭된 인원 수가 최대 2n_m인 문제 핵심을 형성함을 보여준다.
• 교환 거리 d_G 이내의 가능한 모든 선호도 프로파일에 대해 반복적 열거를 수행하여 안정성 및 완전 매칭 여부를 검사한다.
• 사회적으로 최적의 내구성 매칭을 찾는 것이 전용 알고리즘을 통해 다항시간 내에 해결 가능함을 증명한다.
• 사회적으로 최적의 근접 안정성 매칭을 찾는 것은 NP-난이도이며, 심지어 매개변수 복잡도 이론 상에서도 근사화하기 어렵다는 것을 입증한다.

실험 결과

연구 질문

• RQ1 소규모 선호도 변동에 견딜 수 있는 더 강력한 안정성 개념을 정의할 수 있는가?
• RQ2 소규모 선호도 조정 후 안정성이 확보되는 더 약한 안정성 개념을 정의할 수 있는가?
• RQ3 안정성 강도와 사회적 최적성의 균형을 이루는 매칭을 찾는 계산 복잡도는 어떠한가?
• RQ4 균등 비용 및 미매칭 인원 수와 같은 사회적 최적성 측정 기준과 안정성 강도 간의 상호 교환 관계는 무엇인가?
• RQ5 근접 안정성은 동일한 선호도나 비이분할적 설정(예: 안정 방학 문제)으로 일반화될 수 있는가?

주요 결과

• 균등 비용과 같은 사회적 기준을 최적화하는 데에도 불구하고, 사회적으로 최적의 d-내구성 매칭을 계산하는 다항시간 알고리즘이 존재한다.
• 사회적으로 최적의 국소적 d-근접 안정성 매칭을 찾는 것은 강한 의미에서 계산적으로 어렵고, 매개변수 복잡도 이론 상에서도 어렵다.
• 근접 안정성 매칭을 찾는 문제는 최대 2n_m 크기의 문제 핵심을 가진다. 여기서 n_m은 모든 안정 매칭에서 매칭된 인원 수이다.
• 근접 안정성에 사용된 핵심화 기법은 균등 비용의 경우로 확장되지 않으며, 이는 최적의 균등 안정 매칭에서 미매칭 인원이 매칭될 수 있기 때문이다.
• 내구성은 동일한 선호도가 존재하는 경우에도 여전히 다항시간 내에 해결 가능하지만, 동일한 선호도 하에서 근접 안정성의 복잡도는 아직 미해결로 남아 있다.
• 이 프레임워크는 입력 프로파일에서 교환 거리가 제한된 모델 아래에서 기존의 추가 α-안정성 및 r-최대 안정성 개념을 통합한다.