[논문 리뷰] Low congestion cycle covers and their applications

Merav Parter, Eylon Yogev|arXiv (Cornell University)|2019. 01. 06.

Complexity and Algorithms in Graphs인용 수 5

한 줄 요약

이 논문은 브릿지가 없는 그래프에서 각 사이클이 짧고(길이 O(D)), 각 간선이 오직 O(1)개의 사이클에만 속하는 사이클 집합인 저혼잡도 사이클 커버를 도입한다. 존재성을 증명하고 효율적인 구성 방법을 제시한다. 주요 기여는 d = O(D) 및 c = O(1)인 (d, c)-사이클 커버의 존재이며, 이는 바이진틴 결함 하에서 효율적인 복원성 있는 분산 계산을 가능하게 한다.

ABSTRACT

A cycle cover of a bridgeless graph G is a collection of simple cycles in G such that each edge e appears on at least one cycle. The common objective in cycle cover computation is to minimize the total lengths of all cycles. Motivated by applications to distributed computation, we introduce the notion of low-congestion cycle covers, in which all cycles in the cycle collection are both short and nearly edge-disjoint. Formally, a (d, c)-cycle cover of a graph G is a collection of cycles in G in which each cycle is of length at most d and each edge participates in at least one cycle and at most c cycles.A-priori, it is not clear that cycle covers that enjoy both a small overlap and a short cycle length even exist, nor if it is possible to efficiently find them. Perhaps quite surprisingly, we prove the following: Every bridgeless graph of diameter D admits a (d, c)-cycle cover where d = O(D) and c = O(1). That is, the edges of G can be covered by cycles such that each cycle is of length at most O(D) and each edge participates in at most O(1) cycles. These parameters are existentially tight up to polylogarithmic terms.Furthermore, we show how to extend our result to achieve universally optimal cycle covers. Let Ce is the shortest cycle that covers e, and let OPT(G) = maxeϵG |Ce|. We show that every bridgeless graph admits a (d, c)-cycle cover where d = O(OPT(G)) and c = O(1).We demonstrate the usefulness of low congestion cycle covers in different settings of resilient computation. For instance, we consider a Byzantine fault model where in each round, the adversary chooses a single message and corrupt in an arbitrarily manner. We provide a compiler that turns any r-round distributed algorithm for a graph G with diameter D, into an equivalent fault tolerant algorithm with r·poly(D) rounds.

연구 동기 및 목표

• 저항성 있는 분산 시스템에서 사용하기 위해 짧은 사이클 길이와 낮은 간선 중복을 동시에 확보하는 브릿지가 없는 그래프에서의 사이클 커버를 구성하는 데 도전하는 것.
• 그래프 지름 D일 때 d = O(D) 및 c = O(1)인 (d, c)-사이클 커버의 존재성을 증명하여 짧은 사이클과 유한한 혼잡도를 확보하는 것.
• 각 간선을 커버하는 가장 짧은 사이클의 길이인 OPT(G)를 기준으로 최적화를 달성함으로써, d = O(OPT(G)) 및 c = O(1)인 보편적으로 최적의 사이클 커버로 결과를 확장하는 것.
• 저혼잡도 사이클 커버가 바이진틴 분산 알고리즘에서 컴파일러 기반 결함 내성에 실용적으로 활용될 수 있음을 보여주는 것.

제안 방법

• 각 사이클의 길이가 최대 d이고 각 간선이 최대 c개의 사이클에 속하는 사이클 집합을 (d, c)-사이클 커버로 정의한다.
• 구조적 그래프 성질과 사이클 분해 기법을 사용하여, 지름 D인 모든 브릿지가 없는 그래프가 d = O(D) 및 c = O(1)인 (d, c)-사이클 커버를 갖는다는 것을 증명한다.
• 각 간선을 커버하는 가장 짧은 사이클을 최적성 기준으로 삼아, d = O(OPT(G)) 및 c = O(1)인 구성으로 확장한다.
• 그래프 G에서의 r라운드 분산 알고리즘을 바이진틴 적대자 모델 하에서 r·poly(D)라운드로 변환하는 컴파일러를 설계한다.
• 저혼잡도 사이클 커버를 배경으로 삼아, 각 라운드에서 한 개의 메시지만 손상되더라도 신뢰할 수 있는 메시지 전파를 조율하는 데 사용한다.

실험 결과

연구 질문

• RQ1 모든 브릿지가 없는 그래프에서 짧고 거의 간선이 겹치지 않는 저혼잡도 사이클 커버가 존재할 수 있는가?
• RQ2 이러한 사이클 커버에서 사이클 길이와 간선 혼잡도 사이의 최적의 트레이드오프는 무엇인가?
• RQ3 작은 지름을 갖는 그래프에서 이러한 사이클 커버를 효율적으로 구성할 수 있는가?
• RQ4 저혼잡도 사이클 커버는 바이진틴 결함 하에서 복원성 있는 분산 알고리즘을 구축하는 데 어떻게 활용될 수 있는가?
• RQ5 각 간선을 커버하는 가장 짧은 사이클의 길이에 비해 상수 배수 이내로 사이클 길이를 유지하는 보편적으로 최적의 사이클 커버를 달성할 수 있는가?

주요 결과

• 지름 D인 모든 브릿지가 없는 그래프는 d = O(D) 및 c = O(1)인 (d, c)-사이클 커버를 갖는다. 이는 짧고 중복도 낮은 사이클 커버의 존재성을 증명한다.
• 사이클 길이와 혼잡도 사이의 점근적 트레이드오프는 다항로그적 요소를 제외하고는 존재적으로 최적이다. 즉, 더 나은 점근적 균형은 존재하지 않는다.
• d = O(OPT(G)) 및 c = O(1)인 보편적으로 최적의 사이클 커버가 존재한다. 여기서 OPT(G)는 어떤 간선도 커버하는 가장 짧은 사이클의 최대 길이다.
• 이 구성은 어떤 r라운드 분산 알고리즘도 바이진틴 내성 알고리즘으로 변환할 수 있는 컴파일러를 가능하게 한다. 이 알고리즘은 r·poly(D)라운드를 소비한다.
• 사이클 커버 구조는 적대자가 각 라운드당 한 개의 메시지만 손상시키더라도, 冗분성과 사이클 커버를 통한 조율 덕분에 알고리즘이 정확하게 유지됨을 보장한다.