[논문 리뷰] List Defective Colorings: Distributed Algorithms and Applications

M. Fuchs, Fabian Kühn|arXiv (Cornell University)|2023. 01. 01.

Cryptography and Data Security인용 수 2

한 줄 요약

이 논문은 리스트 결함 색칠—결함 색칠과 리스트 색칠의 일반화—을 도입하여 (∆+1)-색칠 문제에 대해 더 빠른 결정적 분산 알고리즘을 가능하게 한다. 도우미 조건 하에 통신 효율적인 방향성 있는 리스트 결함 색칠 알고리즘을 설계함으로써, 도우미 조건 하에 O(log ∆) 라운드 내에 작동하는 알고리즘으로, CONGEST 모델에서 (∆+1)-색칠 문제에 대해 첫 번째로 O(√∆·poly log ∆ + log∗n)-라운드 결정적 알고리즘을 달성하였다. 이는 최고의 알려진 LOCAL 모델 복잡도를 poly log ∆ 요소까지 일치시킨다.

ABSTRACT

The distributed coloring problem is at the core of the area of distributed graph algorithms and it is a problem that has seen tremendous progress over the last few years. Much of the remarkable recent progress on deterministic distributed coloring algorithms is based on two main tools: a) defective colorings in which every node of a given color can have a limited number of neighbors of the same color and b) list coloring, a natural generalization of the standard coloring problem that naturally appears when colorings are computed in different stages and one has to extend a previously computed partial coloring to a full coloring. In this paper, we introduce 'list defective colorings', which can be seen as a generalization of these two coloring variants. Essentially, in a list defective coloring instance, each node $v$ is given a list of colors $x_{v,1},\dots,x_{v,p}$ together with a list of defects $d_{v,1},\dots,d_{v,p}$ such that if $v$ is colored with color $x_{v, i}$, it is allowed to have at most $d_{v, i}$ neighbors with color $x_{v, i}$. We highlight the important role of list defective colorings by showing that faster list defective coloring algorithms would directly lead to faster deterministic $(Δ+1)$-coloring algorithms in the LOCAL model. Further, we extend a recent distributed list coloring algorithm by Maus and Tonoyan [DISC '20]. Slightly simplified, we show that if for each node $v$ it holds that $\sum_{i=1}^p \big(d_{v,i}+1)^2 > \mathrm{deg}_G^2(v)\cdot polylogΔ$ then this list defective coloring instance can be solved in a communication-efficient way in only $O(\logΔ)$ communication rounds. This leads to the first deterministic $(Δ+1)$-coloring algorithm in the standard CONGEST model with a time complexity of $O(\sqrtΔ\cdot polylog Δ+\log^* n)$, matching the best time complexity in the LOCAL model up to a $polylogΔ$ factor.

연구 동기 및 목표

• 리스트 결함 색칠을 통해 결함 색칠과 리스트 색칠을 통합하는 일반화된 프레임워크를 제안하는 것.
• 리스트 결함 색칠을 활용하여 CONGEST 모델에서 더 빠른 결정적 (∆+1)-색칠 알고리즘을 가능하게 하는 것.
• 도우미 조건 하에 통신 효율적인 분산 알고리즘을 방향성 있는 리스트 결함 색칠에 대해 수립하는 것.
• 향상된 리스트 결함 색칠 알고리즘이 직접적으로 더 빠른 (∆+1)-색칠 알고리즘을 도출할 수 있음을 보여주는 것.

제안 방법

• 각 노드 v가 색상-결함 쌍 (xv,i, dv,i)의 리스트를 가지며, 최대 dv,i개의 이웃과 같은 색상을 가질 수 있도록 하는 리스트 결함 색칠을 제안한다.
• v의 리스트에 포함된 모든 색상에 대해 (dv,i + 1)²의 합을 포함하는 조건을 도입하여, 효율적 계산을 위한 충분한 색상 다양성을 보장한다.
• Maas와 Tonoyan의 리스트 색칠 알고리즘의 수정된 버전을 사용하며, 방향성과 유한한 출도를 통해 결함 제약 조건을 통합한다.
• 최대 차수를 감소시키기 위해 사전 처리 단계로 표준 O(log∗n)-라운드 O(∆²)-색칠을 적용한다.
• 코로나리 4.2와 정리 1.1을 조합하여, 방향성 있는 리스트 결함 색칠 알고리즘의 라운드 복잡도가 O(log ∆)임을 유도한다.
• 정리 1.3을 활용하여 알고리즘을 전체 (∆+1)-색칠 솔루션으로 조합하며, O(√∆·poly log ∆ + log∗n)의 시간 복잡도를 달성한다.

실험 결과

연구 질문

• RQ1 리스트 결함 색칠이 분산 모델에서 결정적 (∆+1)-색칠을 가속화하는 데 통합 프레임워크로 기능할 수 있는가?
• RQ2 리스트 색칠 조건과 결함 한계 조건은 어떤 조건이어야 통신 효율적인 리스트 결함 색칠을 가능하게 하는가?
• RQ3 리스트 결함 색칠의 라운드 복잡도는 전체 (∆+1)-색칠의 복잡도와 어떻게 관련이 있는가?
• RQ4 제안된 알고리즘이 더 제약이 까다로운 CONGEST 모델에서 최고의 LOCAL 모델 알고리즘과 동일한 시간 복잡도를 달성할 수 있는가?

주요 결과

• 논문은 CONGEST 모델에서 (∆+1)-색칠 문제에 대해 첫 번째로 결정적 O(√∆·poly log ∆ + log∗n)-라운드 알고리즘을 제시한다.
• 이 알고리즘은 최고의 알려진 LOCAL 모델 복잡도를 poly log ∆ 요소까지 일치시킨다.
• 효율성의 핵심 조건은 ∑ᵢ (dv,i + 1)² > deg²_G(v) · poly log ∆이며, 이는 충분한 색상 다양성을 보장한다.
• 알고리즘은 O(log∗n) 라운드 내에 O(∆²)-색칠을 계산하는 사전 처리 단계를 사용하여 문제를 유한 차수의 부분그래프로 축소한다.
• 제시된 조건 하에 방향성 있는 리스트 결함 색칠 알고리즘은 O(log ∆) 라운드 복잡도를 달성하며, 효율적인 조합을 가능하게 한다.
• 색상 공간 크기가 O(∆)일 경우, 시간 복잡도는 O(√∆·log²∆·log⁶log∆ + log∗n)이며, 주어진 가정 하에 이는 날것이다.