[논문 리뷰] Incremental $(1-ε)$-approximate dynamic matching in $O(poly(1/ε))$ update time

Joakim Blikstad, P. Kiss|arXiv (Cornell University)|2023. 01. 01.

Complexity and Algorithms in Graphs인용 수 3

한 줄 요약

이 논문은 O(poly(1/ε))의 평균 갱신 시간을 가지며, 증분 이분 그래프에 대해 최초로 결정적 (1−ε)-근사 동적 매칭 알고리즘을 제시한다. 이는 가중치가 부여된 간선-도수 제약 부분그래프(EDCS) 데이터 구조의 새로운 응용을 통해 달성된다. 알고리즘은 EDCS 상에서 분수 매칭과 분수 정점 커버를 유지하여 (1−ε)-근사 비율을 보장하며, 정점 삭제를 허용하는 완전 동적 그래프로 확장되어 추가적인 (1, ε·n)-근사 보장을 제공한다.

ABSTRACT

In the dynamic approximate maximum bipartite matching problem we are given bipartite graph $G$ undergoing updates and our goal is to maintain a matching of $G$ which is large compared the maximum matching size $μ(G)$. We define a dynamic matching algorithm to be $α$ (respectively $(α, β)$)-approximate if it maintains matching $M$ such that at all times $|M | \geq μ(G) \cdot α$ (respectively $|M| \geq μ(G) \cdot α- β$). We present the first deterministic $(1-ε)$-approximate dynamic matching algorithm with $O(poly(ε^{-1}))$ amortized update time for graphs undergoing edge insertions. Previous solutions either required super-constant [Gupta FSTTCS'14, Bhattacharya-Kiss-Saranurak SODA'23] or exponential in $1/ε$ [Grandoni-Leonardi-Sankowski-Schwiegelshohn-Solomon SODA'19] update time. Our implementation is arguably simpler than the mentioned algorithms and its description is self contained. Moreover, we show that if we allow for additive $(1, ε\cdot n)$-approximation our algorithm seamlessly extends to also handle vertex deletions, on top of edge insertions. This makes our algorithm one of the few small update time algorithms for $(1-ε)$-approximate dynamic matching allowing for updates both increasing and decreasing the maximum matching size of $G$ in a fully dynamic manner.

연구 동기 및 목표

• O(poly(1/ε))의 부분다항 시간 갱신 시간을 가지는 결정적 동적 매칭 알고리즘을 설계하여 (1−ε)-근사 이분 매칭을 달성한다.
• 증분 그래프(단지 간선 삽입만 허용)에 대해 O(poly(1/ε))의 평균 갱신 시간을 달성한다.
• 완전 동적 환경에서 간선 삽입과 정점 삭제를 모두 처리할 수 있도록 알고리즘을 확장하고, 추가적인 근사 보장을 제공한다.
• 가중치가 부여된 EDCS를 매칭 스파arsifi어로 사용할 때의 분석을 단순화한다.
• 가중치가 부여된 EDCS를 동적 매칭의 맥락에서 임의로 높은 밀도의 그래프에 적용하는 최초의 사례를 제시한다.

제안 방법

• 가중치가 부여된 간선-도수 제약 부분그래프(EDCS) 데이터 구조를 동적 이분 매칭의 스파arsifi어로 활용한다.
• 근사 비율을 보증하기 위해 EDCS 상에서 분수 매칭과 분수 정점 커버를 유지한다.
• 도수 제약을 제어하고 매칭 크기를 유지하기 위해 EDCS 간선에 새로운 가중치 부여 방식을 도입한다.
• 가중치가 부여된 EDCS가 최대 매칭의 최소 (1−ε)를 유지함을 보이는 데 사용된 자가 포함된 분석 기법을 적용한다.
• 정점 삭제를 처리하기 위해 추가적인 (1, ε·n)-근사 보장을 허용함으로써 알고리즘을 확장한다.
• β = Θ(1/ε²)가 (1−ε)-근사 보장을 위해 필수적임을 보여주기 위해 구성적 하한을 제시한다.

실험 결과

연구 질문

• RQ1 증분 그래프에서 O(poly(1/ε)) 갱신 시간을 가지며 결정적 (1−ε)-근사 동적 매칭 알고리즘을 달성할 수 있는가?
• RQ2 가중치가 부여된 EDCS 구조가 밀도가 높은 그래프에서 최대 매칭의 (1−ε)를 유지하는 데 충분한가?
• RQ3 가중치가 부여된 EDCS에서 (1−ε)-근사 보장을 보장하기 위해 필요한 최소한의 β(도수 임계값)는 얼마인가?
• RQ4 알고리즘을 간선 삽입과 정점 삭제를 모두 처리할 수 있는 완전 동적 환경으로 확장할 수 있는가?
• RQ5 기존 연구에 비해 가중치가 부여된 EDCS를 매칭 스파arsifi어로 사용할 때의 분석을 단순화할 수 있는가?

주요 결과

• 알고리즘은 간선 삽입에 대해 (1−ε)-근사 동적 매칭에서 O(poly(1/ε))의 평균 갱신 시간을 달성한다.
• β ≥ Θ(1/ε²)일 경우 가중치가 부여된 EDCS는 최대 매칭 크기의 최소 (1−ε)µ(G)를 유지하며, 이 한계는 날카로운 것이다.
• 가중치가 부여된 EDCS를 매칭 스파arsifi어로 사용할 때의 근사 비율에 대한 증명을 이전 연구에 비해 크게 단순화하였다.
• 정점 삭제를 처리할 수 있도록 알고리즘을 확장하였으며, 이로 인해 완전 동적 지원이 가능해졌다.
• 하한 구축을 통해 (1−ε)-근사 보장을 위해 β = Θ(1/√β)가 필수적임을 보였으며, 이는 β = Θ(1/ε²)가 날카로운 한계임을 의미한다.
• 이 방법은 동적 매칭의 맥락에서 가중치가 부여된 EDCS를 임의로 높은 밀도의 그래프에 적용하는 최초의 사례를 제시한다.