포화 안정 매칭의 존재 조건과 완전 매칭에 대한 확장

초록

본 논문은 이분 그래프에서 한 쪽 집합 X의 모든 정점을 반드시 매칭시키는 “포화 안정 매칭”(saturating stable matching)의 존재 여부를, 모든 가능한 선호도 설정에 대해 완전하게 판별하는 필요충분조건을 제시한다. 조건은 각 x∈X에 대해 (1) |N(N(x))| ≤ |N(x)| 혹은 (2) N(x) 안에 차수가 1인 정점이 존재하는 경우이며, 이를 통해 X‑포화 안정 매칭이 언제 보장되는지 설명한다. 또한 완전 매칭(양쪽 모두 포화)과 호환성 제약이 있는 경우까지 결과를 일반화한다.

상세 분석

논문은 먼저 전통적인 Hall 정리와 Gale‑Shapley 안정 결혼 문제를 연결한다. Hall 정리는 X‑포화 매칭(안정성은 고려하지 않음)의 존재를 |N(S)| ≥ |S| ∀ S⊆X 로 표현하지만, 안정성을 추가하면 단순히 Hall 조건만으로는 충분하지 않다. 저자는 각 x∈X에 대해 두 가지 구조적 조건을 정의한다. 첫 번째 조건 (1) |N(N(x))| ≤ |N(x)| 은 x의 이웃 집합 N(x) 가 차지할 수 있는 “수용 가능” 파트너들의 전체 수가 N(x) 자체의 크기를 초과하지 않음을 의미한다. 이는 x가 매칭되지 않을 경우, N(x) 안의 모든 정점이 이미 다른 파트너와 매칭돼야 하는데, 그 파트너들은 모두 N(N(x)) 안에만 존재하므로 pigeonhole 원리에 의해 모순이 발생한다는 논증으로 증명된다. 두 번째 조건 (2) ∃y∈N(x) with deg(y)=1 은 x와 연결된 어느 정점 y가 오직 x만을 받아들일 수 있음을 보장한다. 만약 x가 매칭되지 않으면 y도 매칭되지 않아 차단 쌍(blocking pair)이 형성돼 안정성이 깨진다.

Lemma 1은 위 두 조건 중 하나라도 만족하면 모든 선호도 인스턴스에서 x는 반드시 매칭된다고 보인다. 반대로 Lemma 2는 두 조건을 모두 만족하지 않는 x가 존재하면, 특정 선호도 구성(P)을 구성해 x가 모든 안정 매칭에서 제외되도록 할 수 있음을 보여준다. 여기서 P는 x의 이웃들이 x보다 다른 후보들을 선호하도록 설계하고, 그 후보들 역시 x의 이웃을 선호하도록 만든다. 이렇게 하면 x는 차단 쌍을 피할 수 없으며, 결국 모든 안정 매칭에서 제외된다.

Theorem 1은 Lemma 1과 Lemma 2를 결합해 “모든 선호도 인스턴스에 대해 모든 안정 매칭이 X‑포화이다”는 명제가 “∀x∈X, (1) 또는 (2) 가 성립한다”는 필요충분조건과 동치임을 증명한다. 이때 McVitie‑Wilson 정리를 이용해 하나의 X‑포화 안정 매칭이 존재하면 모든 안정 매칭이 X‑포화임을 보이며, Lemma 3·Corollary 1을 통해 임의의 한 매칭이 포화이면 전체 집합에 대해 동일한 조건이 적용된다는 점을 강조한다.

다음으로 완전 매칭(양쪽 모두 포화)으로 확장한다. 완전 이분 그래프(complete bipartite graph)에서는 모든 x와 y가 서로를 받아들일 수 있으므로 조건 (1) 이 자동으로 만족된다. Theorem 2는 연결된 그래프가 완전 이분 그래프일 때만 모든 선호도 인스턴스에서 모든 안정 매칭이 완전함을 귀납적으로 증명한다. 비연결 그래프의 경우 각 연결 성분이 biclique(두 집합 사이의 완전 연결)이어야 함을 Corollary 2가 제시한다.

마지막으로 호환성 제약(compatibility constraints) 모델을 도입한다. X와 Y를 n개의(가능히 겹치는) 클래스 A_i, B_i 로 분할하고, 동일 클래스 내에서만 매칭이 허용되는 CW‑complete 선호도를 가정한다. 이 경우 각 클래스 i에 대해 |B_i| ≥ |A_i| 가 성립하면 조건 (1)이 모든 x에 대해 만족하므로 Theorem 3에 의해 모든 안정 매칭이 X‑포화가 된다. 반대 경우에는 Lemma 2와 유사한 선호도 구성을 통해 포화되지 않은 매칭을 만들 수 있다.

전체적으로 논문은 그래프 구조와 정점의 차수 정보를 이용해 “포화 안정 매칭” 존재 여부를 완전하게 판단할 수 있는 간단하고 검증 가능한 조건을 제공한다. 이는 매칭 시장 설계자가 사전에 그래프 구조만으로 안정성과 포화성을 동시에 보장할 수 있는지를 판단하는 데 실용적인 도구가 된다.