분류 기반 안정 매칭: 구조적 복잡도와 다각형 해법

초록

본 논문은 학계 채용 상황을 모델링한 ‘분류된 안정 매칭( Classified Stable Matching)’ 문제를 제시한다. 각 기관은 지원자를 연구 분야 등으로 분류하고, 각 클래스마다 최소·최대 채용 인원을 지정한다. 저자는 (1) 분류의 “order type”이 전부 하향 숲(downward forest)인 경우 다항시간 알고리즘을 설계하고, 그 외에는 안정 매칭 존재 여부가 NP‑완전함을 증명한다. (2) 모든 분류가 라미나(laminar) 구조이며 하한이 없을 때, 안정 매칭 다각형을 선형 부등식으로 완전하게 기술하고, 이 다각형이 정수성을 갖는 것을 보인다. 이를 통해 타당한 최적 안정 매칭을 Ellipsoid 알고리즘으로 찾을 수 있다. 또한, 이 결과는 다대다(무분류) 안정 매칭 다각형을 완전히 기술함으로써 Sethuraman·Teo·Qian이 제기한 열린 질문에 답한다.

상세 분석

논문은 두 개의 주요 축으로 구성된다. 첫 번째 축은 분류 구조에 따른 계산 복잡도 구분이다. 저자는 “order type”이라는 개념을 도입해, 각 기관이 정의하는 클래스들의 포함 관계를 유향 그래프로 표현한다. 이 그래프가 하향 숲(downward forest) 형태—즉, 각 노드가 하나의 부모만을 가지며 사이클이 없는 구조—일 때, 기존의 Gale‑Shapley 알고리즘을 적절히 확장한 다항시간 절차를 설계한다. 핵심 아이디어는 하향 숲이 계층적 제한을 제공하므로, 하한·상한 제약을 위배하지 않으면서 단계별로 매칭을 확정할 수 있다는 점이다. 반면, 그래프에 교차하거나 다중 부모 관계가 존재하면, 하한·상한을 동시에 만족시키는 안정 매칭을 찾는 문제가 NP‑complete임을, 3‑SAT 혹은 Exact‑Cover와의 다항시간 환원으로 증명한다. 이는 분류 구조가 매칭 문제의 난이도를 결정한다는 중요한 통찰을 제공한다.

두 번째 축은 라미나(laminar) 분류에 대한 다각형적 접근이다. 라미나 패밀리는 서로 포함관계에 있거나 완전히 겹치지 않는 클래스들의 집합으로, 이는 트리 형태의 포함 관계와 동등하다. 하한이 없고 상한만 존재하는 경우, 저자는 다음과 같은 선형 부등식 집합을 제시한다. (i) 각 기관‑지원자 쌍에 대한 기본 안정성 부등식, (ii) 각 클래스에 대한 상한 제약, (iii) 전체 매칭에 대한 일대다(또는 다대다) 매칭 제한. 이 부등식들은 기존의 안정 매칭 폴리토프에 클래시피케이션 제약을 정확히 겹쳐 넣은 형태이며, 핵심 정리에서는 이 폴리토프가 전적으로 정수점만을 포함한다는 정수성(integrality)을 증명한다. 정수성 증명은 네트워크 플로우와 교환 그래프 분석을 결합한 방법으로, 각 기본 부등식이 전형적인 매칭 폴리토프의 전이성( total unimodularity )을 유지함을 보인다. 정수성 덕분에, 목표 함수(예: 기관의 총 만족도, 지원자의 선호도 가중합 등)를 선형으로 설정하면, Ellipsoid 알고리즘을 이용해 다항시간에 최적 안정 매칭을 구할 수 있다.

흥미로운 부수 결과로, 라미나 상한만 있는 경우는 실제로 무분류 다대다 안정 매칭 문제의 특수 케이스와 동형임을 보인다. 따라서 저자는 기존 문헌에서 열린 “다대다 안정 매칭 폴리토프의 완전한 선형 기술” 문제를 해결한다. 이 결과는 다대다 매칭에서 발생하는 복잡한 교환 사이클을 선형 프로그램으로 포착할 수 있음을 의미한다.

전체적으로 논문은 구조적 제한이 매칭 문제의 복잡도를 어떻게 좌우하는지를 명확히 구분하고, 라미나 구조에 대해 강력한 다각형적 도구를 제공함으로써 이론적·실용적 두 측면 모두에 기여한다. 특히, 학계·산업 채용, 의료 매칭 등 실제 응용에서 클래스별 인원 제한이 필수적인 상황에 바로 적용 가능한 알고리즘과 모델을 제시한다는 점이 큰 장점이다.