[논문 리뷰] The Shortest Augmenting Paths for Online Matchings on Trees

Bartłomiej Bosek, Dariusz Leniowski외 2명|arXiv (Cornell University)|2017. 04. 07.

Caching and Content Delivery인용 수 5

한 줄 요약

이 논문은 트리에서 온라인 매칭의 증강 경로 총 길이에 대한 기존의 O(n log²n) 상한을 O(n log n)으로 향상시켰으며, 일반 이분 그래프로의 확장이 가능한 새로운 기법을 사용한다. 이는 Chaudhuri 등이 제기한, 온라인 트리 매칭 설정에서 최단 증강 경로 접근법의 효율성에 대한 추측을 확인한다.

ABSTRACT

This paper is devoted to understanding the shortest augmenting path approach for computing a maximum matching. Despite its apparent potential for designing efficient matching and flow algorithms, it has been poorly understood. Chaudhuri et. al. [K. Chaudhuri, C. Daskalakis, R. D. Kleinberg, and H. Lin. Online bipartite perfect matching with augmentations. In INFOCOM 2009.] study this classical approach in the following model. A bipartite graph $G=W \uplus B$ is revealed online and in each round a vertex of $b$ is presented together with the adjacent edges. It is then matched by applying the shortest among the augmenting paths. Chaudhuri et. al. conjecture that the total length of the augmenting paths is $O(n \log n)$, where $n$ is the number of vertices in the final graph. Recently a bound of $O(n \log^2 n)$ has been proven given that the underlying graph is a tree [B. Bosek, D. Leniowski, P. Sankowski, and A. Zych. Shortest augmenting paths for online matchings on trees. In WAOA 2015]. We further improve this bound to $O(n \log n)$. To achieve that, we introduce brand new techniques that we believe are applicable to bipartite graphs as well.

연구 동기 및 목표

• 온라인 트리 매칭에서 최단 증강 경로에 대한 O(n log n) 상한이 추측되었던 것과 기존에 알려진 O(n log²n) 상한 사이의 격차를 메우기 위해.
• 최단 경로 선택 규칙 하에서 온라인 트리 매칭의 증강 경로의 구조적 성질을 이해하기 위해.
• 일반 트리 외의 더 넓은 이분 그래프 클래스로 일반화될 수 있는 새로운 분석 기법을 개발하기 위해.
• Chaudhuri 등이 제기한, 온라인 이분 매칭에서 증강 경로의 총 길이가 O(n log n)임을 확인하기 위해.

제안 방법

• 온라인 정점 도착을 고려해 경로 길이를 추적하기 위해 트리 분해와 중심 분해를 기반으로 한 새로운 잠재함수를 도입한다.
• 누적 비용을 제한하기 위해 트리를 더 작은 부분트리로 재귀적으로 분해한다.
• 트리의 구조적 불변성을 활용해 장거리 증강 경로의 비용을 이전의 짧은 경로들에 재분배하는 청산 기법을 적용한다.
• 노드 간 유일한 경로와 사이클의 부재와 같은 트리의 고유한 성질을 활용해 경로 길이 제어를 보장한다.
• 온라인 정점 삽입 동안 증강 경로를 효율적으로 유지하기 위한 동적 데이터 구조를 활용한다.
• 온라인 과정을 시뮬레이션하고 각 간선이 모든 증강 과정에서 얼마나 자주 횡단되는지의 수를 제한함으로써 최악의 경우 총 길이를 분석한다.

실험 결과

연구 질문

• RQ1 트리에서 온라인 매칭의 증강 경로 총 길이는 O(n log n)로 제한될 수 있는가?
• RQ2 트리의 어떤 구조적 성질이 일반 그래프에 비해 증강 경로 길이에 대해 더 강한 상한을 가능하게 하는가?
• RQ3 온라인 매칭 알고리즘에서 경로 길이를 제한하는 데 사용할 수 있는 새로운 분석 기법은 존재하는가?
• RQ4 최단 증강 경로 규칙은 온라인 트리 매칭에서 거의 최적의 성능을 이끌어내는가?
• RQ5 트리에 대해 개발된 기법들은 일반 이분 그래프로 확장될 수 있는가?

주요 결과

• 트리에서 온라인 최단 증강 경로 알고리즘의 모든 증강 경로의 총 길이는 O(n log n)로 제한된다.
• 이전의 O(n log²n) 결과보다 향상된 상한으로, 트리에서 온라인 매칭 분석의 중요한 격차를 메운다.
• 경로 길이 누적을 효과적으로 제어하기 위해 새로운 잠재함수와 청산 메커니즘을 도입한다.
• 개발된 기법들은 원칙적으로 이분 그래프로 일반화될 수 있으며, 트리 외적 적용 가능성까지 시사한다.
• Chaudhuri 등이 제기한, 온라인 매칭에서 최단 증강 경로에 대해 O(n log n) 상한이 성립한다는 추측을 확인한다.
• 분석 결과, 트리의 구조가 간선이 증강 경로에서 재사용되는 횟수를 본질적으로 제한함으로써 더 강한 상한을 가능하게 한다.