가중치가 부여된 무작위 인기 매칭의 존재 임계값 분석

본 논문은 지원자와 아이템 사이의 매칭 문제를 ‘인기 매칭(popular matching)’이라는 관점에서 재조명하고, 특히 지원자를 가중치가 다른 두 그룹(A₁, A₂)으로 나누어 **2‑가중치 인기 매칭**을 정의한다. 기존의 인기 매칭은 “다른 매칭보다 더 많은 지원자가 선호한다면 더 인기 있다”는 정의에 기반했으며, 이는 단일 카테고리(모든 지원자 동일 가중치) 상황에만 적용된다. 저자들은 이 개념을 확장해, 각 그룹에 가중치 w₁, w₂ (w₁ > w₂ > 0)를 부여하고, 매칭 M이 M′보다 더 인기 있음을 “M을 선호하는 지원자들의 가중치 합이 M′를 선호하는 지원자들의 가중치 합보다 크다”는 조건으로 정의한다. 특히 w₁ ≥ 2w₂ 라는 가정은 고가중치 그룹의 의견이 최소 두 배 이상 중요함을 의미한다. ### 1. 문제 설정 및 기본 정의 - **지원자 집합 A**: |A| = n, 두 구간 A₁ (비율 δ)와 A₂ (비율 1‑δ)로 분할. - **아이템 집합 I**: |I| = m. - **선호 리스트 ℓₓ**: 완전하고 엄격(strict)하며, 각 지원자는 아이템을 전부 순서대로 나열한다. - **f‑item / s‑item**: 각 지원자는 첫 번째 선호 아이템을 f‑item, 두 번째 선호 아이템을 s‑item이라 부른다. 구간에 따라 f₁, s₁ (A₁ 전용)와 f₂, s₂ (A₂ 전용) 네 종류가 존재한다. - **well‑formed matching**: 정의 2.1에 따라 모든 지원자는 자신의 f‑item 혹은 s‑item에 매치되고, 각 f‑item은 반드시 해당 구간의 지원자와 매치된다. ### 2. 그래프적 모델링 – fs‑relation 그래프 G - 정점 V = F₁ ∪ S₁ ∪ F₂ ∪ S₂. - 간선 E = { (f₁(x), s₁(x)) | x∈A₁ } ∪ { (f₂(y), s₂(y)) | y∈A₂ }. - |V| ≤ m, |E| = n. - 이 그래프는 각 지원자의 ‘첫 번째–두 번째 아이템’ 관계를 그대로 반영한다. ### 3. 매칭 존재와 방향 지정 Lemma 2.1은 well‑formed 매칭 존재 ↔ G에 특정 방향 지정 O가 존재함을 보인다. 조건은: (a) 모든 정점에 들어오는 간선 ≤ 1, (b) F₁의 각 정점은 E₁에서 정확히 1개의 들어오는 간선, (c) F₂의 각 정점은 E₂에서 정확히 1개의 들어오는 간선. 이 방향 지정이 가능하면 각 지원자를 해당 방향에 따라 f‑item 혹은 s‑item에 매치함으로써 well‑formed 매칭을 구성한다. Proposition 2.1은 w₁ ≥ 2w₂ 일 때, well‑formed 매칭 ⇔ 2‑가중치 인기 매칭임을 증명한다. 따라서 문제는 전적으로 G의 구조적 특성에 귀결된다. ### 4. 불가능 서브그래프와 매칭 불가능성 세 가지 금지 서브그래프 G₁, G₂, G₃를 정의한다. - **G₁**: S₁∩F₂ 정점이 양쪽에서 들어오는 간선을 요구하는 경로 형태. - **G₂**: 사이클에 연결된 경로, 경로의 시작점이 S₁∩F₂. - **G₃**: 두 사이클이 연결된 복합 구조. Theorem 3.1은 G에 이들 서브그래프가 하나라도 존재하면 위 방향 지정이 불가능해 well‑formed 매칭이 존재하지 않음을, 반대로 서브그래프가 없으면 언제든지 방향을 지정해 매칭을 만들 수 있음을 보인다. 이 정리는 매칭 존재 여부를 순수히 그래프 구조 검사로 환원한다. ### 5. 무작위 인스턴스 분석 무작위 인스턴스는 각 지원자의 선호 리스트를 I에 대한 균등 무작위 순열로 생성한다. 이때 f‑item과 s‑item은 독립적으로 무작위 선택되므로 G는 ‘무작위 2‑정규 그래프’가 된다. 주요 관심은 **충돌**(두 지원자가 같은 f‑item 혹은 s‑item을 선택)이다. 기대 충돌 수는 Θ(n²/m)이다. - **충돌이 충분히 적을 때**(m 크게, n^{4/3}/m = o(1)): 그래프는 거의 트리·사이클 형태만 남고, G₁·G₂·G₃가 형성될 확률이 o(1). 따라서 방향 지정이 가능하고, well‑formed 매칭이 존재해 2‑가중치 인기 매칭이 1‑o(1) 확률로 존재한다. - **충돌이 많이 발생할 때**(m 작게, m/n^{4/3}=o(1)): 충돌이 많아 경로·사이클이 길어지고, G₁·G₂·G₃가 거의 확실히 나타난다. 이 경우 방향 지정이 불가능해 well‑formed 매칭이 존재하지 않으며, 2‑가중치 인기 매칭이 존재할 확률은 o(1). 이 임계값은 기존 단일 카테고리 문제에서 나타난 m > 1.42 n 임계와는 다른 **n^{4/3}** 차원을 가진다. 즉, 가중치 구분이 매칭 가능성에 미치는 영향이 선호 리스트의 ‘첫 번째·두 번째 아이템’ 구조를 복잡하게 만들어, 더 높은 차수의 임계 현상을 야기한다. ### 6. 알고리즘적 함의 Mestre