안정 매칭 근사계산의 복잡성

초록

이 논문은 k‑속성 모델(점곱 또는 유클리드 거리 기반)에서 안정 매칭의 개수를 근사적으로 세는 문제의 복잡성을 연구한다. k≥3(점곱) 혹은 k≥2(유클리드)일 때, #BIS 문제와 AP‑동등함을 보이며, 1‑속성 점곱 경우에는 다항시간 알고리즘으로 정확히 셀 수 있음을 보여준다.

상세 분석

본 연구는 안정 매칭 문제를 근사적으로 셀 수 있는지 여부를 #BIS(이분 그래프의 독립 집합 개수)와의 AP‑동등성을 통해 분석한다. 기존에 Irving과 Leather가 일반적인 안정 매칭 인스턴스에서 #P‑완전임을 증명했으며, 이는 부분 순서의 다운셋 카운팅과 동등함을 이용한다. 저자들은 이 복잡도 구조가 k‑속성 모델에도 그대로 유지된다는 점을 핵심으로 삼는다. k‑속성 모델은 각 남·여가 k‑차원 선호 벡터와 속성 벡터(또는 선호·위치 점)를 가지고, 점곱(또는 거리) 비교를 통해 선호 순서를 정의한다. k가 충분히 크면(점곱의 경우 k≥3, 거리의 경우 k≥2) 모든 가능한 선호 리스트를 표현할 수 없지만, 충분히 일반적인 인스턴스를 구성해 #BIS와의 AP‑감축을 구현한다. 구체적으로, 부분 순서의 원소들을 남·여의 벡터에 매핑하고, 해당 순서 관계가 점곱 혹은 거리 비교에 의해 그대로 재현되도록 설계한다. 이렇게 하면 다운셋의 개수와 안정 매칭의 개수가 일대일 대응하게 되며, #BIS의 근사 카운팅이 불가능하다고 여겨지는 이유가 동일하게 적용된다. 따라서 k‑속성 모델에서도 FPRAS가 존재한다는 가설을 부정한다. 반면, k=1인 점곱 모델에서는 모든 남·여가 1‑차원 선호·속성 스칼라값만을 갖게 되며, 선호 순서는 단순히 실수값의 크기 비교로 결정된다. 이 경우 전체 인스턴스는 완전 순서(chain) 형태가 되므로, 안정 매칭의 구조가 매우 제한적이다. 저자들은 이를 이용해 매칭 그래프가 트리 형태임을 보이고, 동적 계획법으로 정확히 카운팅할 수 있는 O(n²) 알고리즘을 제시한다. 이 결과는 k‑속성 모델에서 차원의 증가가 복잡도 급증을 초래한다는 직관을 뒷받침한다. 또한, 유클리드 거리 기반 모델에서도 동일한 논리를 적용해 k≥2이면 #BIS와 AP‑동등함을 증명한다. 전체적으로 논문은 근사 카운팅 복잡도 이론(#RHΠ₁ 클래스)과 기하학적 선호 모델을 연결함으로써, 제한된 실용적 모델에서도 근사 카운팅이 어려울 수 있음을 강력히 시사한다.