완전 이분 그래프의 이색 포크 숲: 최적 경계와 효율적 알고리즘

초록

이 논문은 완전 이분 그래프 (K_{n,n}) 의 모든 간선을 검정·흰색 두 색으로 색칠했을 때, 검정 간선 수와 흰색 간선 수의 차이가 1 이하이면 같은 파트 집합에 중심을 두는 서로소 포크(두 인접한 서로 다른 색의 간선) (n(1-1/\sqrt{2})) 개 이상을 찾을 수 있음을 증명한다. 이 경계는 최적이며, 이를 실제로 찾는 (O!\left(n^{2}\log n\sqrt{n,\alpha(n^{2},n)\log n}\right)) 시간 알고리즘도 제시한다.

상세 분석

논문은 먼저 “포크(fork)”를 두 색이 서로 다른 인접한 두 간선으로 정의하고, 이러한 포크들의 집합을 “포크 숲(fork‑forest)”이라 부른다. 포크 숲에서 모든 포크는 서로 다른 정점을 공유하지 않으며, 중심 정점은 동일한 파트 집합에 있어야 한다는 제약이 있다. 주요 정리는 다음과 같다. 완전 이분 그래프 (K_{n,n}) 의 간선을 검정·흰색 두 색으로 색칠했을 때, 검정 간선 수와 흰색 간선 수의 차이가 1 이하이면, 최소 (n\bigl(1-1/\sqrt{2}\bigr)) 개의 서로소 포크를 같은 파트에 중심을 두고 구성할 수 있다. 이 하한은 구성 예시를 통해 정확히 달성됨을 보이며, 따라서 최적임을 증명한다.

증명 전략은 두 파트 중 하나를 고정하고, 해당 파트의 각 정점에 대해 인접한 검정·흰색 간선의 수를 비교한다. 차이가 큰 정점들을 “불균형 정점”이라 정의하고, 이들을 매칭 문제로 환원한다. 매칭 이론의 Hall 정리와 König 정리를 활용해 불균형 정점들을 충분히 매칭시켜 포크를 형성한다. 남은 정점들은 거의 균형을 이루므로, 임의의 선택으로도 충분히 많은 포크를 만들 수 있다. 특히, (\sqrt{2})라는 상수는 두 색의 비율이 1:1에 가장 가깝게 유지될 때 발생하는 최악의 경우를 분석한 결과이다.

알고리즘 부분에서는 위의 구성 과정을 효율적으로 구현한다. 먼저 각 파트의 정점에 대해 검정·흰색 인접 간선 리스트를 만든 뒤, 불균형 정점을 찾는다. 불균형 정점 집합에 대해 이분 매칭을 수행하는데, 여기서 사용되는 매칭 알고리즘은 최적화된 푸시‑리라벨 방식이며, 전체 복잡도는 (O!\left(n^{2}\log n\sqrt{n,\alpha(n^{2},n)\log n}\right)) 이다. 여기서 (\alpha)는 역아커만 함수로, 실제 입력 규모에서는 거의 상수에 가깝다. 따라서 실무적인 입력에서도 거의 (O(n^{2}\log n)) 시간에 최적 포크 숲을 구할 수 있다.

이 결과는 기존 연구에서 다루던 “색상 균형” 문제와 “증명 복잡도” 사이의 연결 고리를 강화한다. 특히, 논문