[논문 리뷰] Stable marriage problems with quantitative preferences

Maria Pini, Francesca Rossi외 2명|arXiv (Cornell University)|2010. 07. 29.

Game Theory and Voting Systems참고 문헌 13인용 수 7

한 줄 요약

이 논문은 수치적 선호도를 갖는 안정적 배부 문제에 대해 새로운 안정성 및 최적성 개념을 제안한다. 여기서 개인들은 엄격한 순위가 아닌 수치적 점수를 할당한다. 이는 갈레-셰플리 알고리즘을 점수 차이(α-안정성)와 연결 강도(연결-가산 및 연결-최대 안정성) 기반으로 수정하여 안정적이고 최적의 매칭을 찾는 데 응용한다. 이로써 이러한 해법은 고전적 알고리즘의 수정된 버전을 통해 효율적으로 계산 가능하며, 동점이 없는 선호도 조건에서는 유일한 최적 해가 존재함을 보여준다.

ABSTRACT

The stable marriage problem is a well-known problem of matching men to women so that no man and woman, who are not married to each other, both prefer each other. Such a problem has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools or more generally to any two-sided market. In the classical stable marriage problem, both men and women express a strict preference order over the members of the other sex, in a qualitative way. Here we consider stable marriage problems with quantitative preferences: each man (resp., woman) provides a score for each woman (resp., man). Such problems are more expressive than the classical stable marriage problems. Moreover, in some real-life situations it is more natural to express scores (to model, for example, profits or costs) rather than a qualitative preference ordering. In this context, we define new notions of stability and optimality, and we provide algorithms to find marriages which are stable and/or optimal according to these notions. While expressivity greatly increases by adopting quantitative preferences, we show that in most cases the desired solutions can be found by adapting existing algorithms for the classical stable marriage problem.

연구 동기 및 목표

• 고전적 안정적 배부 문제의 한계를 해결하기 위해, 질적 선호 순위에 의존하고 선호의 강도를 표현할 수 없는 문제를 다루기 위함.
• 수익, 비용, 또는 효용과 같이 자연스럽게 수치적인 선호도를 갖는 현실 세계의 시나리오를 모델링하기 위함.
• 점수 차이와 쌍의 연결 강도를 고려한 새로운 안정성 및 최적성 개념인 α-안정성과 연결 기반 안정성 정의하기.
• 이러한 새로운 기준에 따라 안정적이고 최적의 매칭을 효율적으로 계산할 수 있는 알고리즘 개발하기.
• 새로운 안정성 개념을 고전적 안정성과 비교하여, 더 표현력이 풍부하고 다른 안정적 매칭을 도출할 수 있음을 보여주기 위함.

제안 방법

• 두 잠재적 파artner에 대해 개인이 할당한 점수의 차이를 기반으로 한 새로운 안정성 개념인 α-안정성 제안. 이는 어떤 쌍이 자신의 현재 파artner보다 모두가 임계값 이상의 점수 차이로 선호하는 경우에만 차단 쌍으로 간주되도록 보장한다.
• 연결-가산 안정성 및 연결-최대 안정성 결혼을 도입. 여기서 안정성은 남성과 여성 쌍 간의 연결 강도(즉, 점수)에 기반하여 정의된다.
• 부분 선호 순서를 선형화하기 위해 투표 규칙을 사용하는 렉스-최적성 정의. 이를 통해 고유한 최적의 안정적 매칭을 선택한다.
• 고전적 갈레-셰플리 알고리즘을 변환된 선호 프로파일에 적용하도록 수정: 연결-가산 안정성의 경우 Linka(P), 연결-최대 안정성의 경우 Linkm(P).
• Linka(P) 및 Linkm(P)에서 부분 순서의 선형화를 통해 갈레-셰플리 알고리즘을 적용하고, 새로운 안정성 기준 하에서 남성 최적의 안정적 매칭을 계산한다.
• Linka(P) 또는 Linkm(P)에 동점이 없을 경우, 유도되는 매칭은 고유하며 가능한 한 높은 연결 강도를 갖는다.

실험 결과

연구 질문

• RQ1 선호가 엄격한 순위가 아니라 수치적 점수로 표현될 경우, 안정성은 어떻게 재정의될 수 있는가?
• RQ2 점수 차이(α-안정성)를 차단 쌍의 기준으로 사용할 경우의 영향은 무엇이며, 고전적 안정성과 어떻게 다를 수 있는가?
• RQ3 연결 기반 안정성 개념인 연결-가산 및 연결-최대 안정성이 고전적 안정 매칭과 다를 수 있는 안정적 매칭을 도출할 수 있는가?
• RQ4 갈레-셰플리 알고리즘의 수정된 버전을 사용하여 이러한 새로운 안정성 정의 하에서 최적의 안정적 매칭을 효율적으로 계산할 수 있는가?
• RQ5 새로운 연결 기반 최적성 기준 하에서 고유한 최적의 안정적 매칭이 존재하는 조건은 무엇인가?

주요 결과

• α-안정성은 점수 차이 기반의 임계값 조건을 도입하여 고전적 안정성보다 더 세밀한 안정성 정의를 가능하게 한다.
• 연결-가산 안정성 및 연결-최대 안정성 결혼은 파artner 간의 연결 강도(점수)에 기반하여 정의되며, 안정성 평가에 새로운 방법을 제공한다.
• 선호 점수가 모두 다를 경우, 최고의 전역 연결 강도를 갖는 고유한 연결-최대 안정성 결혼이 존재한다.
• 갈레-셰플리 알고리즘은 Linka(P) 및 Linkm(P)의 선형화에 적용함으로써 연결-가산 안정성 및 연결-최대 안정성 매칭을 계산할 수 있도록 수정할 수 있다.
• Linka(P) 또는 Linkm(P)에 동점이 없을 경우, 수정된 갈레-셰플리 알고리즘으로 유도된 매칭은 안정적이며 가능한 한 높은 연결 강도를 갖는다.
• 새로운 연결 기반 프로파일 하에서 남성 최적의 매칭은 고전적 남성 최적의 안정적 배부와 다를 수 있으며, 이는 개인의 선호 순위보다 연결 강도를 우선시하기 때문이다.