Fully-dynamic $\alpha + 2$ Arboricity Decomposition and Implicit Colouring

TL;DR

This paper introduces new algorithms for implicit dynamic graph coloring and arboricity decomposition that improve efficiency and reduce the number of colors needed, with applications in dynamic graph management.

Contribution

It presents a fully-dynamic algorithm for $ ext{alpha}+2$ arboricity decomposition and an implicit coloring method with significantly fewer colors and efficient update/query times.

Findings

Maintains implicit coloring with $4 imes 2^ ext{alpha}$ colors in poly-logarithmic update time.

Provides a fully-dynamic $ ext{alpha}+2$ arboricity decomposition matching static near-linear algorithms.

Develops a deterministic, worst-case algorithm for bounded out-degree orientations with efficient update time.

Abstract

In the implicit dynamic colouring problem, the task is to maintain a representation of a proper colouring as a dynamic graph is subject to insertions and deletions of edges, while facilitating interspersed queries to the colours of vertices. The goal is to use few colours, while still efficiently handling edge-updates and responding to colour-queries. For an n-vertex dynamic graph of arboricity $\alpha$, we present an algorithm that maintains an implicit vertex colouring with $4\cdot2^\alpha$ colours, in amortised poly-$(\log n)$ update time, and with $O({\alpha} log n)$ worst-case query time. The previous best implicit dynamic colouring algorithm uses $2^{40\alpha}$) colours, and has a more efficient update time of $O(\log^3 n)$ and the same query time of $O({\alpha} log n)$ [Henzinger et al'20]. For graphs undergoing arboricity $\alpha$ preserving updates, we give a fully-dynamic $\alpha+2$ arboricity decomposition in poly$(\log n,\alpha)$ time, which matches the number of forests in the best near-linear static algorithm by Blumenstock and Fischer [2020] who obtain $\alpha+2$ forests in near-linear time. Our construction goes via dynamic bounded out-degree orientations, where we present a fully-dynamic explicit, deterministic, worst-case algorithm for $\lfloor (1+\varepsilon)\alpha \rfloor + 2$ bounded out-degree orientation with update time $O(\varepsilon^{-6}\alpha^2 \log^3 n)$. The state-of-the-art explicit, deterministic, worst-case algorithm for bounded out-degree orientations maintains a $\beta\cdot \alpha + \log_{\beta} n$ out-orientation in $O(\beta^2\alpha^2+\beta\alpha\log_{\beta} n)$ time [Kopelowitz et al'13].