[论文解读] Decentralized Distributed Graph Coloring II: Degree+1-Coloring Virtual Graphs

Maxime Flin, Magnús M. Halldórsson+1 more|arXiv (Cornell University)|Jan 1, 2024

Advanced Graph Theory Research被引用 1

一句话总结

本文提出了一种针对嵌入在通信网络中的虚拟图的去中心化分布式算法，用于度+1着色，其中虚拟图 H 中的每个节点由物理网络 G 中的一组机器支持。通过利用松弛生成、cabal 分解以及在支持树上的高效消息聚合，该算法在恒定负载的虚拟图上实现了 O(log⁴ log n) 轮着色，几乎与标准图着色的效率相当。

ABSTRACT

Graph coloring is fundamental to distributed computing. We give the first general treatment of the coloring of virtual graphs, where the graph $H$ to be colored is locally embedded within the communication graph $G$. Besides generalizing classical distributed graph coloring (where $H=G$), this captures other previously studied settings, including cluster graphs and power graphs. We find that the complexity of coloring a virtual graph depends on the edge congestion of its embedding. The main question of interest is how fast we can color virtual graphs of constant congestion. We find that, surprisingly, these graphs can be colored nearly as fast as ordinary graphs. Namely, we give a $O(\log^4\log n)$-round algorithm for the deg+1-coloring problem, where each node is assigned more colors than its degree. This can be viewed as a case where a distributed graph problem can be solved even when the operation of each node is decentralized.

研究动机与目标

• 形式化定义嵌入在通信网络中的虚拟图概念，推广经典分布式图着色问题中 H = G 的情形。
• 研究边负载和延展性对虚拟图设置下分布式图着色复杂度的影响。
• 为在有界负载和延展性条件下实现虚拟图的快速、去中心化 deg+1-着色，提出一种高效算法。
• 通过在嵌入约束下实现近乎最优的轮数复杂度，弥合标准图着色与虚拟图着色之间的差距。

提出的方法

• 引入嵌入在通信网络 G 中的虚拟图 H，其中 H 中的每个节点 v 由 G 中的一组机器支持，并通过支持树连接。
• 将负载 c 定义为 G 中任意单条链路被最多多少条支持树使用，将延展性 d 定义为任意支持树的最大直径。
• 采用松弛生成阶段，创建比度数更大的颜色列表，以支持高效的随机颜色尝试。
• 使用 cabal 分解将节点划分为高、低度组件，从而对不同类型节点进行针对性处理。
• 在随机尝试后，通过破碎化和确定性着色阶段解决未着色组件，利用支持树上的高效广播与汇聚广播。
• 通过利用支持树的结构并借助集中不等式控制轮数，优化消息传递与计算。

实验结果

研究问题

• RQ1 是否可以使用度+1颜色列表在 poly(log log n) 轮内对具有恒定负载的虚拟图进行着色？
• RQ2 边负载和延展性如何影响嵌入式环境中分布式图着色的轮数复杂度？
• RQ3 是否可以利用松弛生成与 cabal 分解实现在虚拟图中的快速、去中心化着色？
• RQ4 即使通信图 G 与输入图 H 不同，是否仍可实现虚拟图着色的近乎最优复杂度？
• RQ5 在最大伪度较低的图上，该算法是否可被加速？

主要发现

• 本文提出了一种 O(log⁴ log n) 轮的 deg+1-着色算法，适用于具有恒定负载和延展性的虚拟图，显著优于先前的界。
• 对于最大伪度 ∆low ∈ O(log n / log log n) 的图，该算法在 O(log³ log n) 轮内运行，与当前最先进的 CONGEST 复杂度一致。
• 通过随机颜色尝试实现的松弛生成减少了未着色组件的数量，从而在后续阶段实现高效的确定性着色。
• 该算法利用支持树结构执行高效的广播与汇聚广播操作，基本操作的总运行时间被限制在 O(cd) 内。
• 该方法对多图嵌入具有鲁棒性，并能处理多个支持树在单台机器上相交的情况。
• 结果表明，当负载有界时，虚拟图着色的复杂度并不天然高于标准图着色。