[논문 리뷰] Random-order Contention Resolution via Continuous Induction: Tightness for Bipartite Matching under Vertex Arrivals

Calum MacRury, Will Ma|arXiv (Cornell University)|2023. 10. 16.

Cooperative Communication and Network Coding인용 수 4

한 줄 요약

이 논문은 시간 이산화된 알고리즘을 통해 과거 실행을 샘플링함으로써 정확한 선택 확률을 갖는 연속시간 유도 프레임워크를 제안한다. 이는 랜덤 오더 도착 조건 하에서 이분 그래프에 대해 (1+e⁻²)/2 ≈ 0.567의 날개 없는 RCRS를 달성하며, 홀수 둘레가 g인 일반 그래프로 확장되어 g→∞일 때 동일한 한계로 수렴함을 보여준다.

ABSTRACT

We introduce a new approach for designing Random-order Contention Resolution Schemes (RCRS) via exact solution in continuous time. Given a function $c(y):[0,1] ightarrow [0,1]$, we show how to select each element which arrives at time $y \in [0,1]$ with probability exactly $c(y)$. We provide a rigorous algorithmic framework for achieving this, which discretizes the time interval and also needs to sample its past execution to ensure these exact selection probabilities. We showcase our framework in the context of online contention resolution schemes for matching with random-order vertex arrivals. For bipartite graphs with two-sided arrivals, we design a $(1+e^{-2})/2 \approx 0.567$-selectable RCRS, which we also show to be tight. Next, we show that the presence of short odd-length cycles is the only barrier to attaining a (tight) $(1+e^{-2})/2$-selectable RCRS on general graphs. By generalizing our bipartite RCRS, we design an RCRS for graphs with odd-length girth $g$ which is $(1+e^{-2})/2$-selectable as $g ightarrow \infty$. This convergence happens very rapidly: for triangle-free graphs (i.e., $g \ge 5$), we attain a $121/240 + 7/16 e^2 \approx 0.563$-selectable RCRS. Finally, for general graphs we improve on the $8/15 \approx 0.533$-selectable RCRS of Fu et al. (ICALP, 2021) and design an RCRS which is at least $0.535$-selectable. Due to the reduction of Ezra et al. (EC, 2020), our bounds yield a $0.535$-competitive (respectively, $(1+e^{-2})/2$-competitive) algorithm for prophet secretary matching on general (respectively, bipartite) graphs under vertex arrivals.

연구 동기 및 목표

• 연속 시간에서 정확한 선택 확률을 갖는 랜덤 오더 컨텐션 레졸루션 스킴(RCRS)을 위한 새로운 프레임워크를 설계하는 것.
• 특히 이분 그래프에서 두 측면의 정점 도착 조건 하에서 온라인 매칭의 날개 없는 선택 가능도 한계를 달성하는 것.
• 특히 홀수 길이의 둘레(odd-length girth)와 같은 그래프의 구조적 성질이 최적의 선택 가능도를 달성하는 데 있어 핵심 장벽이 되는지 규명하는 것.
• RCRS 구성법을 일반 그래프로 일반화하고, 홀수 둘레가 증가함에 따라 최적 한계로 수렴하는 정도를 정량화하는 것.
• RCRS에서 온라인 알고리즘으로의 감소를 통해 이전의 경쟁률을 초월한 프로비스트 세크리터리 매칭을 향한 개선된 경쟁률 확보

제안 방법

• 각 도착 시간 y ∈ [0,1]에 대해 선택 함수 c(y) ∈ [0,1]를 정의하는 연속시간 유도 프레임워크를 제안하여, 시간 y에 도착하는 요소의 정확한 선택 확률 c(y)를 보장한다.
• 시간 간격 [0,1]을 이산화하고 과거 실행 샘플링을 통해 랜덤 오더 도착 조건 하에서 정확한 선택 확률을 유지한다.
• 미분방정식 시스템을 유도하고, 확률적 과정 분석을 통해 유도를 통해 시간 t에서의 선택 확률이 목표로 하는 값과 일치함을 검증한다.
• 홀수 둘레 g ≥ 3인 그래프에 대해 선택 함수 c(y)를 구성하며, 사이클 구조를 고려하기 위해 상부 비완전 감마 함수를 통합한다.
• RCRS에서 프로비스트 세크리터리 알고리즘으로의 감소를 통해 정점 도착 조건 하에서 온라인 매칭의 경쟁률을 유도한다.
• 집중도 한계와 마틴게일 추론(예: [BM23a]의 정리 3)을 적용하여 프레임워크의 수렴성과 성능에 대한 고확률 한계를 증명한다.

실험 결과

연구 질문

• RQ1 랜덤 오더 정점 도착 조건 하에서 연속시간 유도 프레임워크가 RCRS에서 정확한 선택 확률을 달성할 수 있는가?
• RQ2 두 측면의 정점 도착 조건 하에서 이분 매칭에 대해 달성 가능한 최고의 선택 가능도는 무엇인가?
• RQ3 짧은 홀수 길이 사이클의 존재가 일반 그래프에서 달성 가능한 최대 선택 가능도에 어떤 영향을 미치는가?
• RQ4 홀수 둘레 g → ∞일 때 선택 가능도가 (1+e⁻²)/2로 수렴하는 정도는 어느 정도인가?
• RQ5 이 프레임워크는 일반 그래프에서 프로비스트 세크리터리 매칭에 대해 향상된 경쟁률을 도출할 수 있는가?

주요 결과

• 제안된 프레임워크는 두 측면의 정점 도착 조건 하에서 이분 그래프에 대해 (1+e⁻²)/2 ≈ 0.567의 선택 가능도를 갖는 RCRS를 달성하며, 이 한계가 최적임을 증명하였다.
• 삼각형이 없는 그래프(홀수 둘레 g ≥ 5)의 경우 RCRS는 약 0.563의 선택 가능도를 달성하여 최적의 0.567에 매우 가까운 수준이다.
• 홀수 둘레 g → ∞일 때 RCRS의 선택 가능도는 (1+e⁻²)/2로 수렴하며, 이는 홀수 사이클이 최적성에 대한 유일한 구조적 장벽임을 입증한다.
• 일반 그래프의 경우, 이 방법은 0.535의 선택 가능도를 갖는 RCRS를 도출하여 [FTW+21]에서 이전에 얻은 8/15 ≈ 0.533의 한계를 초월한다.
• [EFGT22]의 감소를 통해 결과적으로 일반 그래프에서 0.535-경쟁률 알고리즘과 이분 그래프에서 (1+e⁻²)/2-경쟁률 알고리즘을 도출하였다.