[论文解读] Arboricity-Dependent Algorithms for Edge Coloring

Sayan Bhattacharya, Martín Costa+2 more|arXiv (Cornell University)|Nov 14, 2023

Advanced Graph Theory Research被引用 1

一句话总结

本文提出了一种确定性动态算法，可在 Õ(1) 摊还更新时间内维护一个 (∆ + O(α))-边着色，其中 ∆ 为最大度数，α 为图的可度数性。通过利用低可度数性所隐含的稀疏性，该算法采用分层分解与重着色过程，高效处理边的插入与删除操作，从而在可度数性有界的图中实现近乎常数的更新时间。

ABSTRACT

The problem of edge coloring has been extensively studied over the years. Recently, this problem has received significant attention in the dynamic setting, where we are given a dynamic graph evolving via a sequence of edge insertions and deletions and our objective is to maintain an edge coloring of the graph. Currently, it is not known whether it is possible to maintain a (Δ + O(Δ^(1-μ)))-edge coloring in Õ(1) update time, for any constant μ > 0, where Δ is the maximum degree of the graph. In this paper, we show how to efficiently maintain a (Δ + O(α))-edge coloring in Õ(1) amortized update time, where α is the arboricty of the graph. Thus, we answer this question in the affirmative for graphs of sufficiently small arboricity.

研究动机与目标

• 解决一个开放问题：是否可在 Õ(1) 更新时间内维护一个 (∆+O(∆¹⁻ᵘ))-边着色，适用于动态图。
• 设计一种动态算法，能够随时间适应 ∆ 和 α 的变化，在每个时间步 t 维持使用 ∆ₜ + (4+ϵ)αₜ 种颜色的正确着色。
• 提供一种对可度数性较低的图高效的解决方案，此类图包括平面图、有界树宽图以及现实世界网络。
• 在保持近乎常数更新时间的同时，实现颜色数量的次线性加法近似，克服先前方法的局限性。

提出的方法

• 该算法使用一种分层边分解系统，其中边根据其在动态可度数性分解中的层级被划分为 L 个层级。
• 它维护一种“良好”的边着色，使得每条边 e=(u,v) 满足 u≺Lv 时，其颜色 χ(e) ≤ deg(v) + 2β(1+ϵ)²α̃L(e)，从而确保颜色约束得到满足。
• 每次更新（插入或删除）后，该算法识别并取消违反着色条件的边，形成一组未着色边 S。
• 然后应用重着色过程 ExtendColoring(S)，以自顶向下的方式逐层处理未着色边，贪心地分配颜色，同时遵守度数与层级约束。
• 分解系统以 O(L²/ϵ) 的摊还资源消耗得以维护，且该算法确保仅受度数变化或层级变动影响的边才被重新着色。
• 其关键创新在于使用分层结构，限制每次更新所需重着色的边数，从而实现 Õ(1) 的摊还更新时间。

实验结果

研究问题

• RQ1 是否可在任意常数 µ>0 下，以 Õ(1) 更新时间维护一个动态边着色算法，实现 (∆+O(∆¹⁻ᵘ))-边着色？
• RQ2 对于可度数性较低的图，即使 ∆ 很大，是否也能实现边着色的近乎常数更新时间？
• RQ3 如何设计一种动态算法，高效适应 ∆ 和 α 随时间的变化，同时维持正确的着色？
• RQ4 在动态图中，为维持一个 (∆+O(α))-着色，所需的最小资源消耗（每次更新的着色更改次数）是多少？
• RQ5 能否利用低可度数性图的结构性质，设计高效的动态边着色算法？

主要发现

• 该算法以 O(log⁶n/ϵ⁶) 的摊还更新时间维持一个 (∆ + (4+ϵ)α)-边着色，为可度数性 α=O(∆¹⁻ᵘ) 的图正面回答了核心问题。
• 该算法实现了 O(log⁴n/ϵ⁵) 的摊还资源消耗，意味着每次更新仅需重新着色少量边。
• 对于可度数性有界的图，更新时间实际上为常数（Õ(1)），使其在稀疏动态图中极为高效。
• 该算法具有自适应性：即使 ∆ 和 α 随时间演变，它也能在每个时间步 t 维持使用 ∆ₜ + (4+ϵ)αₜ 种颜色的正确着色。
• 一个结构性结果表明，任何 (∆+(2+ϵ)α)-着色均可通过仅重着色 O(log n/ϵ) 条边来扩展，以包含任意未着色边。
• 该方法对动态变化具有鲁棒性：在插入或删除操作后，仅受分解中度数变化或层级变动影响的边才被重新着色，从而确保效率。