🤖 AI Summary
This study addresses the bottlenecks of high communication overhead and excessive color usage in edge coloring under the two-party edge-partitioned model. To overcome these limitations, this work proposes a novel randomized coloring procedure alongside a two-party constructive Lovász Local Lemma. By integrating Las Vegas protocols with distributed randomized algorithms, it designs efficient coordination mechanisms applicable to both public-coin and private-coin settings. The proposed approach achieves correct edge coloring using $(1+\varepsilon)\Delta$ colors while reducing the expected communication volume to $o(n)$ or even $O(1)$ bits. Furthermore, it substantially decreases the number of communication rounds. Overall, this method significantly outperforms existing techniques in low-coordination communication regimes, offering a highly efficient solution for distributed edge coloring problems.
📝 Abstract
We study edge coloring in the two-party edge-partition model, where Alice and Bob each know part of the edge set and must jointly produce a proper coloring with little communication. Previous work gave a deterministic $(2Δ-1)$-edge-coloring protocol using $O(n)$ bits, leaving open whether fewer colors can be obtained efficiently.
We simultaneously reduce both the number of colors and the communication. For every fixed $\varepsilon>0$ and all sufficiently large $Δ$, we give a public-coin Las Vegas protocol that finds a proper $(1+\varepsilon)Δ$-edge coloring using $O(ne^{-γΔ} + 1)$ expected bits and $O\left(\frac{\log n}Δ+1\right)$ expected rounds, where $γ>0$ depends only on $\varepsilon$. Thus, the expected communication is $o(n)$ when $Δ=ω(1)$ and $O(1)$ when $Δ\ge C_\varepsilon\log n$, for a sufficiently large constant $C_\varepsilon$. Using only private coins adds $O(\log n)$ expected bits.
Our key idea is a new randomized coloring procedure that allows Alice and Bob to color their edges using essentially the same color space with only a small amount of coordination, so most of their random choices remain private. To make this procedure succeed, we develop a communication-efficient constructive Lovász local lemma (LLL) for two parties.
Our two-party constructive LLL is also of independent interest. We illustrate its broader applicability by applying it to standard LLL formulations of several other classical problems, obtaining communication-efficient two-party protocols.