[논문 리뷰] An Approximation Algorithm for the Exact Matching Problem in Bipartite Graphs

Anita Dürr, Nicolas El Maalouly외 1명|arXiv (Cornell University)|2023. 01. 01.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 이분 그래프에서 정확한 매칭(EM) 문제를 결정적 다항시간 알고리즘으로 근사화하는 방법을 제시한다. 이 알고리즘은 최대 k개의 빨간색 간선을 포함하는 완전 매칭을 찾는 것을 목표로 하며, 동시에 최소한 k의 1/3 이상의 빨간색 간선을 포함하도록 보장한다. 알고리즘은 간선을 반복적으로 선택하고 최소 빨간색 간선 수를 가진 완전 매칭을 계산함으로써, 빨간색 간선 수에 대해 3-근사 비율을 달성한다. 이는 이전 방법이 최대 1.5k개의 빨간색 간선을 허용한 것에 비해 상당한 향상이다.

ABSTRACT

In 1982 Papadimitriou and Yannakakis introduced the Exact Matching problem, in which given a red and blue edge-colored graph $G$ and an integer $k$ one has to decide whether there exists a perfect matching in $G$ with exactly $k$ red edges. Even though a randomized polynomial-time algorithm for this problem was quickly found a few years later, it is still unknown today whether a deterministic polynomial-time algorithm exists. This makes the Exact Matching problem an important candidate to test the RP=P hypothesis. In this paper we focus on approximating Exact Matching. While there exists a simple algorithm that computes in deterministic polynomial-time an almost perfect matching with exactly $k$ red edges, not a lot of work focuses on computing perfect matchings with almost $k$ red edges. In fact such an algorithm for bipartite graphs running in deterministic polynomial-time was published only recently (STACS'23). It outputs a perfect matching with $k'$ red edges with the guarantee that $0.5k \leq k' \leq 1.5k$. In the present paper we aim at approximating the number of red edges without exceeding the limit of $k$ red edges. We construct a deterministic polynomial-time algorithm, which on bipartite graphs computes a perfect matching with $k'$ red edges such that $k/3 \leq k' \leq k$.

연구 동기 및 목표

• 완전 매칭에 포함된 빨간색 간선 수가 k에 가까운 근사 알고리즘을 결정적 다항시간에 설계하여 이분 그래프에서 정확한 매칭 문제를 근사화하는 것.
• 이전의 근사 알고리즘은 최대 1.5k개의 빨간색 간선을 허용했지만, 본 논문은 해가 k개의 빨간색 간선를 초과하지 않도록 제약을 두어 이를 개선하는 것.
• 빨간색 간선 수가 k의 1/3 이상이 되도록 보장하는 엄밀한 근사 비율 3을 달성하는 것.
• 완전 매칭에서 빨간색 간선 수를 제한하는 근사화에 대한 진전이 부족한 상황이지만, 거의 완전 매칭에 대한 광범위한 연구가 이루어진 바를 고려하여 문제를 해결하는 것.

제안 방법

• 알고리즘은 그래프의 모든 간선 e에 대해 반복하며, e를 포함하는 완전 매칭 중 빨간색 간선 수가 최소인 것을 계산한다.
• 각 간선 e에 대해, 빨간색 간선에는 1, 파란색 간선에는 0의 가중치를 부여한 최소비용 완전 매칭 알고리즘을 사용한다.
• 모든 이러한 매칭들 중에서 빨간색 간선 수가 가장 적은 매칭을 생성하는 간선 e를 선택한다.
• 최종 출력은 모든 간선 반복 과정에서 발견된 빨간색 간선 수가 가장 적은 완전 매칭이며, 이로 인해 빨간색 간선 수가 최소 k/3 이상이 보장된다.
• 정당성은 그래프 내에서 최소한 하나의 간선 e가 k/3개 이상의 빨간색 간선을 포함하는 최소 빨간색 간선 수의 완전 매칭을 유도한다는 것을 증명함에 기반한다. 이는 3-근사 비율을 보장한다.
• 알고리즘은 표준 매칭 알고리즘을 서브루틴으로 활용하여 결정적 다항시간 내에 실행된다.

실험 결과

연구 질문

• RQ1 이분 그래프에서 정확한 매칭 문제를 근사화하는 결정적 다항시간 알고리즘을 설계할 수 있는가? 이때 빨간색 간선 수가 k를 초과하지 않도록 보장해야 한다.
• RQ2 k개의 빨간색 간선 수를 초과하지 않는 조건 하에, 빨간색 간선 수에 대해 3보다 더 나은 근사 비율을 달성할 수 있는가?
• RQ3 k/3개 이상의 빨간색 간선을 포함하는 매칭이 단일 간선 반복과 최소 빨간색 간선 수 매칭 계산을 통해 효율적으로 계산될 수 있는가?
• RQ4 단일 간선 대신 더 큰 간선 부분집합을 고려함으로써 근사 비율을 향상시킬 수 있는가?
• RQ5 이분 그래프에서 EM-opt 변형에 대해 달성 가능한 가장 날카로운 근사 비율은 무엇인가?

주요 결과

• 제안된 알고리즘은 k′개의 빨간색 간선을 포함하는 완전 매칭을 계산하며, 이때 1/3 k ≤ k′ ≤ k를 만족하여 3-근사 비율을 달성한다.
• 알고리즘은 결정적 다항시간 내에 실행되므로, 무작위성이 바람직하지 않은 실용적 응용 분야에 적합하다.
• 정당성 증명은 그래프 내에서 최소한 하나의 간선 e가 k/3개 이상의 빨간색 간선을 포함하는 최소 빨간색 간선 수의 완전 매칭을 유도한다는 것을 보여주는 데 기반한다.
• 이전 연구는 최대 1.5k개의 빨간색 간선을 허용했지만, 본 알고리즘은 k개의 빨간색 간선 수를 초과하지 않도록 제약을 두어 이를 개선한다.
• 3-근사 비율에 대한 분석은 날카롭게 유지되며, 이는 비율을 2로 향상시키기 위해서는 새로운 기법이 필요함을 시사한다.
• 저자들은 단일 간선 대신 일정 크기의 간선 부분집합을 반복하는 방식으로 근사 비율을 향상시킬 수 있을 것으로 추측하지만, 이러한 확장은 여전히 도전 과제로 남아 있다.