In this paper, we consider algorithms for edge-coloring multigraphs $G$ of bounded maximum degree, i.e., $\Delta(G) = O(1)$. Shannon's theorem states that any multigraph of maximum degree $\Delta$ can be properly edge-colored with $\lfloor3\Delta/2\rfloor$ colors. Our main results include algorithms for computing such colorings. We design deterministic and randomized sequential algorithms with running time $O(n\log n)$ and $O(n)$, respectively. This is the first improvement since the $O(n^2)$ algorithm in Shannon's original paper, and our randomized algorithm is optimal up to constant factors. We also develop distributed algorithms in the $\mathsf{LOCAL}$ model of computation. Namely, we design deterministic and randomized $\mathsf{LOCAL}$ algorithms with running time $\tilde O(\log^5 n)$ and $O(\log^2n)$, respectively. The deterministic sequential algorithm is a simplified extension of earlier work of Gabow et al. in edge-coloring simple graphs. The other algorithms apply the entropy compression method in a similar way to recent work by the author and Bernshteyn, where the authors design algorithms for Vizing's theorem for simple graphs. We also extend those results to Vizing's theorem for multigraphs.
翻译:本文研究最大度有界(即$\Delta(G)=O(1)$)的多重图$G$的边着色算法。香农定理指出,任何最大度为$\Delta$的多重图均可使用$\lfloor 3\Delta/2 \rfloor$种颜色进行正常边着色。我们的主要结果包括计算此类着色的算法。我们设计了运行时间分别为$O(n\log n)$和$O(n)$的确定性与随机化顺序算法。这是自香农原始论文中$O(n^2)$算法以来的首次改进,且我们的随机化算法在常数因子意义下是最优的。我们还开发了$\mathsf{LOCAL}$计算模型下的分布式算法。具体而言,我们设计了运行时间分别为$\tilde O(\log^5 n)$和$O(\log^2 n)$的确定性与随机化$\mathsf{LOCAL}$算法。确定性顺序算法是对Gabow等人在简单图边着色早期工作的简化扩展。其他算法采用熵压缩方法,与作者及Bernshteyn近期关于简单图Vizing定理的算法工作类似。我们还将这些结果扩展至多重图的Vizing定理。