[논문 리뷰] Local Conflict Coloring Revisited: Linial for Lists

Yannic Maus, Tigran Tonoyan|arXiv (Cornell University)|2020. 01. 01.

Advanced Graph Theory Research참고 문헌 44인용 수 4

한 줄 요약

이 논문은 최대 외부차수 β를 가진 방향성 그래프에서 결함 있는 리스트 색칠을 위한 두 라운드 LOCAL 모델 알고리즘을 제안한다. 각 노드는 크기가 Ω(β²(log β + log log m + log log |C|))인 리스트에서 색을 선택하며, 이는 이전 작업 대비 메시지 크기의 상당한 감소를 달성한다. 결과는 Linial의 색상 감소를 리스트 색칠로 일반화하며, (deg+1)-리스트 색칠의 런타임을 O(√∆log ∆) + log∗n으로 향상시키고, 통신 복잡도를 감소시킨다.

ABSTRACT

Linial's famous color reduction algorithm reduces a given $m$-coloring of a graph with maximum degree $Δ$ to a $O(Δ^2\log m)$-coloring, in a single round in the LOCAL model. We show a similar result when nodes are restricted to choose their color from a list of allowed colors: given an $m$-coloring in a directed graph of maximum outdegree $β$, if every node has a list of size $Ω(β^2 (\log β+\log\log m + \log \log |\mathcal{C}|))$ from a color space $\mathcal{C}$ then they can select a color in two rounds in the LOCAL model. Moreover, the communication of a node essentially consists of sending its list to the neighbors. This is obtained as part of a framework that also contains Linial's color reduction (with an alternative proof) as a special case. Our result also leads to a defective list coloring algorithm. As a corollary, we improve the state-of-the-art truly local $(deg+1)$-list coloring algorithm from Barenboim et al. [PODC'18] by slightly reducing the runtime to $O(\sqrt{Δ\logΔ})+\log^* n$ and significantly reducing the message size (from huge to roughly $Δ$). Our techniques are inspired by the local conflict coloring framework of Fraigniaud et al. [FOCS'16].

연구 동기 및 목표

• 메시지 크기와 런타임을 줄인 진정한 로컬 알고리즘을 개발하여, LOCAL 모델에서 리스트 색칠을 수행한다.
• 노드가 제한된 색상 리스트에서 선택해야 하는 리스트 색칠 환경으로 Linial의 색상 감소를 일반화한다.
• 기존의 (deg+1)-리스트 색칠 알고리즘의 성능을 향상시켜 런타임과 통신 복잡도를 모두 감소시킨다.
• Linial의 색상 감소와 리스트 색칠을 충돌 색칠과 기계적 문제 변환을 통해 통합하는 프레임워크를 제공한다.

제안 방법

• Fraigniaud 등이 제안한 국소적 충돌 색칠 프레임워크를 변형하여, 방향성 그래프에서 리스트 제약 조건을 처리한다.
• 노드가 자신의 로컬 리스트와 이웃 정보를 사용해 충돌을 해결하는 두 라운드 알고리즘을 도입한다.
• 문제 인스턴스(P0, P1, P2)의 기계적 변환을 활용해 일라운드 감소를 시뮬레이션하고, 효율적인 메시지 전달을 가능하게 한다.
• 세트 시스템과 확률적 분석을 사용하여, 결함 있는 제약 조건 하에서 성공적인 색칠을 위한 리스트 크기 요구 조건을 근사한다.
• 이전 알고리즘에서 ∆에 의존하는 요건을 β²(log β + log log m + log log |C|)로 대체하며, 여기서 β는 최대 외부차수이다.
• 프레임워크를 적용하여 런타임 O(√∆log ∆) + log∗n, 메시지 크기 O(∆)를 가지는 (deg+1)-리스트 색칠 알고리즘을 유도하며, 이는 이전 작업을 초월한다.

실험 결과

연구 질문

• RQ1 Linial의 색상 감소는 제한된 색상 리스트에서 색을 선택해야 하는 리스트 색칠 환경으로 확장될 수 있는가?
• RQ2 외부차수 β가 유한한 그래프에서 두 라운드의 결함 있는 리스트 색칠을 위한 최소 리스트 크기는 얼마인가?
• RQ3 진정한 로컬 리스트 색칠에서 메시지 크기를 지수적에서 ∆에 대해 다항식 수준으로 줄일 수 있는가, 동시에 하위선형 런타임을 유지할 수 있는가?
• RQ4 런타임이 o(√log β)를 초과하지 않도록 하면서 리스트 크기 요구 조건에서 log β 요소를 제거하는 것이 가능한가?
• RQ5 기계적 문제 변환을 사용하여 LOCAL 모델에서 효율적인 리스트 색칠 알고리즘을 도출할 수 있는가?

주요 결과

• 최대 외부차수 β를 가진 방향성 그래프에서 두 라운드의 결함 있는 리스트 색칠 알고리즘이 리스트 크기 Ω(β²(log β + log log m + log log |C|))로 색칠을 달성한다.
• 알고리즘은 각 노드당 메시지 크기를 기존의 매우 큰(∆에 대해 지수적) 크기에서 O(∆)로 감소시켜 통신 효율성을 크게 향상시킨다.
• 프레임워크는 Linial의 O(∆²)-색상 감소를 일반화하며, 이를 특수 케이스로 포함하는 다른 증명을 제공한다.
• 향상된 (deg+1)-리스트 색칠 알고리즘은 O(√∆log ∆) + log∗n 라운드 내에 실행되며, 메시지 크기는 O(∆)이다. 이는 런타임과 통신 측면에서 이전 작업을 모두 능가한다.
• 리스트 크기 요구 조건은 ∆에 독립적이며, 오직 β에만 의존하므로 최대 차수 ∆가 큰 그래프에서도 효율적인 색칠이 가능하다.
• 결과는 리스트 크기에서 log β 항이 제거될 수 있음을 시사하지만, 이는 아직 미해결 문제이다.