[논문 리뷰] Socially stable matchings in the Hospitals / Residents problem

Georgios Askalidis, Nicole Immorlica외 3명|arXiv (Cornell University)|2013. 03. 08.

Game Theory and Voting Systems참고 문헌 26인용 수 4

한 줄 요약

이 논문은 사회적 안정성 하에서 병원-수련의 문제(HRSS)를 제안하며, 차단 쌍(blocking pairs)이 사회 네트워크 관계에 의해 제한되는 모델이다. 유일하게 기존 사회적 유대 관계가 있는 쌍만이 매칭을 차단할 수 있다. 이는 최대 사회적 안정 매칭을 찾는 것이 NP-난이도임을 증명하지만, 3/2의 근사비를 갖는 것으로 나타나며, 서로 알고 있는 쌍의 수가 적은 경우에 대해 고정 매개변수 가능(FPT) 알고리즘을 제공한다.

ABSTRACT

In the Hospitals/Residents (HR) problem, agents are partitioned into hospitals and residents. Each agent wishes to be matched to an agent in the other set and has a strict preference over these potential matches. A matching is stable if there are no blocking pairs, i.e., no pair of agents that prefer each other to their assigned matches. Such a situation is undesirable as it could lead to a deviation in which the blocking pair form a private arrangement outside the matching. This however assumes that the blocking pair have social ties or communication channels to facilitate the deviation. Relaxing the stability definition to take account of the potential lack of social ties between agents can yield larger stable matchings. In this paper, we define the Hospitals/Residents problem under Social Stability (HRSS) which takes into account social ties between agents by introducing a social network graph to the HR problem. Edges in the social network graph correspond to resident-hospital pairs in the HR instance that know one another. Pairs that do not have corresponding edges in the social network graph can belong to a matching M but they can never block M. Relative to a relaxed stability definition for HRSS, called social stability, we show that socially stable matchings can have different sizes and the problem of finding a maximum socially stable matching is NP-hard, though approximable within 3/2. Furthermore we give polynomial time algorithms for three special cases of the problem.

연구 동기 및 목표

• 기존의 안정 매칭 이론이 실제 세계의 상황에서 사회적 유대 관계가 없으면서도 차단 쌍이 발생하지 않는 한계를 해결하기 위해.
• 사회 네트워크의 구조를 병원-수련의 문제에 통합하는 새로운 안정성 개념인 사회적 안정성(social stability)을 체계화하기 위해.
• 이 새로운 모델 하에서 최대 사회적 안정 매칭을 찾는 계산 복잡도를 조사하기 위해.
• 특히 서로 알고 있는 수련의-병원 쌍의 수가 적을 경우에 효율적인 알고리즘을 개발하기 위해.
• 사회적 안정 매칭의 구조적 및 알고리즘적 성질을 탐구하기 위해, 근사 가능성과 고정 매개변수 가능성 포함

제안 방법

• 기존 HR 인스턴스에 사회 네트워크 그래프를 추가하여 HRSS 문제를 모델링하며, 간선은 수련의와 병원 사이의 기존 사회적 유대를 나타낸다.
• 사회적 차단 쌍(social blocking pair)을 정의한다: 서로를 현재의 매칭보다 선호하며, 사회 네트워크 그래프에서 연결되어 있는 수련의-병원 쌍이다.
• 사회적 안정성의 개념을 도입한다: 어떤 매칭이 사회적 안정성이 있음은 그러한 사회적 차단 쌍이 존재하지 않을 때를 의미한다.
• 기존에 알려진 NP-난이도 문제로의 감소를 통해 최대 사회적 안정 매칭을 찾는 문제가 NP-난이도임을 증명한다.
• 변형된 그래프에서 최대 무게 매칭과 카디널리티 증강을 기반으로 한 3/2-근사 알고리즘을 제안한다.
• 서로 알고 있는 쌍의 수가 상수 k로 제한되는 경우에 대해, O(2^k)개의 리프 노드를 가진 决책 트리에 기반한 경로 기반 탐색을 사용하여 고정 매개변수 가능(FPT) 알고리즘을 설계한다.

실험 결과

연구 질문

• RQ1 에이전트 간의 사회적 유대를 고려한 완화된 안정성 개념이 기존 안정성보다 더 큰 매칭을 도출할 수 있는가?
• RQ2 HRSS 모델에서 최대 사회적 안정 매칭을 찾는 문제의 계산 복잡도는 무엇인가?
• RQ3 최대 사회적 안정 매칭을 찾는 문제는 상수 요소 내에서 근사 가능한가?
• RQ4 서로 알고 있는 쌍의 수가 적을 경우 HRSS에 대해 고정 매개변수 가능 알고리즘을 개발할 수 있는가?
• RQ5 사회적 안정 매칭의 구조는 기존 HR의 안정 매칭과 어떻게 비교되는가?

주요 결과

• HRSS에서 최대 사회적 안정 매칭을 찾는 문제는 사회 네트워크가 희박하더라도 여전히 NP-난이도이다.
• 최대 사회적 안정 매칭 문제에 대해 3/2-근사 알고리즘이 존재하며, 상수 요소 보장을 제공한다.
• 서로 알고 있는 쌍의 수가 상수 k로 제한될 경우, 고정 매개변수 가능 알고리즘이 O(c_max * m * sqrt(n_1 + C)) 시간 내에 최대 사회적 안정 매칭을 계산한다.
• 서로 알고 있는 쌍의 수가 상수일 경우 알고리즘이 다항 시간 내에 작동하므로, 소규모 또는 구조화된 HRSS 인스턴스에 대해 효율적이다.
• 오직 서로 모르는 쌍의 수만 상수로 제한될 경우에도 문제의 복잡도가 그대로 유지되어 일반적인 경우의 본질적 난이도를 보여준다.
• 사회적 안정 매칭의 집합 크기는 다양할 수 있으며, 고전적 HR의 안정 매칭 라티스와 유사한 구조적 특성은 알려져 있지 않다.