무후 안정성 검증의 복잡성 및 특성화

초록

본 논문은 무후(ex‑post) 안정성을 만족하는 확률 매칭을 판별하는 문제의 계산 복잡도를 규명한다. 양측에 선호·우선순위에 동점(티)이 존재할 경우, 무후 안정성 검증이 NP‑complete임을 증명하고, 심지어 양측이 이분법적(두 개의 무차별 집합) 선호만 가질 때도 동일함을 보인다. 반면 강한 무후 안정성 및 견고 무후 안정성은 다항시간 알고리즘으로 해결 가능함을 제시한다. 또한 최대 가중치 안정 매칭 분해를 찾는 정수계획(IP) 모델을 제안한다.

상세 분석

이 논문은 두 사람·물건(또는 학생·학교) 매칭 시장에서 확률 매칭을 “무후 안정성”이라는 구조적 제약 하에 구현할 수 있는지를 묻는 기본 질문을 다룬다. 무후 안정성이란 주어진 확률 매칭을 약하게(weakly) 안정된 결정적 매칭들의 가중합으로 표현할 수 있음을 의미한다. 기존 연구에서는 선호와 우선순위가 모두 엄격(strict)할 때, 즉 동점이 없을 경우에 한해 다항시간에 검증이 가능하고, 선형계획(LP)으로도 완전한 특성을 기술할 수 있었다. 그러나 실제 적용 사례(예: 학교 선택, 거주 배정)에서는 동점이 흔히 존재하고, 때로는 이분법적(두 단계만 구분되는) 선호 구조가 사용된다. 저자들은 이러한 현실적 상황을 모델링하여 복잡도 경계를 새롭게 설정한다.

첫 번째 주요 결과는 “양측에 동점이 존재하면 무후 안정성 검증은 NP‑complete”라는 정리이다. 이를 증명하기 위해 저자들은 3‑SAT 혹은 정확히는 “Exact Cover by 3‑Sets”와 같은 전형적인 NP‑완전 문제를 매칭 인스턴스로 변환한다. 변환 과정에서 각 변수와 절을 에이전트·아이템에 대응시키고, 동점 관계를 이용해 매칭의 선택지를 제한한다. 특히, 양측이 모두 이분법적 선호(두 개의 무차별 집합)만을 가질 때도 동일한 난이도가 유지된다는 점은 매우 강력한 제한조건 하에서도 문제의 본질적 어려움을 보여준다. 또한, 한쪽은 엄격하고 다른 쪽은 이분법적일 경우, 혹은 선호·우선순위 리스트 길이가 3 이하로 제한된 경우에도 NP‑complete임을 증명함으로써, “짧은 리스트”나 “단순한 구조”가 복잡도를 낮추지 못함을 확인한다.

두 번째로, 저자들은 무후 안정성의 강한 변형인 “강한 무후 안정성”(ex‑post strong stability)과 “견고 무후 안정성”(robust ex‑post stability)을 정의하고, 이들에 대해서는 다항시간 알고리즘을 제시한다. 강한 무후 안정성은 각 결정적 매칭이 강하게(stongly) 안정된 경우만을 허용한다. 강한 안정성은 약한 안정성보다 더 엄격하지만, 동점이 존재하더라도 해당 매칭이 존재하는지 여부는 기존의 “강한 매칭 존재 여부”를 판단하는 선형시간 알고리즘(예: Irving’s algorithm)과 동일한 복잡도로 해결될 수 있다. 견고 무후 안정성은 모든 가능한 분해가 약하게 안정된 매칭만을 포함하도록 요구한다. 이는 기본적인 선형 부등식(2.4)을 만족하는지 여부를 검사하면 되므로 역시 다항시간에 검증 가능하다.

세 번째 기여는 실용적인 해결책으로서 정수계획(IP) 모델을 제시한 것이다. 무후 안정성을 만족하는 분해가 존재하지 않을 경우에도, “불안정 매칭이 선택될 확률을 최소화”하는 최적 분해를 구할 수 있다. 변수는 각 결정적 매칭의 가중치 λ_j이며, 제약식은 (i) λ_j ≥ 0, (ii) Σ λ_j = 1, (iii) 각 매칭이 약하게 안정된다는 선형 부등식(2.4)을 만족하도록 설정한다. 목표 함수는 불안정성 위반 정도(예: 위반된 부등식의 총량)를 최소화한다. 이 IP는 상용 솔버로 중간 규모(수백 명·수백 학교) 인스턴스에 대해 실용적으로 풀 수 있음을 실험적 논의와 함께 제시한다.

전체적으로, 논문은 “동점이 존재하는 현실적 매칭 환경에서 무후 안정성을 검증하는 문제는 근본적으로 어려우며, 특수한 강한 형태만이 효율적으로 다룰 수 있다”는 중요한 메시지를 전달한다. 이는 정책 입안자와 시스템 설계자가 무후 안정성을 목표로 할 경우, 복잡도 장벽을 인식하고, 필요 시 IP 기반 근사 해법을 채택하거나 강한·견고 형태로 문제를 재정의해야 함을 시사한다.