[논문 리뷰] Approximately Stable Matchings with Budget Constraints

Yasushi Kawase, Atsushi Iwasaki|arXiv (Cornell University)|2017. 11. 17.

Game Theory and Voting Systems인용 수 6

한 줄 요약

이 논문은 병원이 정액급여 예산을 갖는 두 측 마이닝 시장에서 예산 제약 조건이 있는 새로운 프레임워크를 제안한다. 병원은 정원 제한 대신 고정된 급여 예산을 가진다. 두 가지 메커니즘을 제안하는데, 하나는 전략적 성질을 기부하여 $rac{1}{1 - ¯{s}}$의 최적 근사 비율을 달성하고, 다른 하나는 비례적 유틸리티 시장에서 의사에 대해 전략적 성질을 유지하면서 유한한 근사 비율을 확보한다. 두 메커니즘 모두 계약 크기 순서 정렬 기반의 순차적 선택 함수를 통해 효율적으로 근사 안정 매칭을 계산한다.

ABSTRACT

This paper considers two-sided matching with budget constraints where one side (firm or hospital) can make monetary transfers (offer wages) to the other (worker or doctor). In a standard model, while multiple doctors can be matched to a single hospital, a hospital has a maximum quota: the number of doctors assigned to a hospital cannot exceed a certain limit. In our model, a hospital instead has a fixed budget: the total amount of wages allocated by each hospital to doctors is constrained. With budget constraints, stable matchings may fail to exist and checking for the existence is hard. To deal with the nonexistence of stable matchings, we extend the "matching with contracts" model of Hatfield and Milgrom, so that it handles approximately stable matchings where each of the hospitals' utilities after deviation can increase by factor up to a certain amount. We then propose two novel mechanisms that efficiently return such a stable matching that exactly satisfies the budget constraints. In particular, by sacrificing strategy-proofness, our first mechanism achieves the best possible bound. Furthermore, we find a special case such that a simple mechanism is strategy-proof for doctors, keeping the best possible bound of the general case.

연구 동기 및 목표

• 두 측 마이닝 시장에서 예산 제약 조건 하에 안정 매칭이 존재하지 않는 문제를 해결하기 위해.
• 계약 기반 매칭 프레임워크를 확장하여 곱셈적 유틸리티 향상 하에 근사 안정 매칭을 처리하기 위해.
• 예산 제약 조건을 정확히 충족시키면서 동시에 차단 코али션의 최대 유틸리티 증가를 최소화하는 효율적인 메커니즘 설계하기 위해.
• 예산 제약 조건이 있는 매칭에서 전략적 성질과 근사 품질 사이의 트레이드오프를 탐색하기 위해.
• 일반 및 비례적 유틸리티 설정 모두에 대해 근사 비율의 날카로운 상한과 하한을 설정하기 위해.

제안 방법

• 안정성의 일반화로 $\alpha$-근사 정의를 도입하여, 병원이 유틸리티가 $\alpha$ 배 이상 향상되지 않는 한 이탈을 허용하지 않도록 한다.
• 크기 순서 정렬된 선택 함수를 사용하여 예산 제약 조건 하에서 계약을 크기 순서로 탐욕적으로 선택하는 비전략적 메커니즘을 위한 알고리즘 2와 알고리즘 4를 제안한다.
• 예산 활용도를 극대화하기 위해 계약 크기 순서로 증가하는 순서로 계약을 선택하는 순차적, 순서 불변, 크기 단조 증가 선택 함수인 알고리즘 5를 설계한다.
• 이러한 선택 함수를 사용하여 일반화된 기각 유예(Deferred Acceptance, DA) 메커니즘을 적용하여 다항 시간 내에 근사 안정 매칭을 계산한다.
• 알고리즘 5의 선택 함수가 $\frac{1}{1 - \overline{s}}$-근사임을 증명한다. 여기서 $\overline{s}$는 계약의 급여가 병원 예산에 대한 최대 비율을 의미한다.
• 알고리즘 5를 사용하여 비례적 유틸리티 케이스에서 의사에 대해 전략적 성질을 확보하면서도 유한한 근사 비율을 유지함을 확립한다.

실험 결과

연구 질문

• RQ1 예산 제약 조건 하에서 정확한 예산 충족을 보장하면서도 근사 안정 매칭을 계산할 수 있는 메커니즘을 설계할 수 있는가?
• RQ2 가산 유틸리티 설정에서 전략적 성질을 기부할 경우 도달 가능한 최고의 근사 비율은 무엇인가?
• RQ3 비례적 유틸리티 시장에서 의사에 대해 전략적 성질을 갖는 메커니즘이 존재하는가, 그리고 그 경우 유한한 근사 비율을 달성할 수 있는가?
• RQ4 선택 함수의 구조(예: 크기 단조성, 순차성)가 근사 보장에 어떤 영향을 미치는가?
• RQ5 일반 및 비례적 유틸리티 모델 모두에 대해 근사 비율의 날카로운 상한과 하한을 유도할 수 있는가?

주요 결과

• 비전략적 메커니즘은 $\frac{1}{1 - \overline{s}}$의 근사 비율을 달성하며, 이는 최적이며 하한과 정확히 일치한다.
• 비례적 유틸리티 시장에서 전략적 메커니즘은 $\frac{1}{1 - \overline{s}}$의 근사 비율을 달성하며, 이는 알려진 최고의 상한과 일치한다.
• 비례적 케이스에서 별도의 메커니즘이 1.62의 더 나은 근사 비율을 달성한다. 이는 상한과 하한 모두가 1.62이므로 날카로운 값이다.
• 알고리즘 5에서 정의된 선택 함수는 순차적, 순서 불변, 크기 단조 증가이며, $\frac{1}{1 - \overline{s}}$-근사임이 증명되었다.
• 알고리즘 5를 사용한 일반화된 DA 메커니즘은 의사에 대해 전략적 성질을 보장하며, $O(|X|\log|X|)$ 시간 내에 실행된다.
• 논문은 일반 가산 케이스에서 $\frac{1}{1 - \overline{s}}$의 경계가 날카로운 것을 입증하였으며, 동일 조건 하에 더 나은 경계는 존재하지 않는다는 것을 확립한다.