This article studies the fundamental problem of graph coloring in fully dynamic graphs. Since the problem of computing an optimal coloring, or even approximating it to within n1-εfor any ε > 0, is NP-hard in static graphs, there is no hope to achieve any meaningful computational results for general graphs in the dynamic setting. It is therefore only natural to consider the combinatorial aspects of dynamic coloring or alternatively, study restricted families of graphs.Toward understanding the combinatorial aspects of this problem, one may assume a black-box access to a static algorithm forC-coloring any subgraph of the dynamic graph, and investigate the trade-off between the number of colors and the number of recolorings per update step. Optimizing the number of recolorings, sometimes referred to as the recourse bound, is important for various practical applications. In WADS ’17, Barba et al. devised two complementary algorithms: for any β > 0, the first (respectively, second) maintains anO(Cβn1/β)(respectively,O(Cβ)-coloring while recoloring O(β) (respectively, O(βn1/β)) vertices per update. Barba et al. also showed that the second trade-off appears to exhibit the right behavior, at least for β = O(1): any algorithm that maintains aC-coloring of ann-vertex dynamic forest must recolor Ω (n2C(C-1)) vertices per update, for any constant C ≥ 2. Our contribution is twofold:• We devise a new algorithm for general graphs that improves significantly upon the first trade-off in a wide range of parameters: for any β > 0, we get a Ô (Cβlog2n)-coloring with O(β) recolorings per update, where the Ô notation suppressespolyloglog(n)factors. In particular, for β = O(1), we get constant recolorings withpolylog(n)colors; not only is this an exponential improvement over the previous bound but also it unveils a rather surprising phenomenon: the trade-off between the number of colors and recolorings is highly non-symmetric.• For uniformly sparse graphs, we use low out-degree orientations to strengthen the preceding result by bounding the update time of the algorithm rather than the number of recolorings. Then, we further improve this result by introducing a new data structure that refines bounded out-degree edge orientations and is of independent interest. From this data structure, we get a deterministic algorithm for graphs of arboricity ɑ that maintains an O(ɑ log2n)-coloring in amortized O(1) time.
Read full abstract