[논문 리뷰] Dynamic Matching: Reducing Integral Algorithms to Approximately-Maximal Fractional Algorithms

Moab Arar, Shiri Chechik외 3명|arXiv (Cornell University)|2017. 11. 17.

Complexity and Algorithms in Graphs참고 문헌 42인용 수 9

한 줄 요약

이 논문은 완전 동적 근사적으로 최대의 분수 매칭 알고리즘을 완전 동적 정수 매칭 알고리즘으로 변환하는 랜덤화된 감소 기법을 제안한다. 이 기법은 다항로그 시간 복잡도를 갖는 최악의 경우 업데이트 시간을 보장한다. 이 감소 기법을 Bhattacharya 등이 제안한 (SODA 2017) 분수 매칭 알고리즘에 적용함으로써, 임의의 상수 ǫ > 0 에 대해 O(log³n) 최악의 경우 업데이트 시간을 갖는 최초의 (2+ǫ)-근사 정수 매칭 알고리즘을 얻게 되었으며, 이는 상수 근사 비율에서 보다 하위다항식 업데이트 시간을 갖는 동적 매칭 분야에서의 돌풍과 같은 돌파구이다.

ABSTRACT

We present a simple randomized reduction from fully-dynamic integral matching algorithms to fully-dynamic "approximately-maximal" fractional matching algorithms. Applying this reduction to the recent fractional matching algorithm of Bhattacharya, Henzinger, and Nanongkai (SODA 2017), we obtain a novel result for the integral problem. Specifically, our main result is a randomized fully-dynamic $(2+ε)$-approximate integral matching algorithm with small polylog worst-case update time. For the $(2+ε)$-approximation regime only a \emph{fractional} fully-dynamic $(2+ε)$-matching algorithm with worst-case polylog update time was previously known, due to Bhattacharya et al.~(SODA 2017). Our algorithm is the first algorithm that maintains approximate matchings with worst-case update time better than polynomial, for any constant approximation ratio. As a consequence, we also obtain the first constant-approximate worst-case polylogarithmic update time maximum weight matching algorithm.

연구 동기 및 목표

• 상수 근사 비율에서 다항로그 최악의 경우 업데이트 시간을 갖는 완전 동적 정수 매칭 알고리즘의 격차를 메운다.
• 분수 매칭과 정수 매칭 간의 이론적·실용적 격차를 메우기 위해 효율적인 감소 기법을 가능하게 한다.
• 장기간 열려 있던 문제인 상수 근사 최대 매칭에 대해 하위다항식 최악의 경우 업데이트 시간을 달성한다.
• 최대 무게 매칭으로 결과를 확장하여, 최초로 다항로그 최악의 경우 업데이트 시간을 갖는 상수 근사 알고리즘을 도출한다.
• 근사적으로 최대의 분수 매칭 알고리즘을 정수 매칭으로 변환할 수 있는 일반적 프레임워크를 제공한다.

제안 방법

• 완전 동적 정수 매칭 문제를 근사적으로 최대의 분수 매칭 문제로 랜덤화된 감소 기법을 도입한다.
• Bhattacharya 등이 제안한 (SODA 2017) 완전 동적 분수 매칭 알고리즘을 활용하며, 이 알고리즘은 (1+2ǫ, max{54 log n/ǫ³, (3/ǫ)²¹})-근사적으로 최대의 분수 매칭을 유지한다.
• 감소 기법을 통해 분수 해를 정수 (2+ǫ)-근사 매칭으로 변환하면서 다항로그 최악의 경우 업데이트 시간을 유지한다.
• 간선 가중치와 정점 상태를 '좋은 분할' 구조를 통해 동적으로 유지하여, 가중치 업데이트의 사슬 반응을 제한한다.
• 각 업데이트당 최대 한 개의 간선 가중치에 영향을 주는 제한된 수의 FIX-DIRTY-NODE 호출을 통해 간선 가중치 변화를 제어한다.
• 각 업데이트당 간선 가중치 변화 수가 O(log n/ǫ²) 이하로 유한함을 증명하며, 최악의 경우 업데이트 시간은 O(log³n/ǫ⁷) 이며, 이는 효율적인 구현을 가능하게 한다.

실험 결과

연구 질문

• RQ1 임의의 상수 근사 비율에서 다항로그 최악의 경우 업데이트 시간을 갖는 완전 동적 정수 매칭 알고리즘을 구성할 수 있는가?
• RQ2 근사적으로 최대의 분수 매칭을 유지하는 문제로 근사 정수 매칭을 유지하는 문제를 감소시킬 수 있는가?
• RQ3 이러한 감소 기법의 최악의 경우 업데이트 시간 오버헤드는 얼마이며, 하위다항식 업데이트 시간을 유지할 수 있는가?
• RQ4 이 접근법은 최대 무게 매칭으로 확장될 수 있으며, 상수 근사 비율에서 최초로 다항로그 최악의 경우 업데이트 시간을 갖는 알고리즘을 도출할 수 있는가?
• RQ5 분수 알고리즘에서 각 업데이트당 간선 가중치 변화는 몇 번 발생하며, 이를 효율적인 구현을 위해 유한하게 제한할 수 있는가?

주요 결과

• 논문은 임의의 상수 ǫ > 0 에 대해 O(log³n) 최악의 경우 업데이트 시간을 갖는 최초의 (2+ǫ)-근사 완전 동적 정수 매칭 알고리즘을 달성하였다.
• 감소 프레임워크를 통해 근사적으로 최대의 분수 매칭 알고리즘을 동일한 업데이트 시간 복잡도를 갖는 정수 매칭 알고리즘으로 변환할 수 있다.
• 각 업데이트당 간선 가중치 변화 수는 O(log n/ǫ²) 이하로 유한하며, 감소 과정의 낮은 오버헤드를 보장한다.
• 최종적으로 도출된 정수 매칭 알고리즘의 최악의 경우 업데이트 시간은 O(log³n/ǫ⁷) 이며, 상수 ǫ 에 대해 다항로그이다.
• 이 방법은 최초로 다항로그 최악의 경우 업데이트 시간을 갖는 상수 근사 최대 무게 매칭 알고리즘을 도출한다.
• 이전의 다항로그 최악의 경우 업데이트 시간 알고리즘이 분수 매칭이나 평균화된 복잡도에 국한되었음을 감안할 때, 이 결과는 동적 매칭 분야에서 오랫동안 열려 있던 격차를 메운다.