빨강‑파랑‑노랑 매칭 문제: 결정론적 근사 알고리즘과 위상학적 교차 보조정리

본 논문은 그래프 이론과 조합 최적화 분야에서 오래된 난제인 “정확 매칭(Exact Matching)” 문제를 일반화한 빨강‑파랑‑노랑 매칭(RBY 매칭) 문제를 제시하고, 이를 해결하기 위한 새로운 결정론적 알고리즘을 개발한다. 1. **문제 정의 및 배경** - 기존의 빨강‑파랑 매칭 문제는 그래프의 간선을 빨강 또는 파랑으로 색칠하고, 정확히 k개의 빨강 간선을 포함하는 최대 매칭을 찾는 문제이다. 이 문제는 Mulmuley‑Vazirani‑Vazirani의 무작위 다항시간 알고리즘이 존재하지만, 결정론적 알고리즘은 40년 넘게 발견되지 않았다. - 저자는 이 문제에 노랑 색을 추가하여, 두 개의 정확한 색 제약(k_R, k_B)과 최대 매칭 크기를 동시에 만족시키는 RBY 매칭 문제를 정의한다. 이는 기존 문제를 포함하므로, 동일하게 어려운 문제임을 강조한다. 2. **선형계획법(LP) 기반 접근** - 매칭 폴리토프 P_M(G)와 색 제약을 포함한 LP를 구성한다. LP는 다항시간에 Edmonds’ blossom 알고리즘을 이용해 해결 가능하다. - LP 최적값 α*가 존재하고 실현 가능하면, 최적 해는 P_M(G)의 저차원 얼굴 내부에 위치한다. 이는 최적 해를 구성하는 매칭들의 수가 상수(최대 3개)로 제한된다는 중요한 구조적 특성을 제공한다. 3. **Yuster 알고리즘과의 연계** - Yuster(2012)의 2색 경우 결과(Theorem 1)를 재해석하고, 이를 3색 상황에 확장한다. 핵심 아이디어는 최적 해가 두 매칭의 대칭 차이(경로·사이클)로 표현될 수 있다는 점이다. - 그러나 3색 경우에는 대칭 차이가 일반적인 3‑정규 그래프가 될 위험이 있다. 이를 직접 다루면 복잡도가 급증하므로, 저자는 LP 해를 조정해 실제로는 두 매칭만을 고려하도록 만든다. 4. **경로·사이클에 대한 존재론적 정리** - 기존 Proposition 2(2색 사이클)와 그 확장인 Theorem 7(3색 사이클)를 제시한다. Theorem 7은 짝수 길이 사이클에서 매칭 점 p_M0, p_M1 사이의 선분 위에 목표점 (k_R,k_B) 혹은 (k_R,k_B−1) 가 존재하면, 길이 ℓ−1 이상의 매칭을 찾을 수 있음을 보인다. - 이 정리는 색 제약이 두 개일 때 단순히 “정수점 존재”만으로는 충분하지 않으며, 색 배분의 구조적 제약을 만족해야 함을 강조한다. 5. **위상학적 교차 보조정리(Crossing Lemma)** - 핵심 기술은 Lemma 5이다. 조각선형 연속 함수 f: