Faster Deterministic Streaming Vertex Coloring

2026-05-08

AI Summary

This work addresses a central challenge in the semi-streaming model: achieving efficient deterministic vertex coloring with few colors and near-linear memory. The paper presents the first deterministic semi-streaming algorithm that, using only Õ(n) memory, computes an O(Δ)-coloring in O(√log Δ) rounds, where Δ denotes the maximum degree of the graph. By integrating multi-pass edge-stream processing with a novel coloring strategy, this approach simultaneously achieves a number of colors linear in Δ and a number of rounds sublogarithmic in Δ—marking the first such result to break the longstanding trade-off between round complexity and color count that has constrained prior deterministic algorithms.

Abstract

Graph coloring is a fundamental problem in computer science. In the semi-streaming model, an input graph $G$ on $n$ vertices and maximum degree $Δ$ is presented as a stream of edges, and the goal is to compute a vertex coloring using a small number of colors while storing only $\tilde{O}(n)$ bits of memory. Recent work has revealed an exponential separation between randomized and deterministic approaches in this setting: while randomized algorithms can achieve a $(Δ+1)$-coloring in a single pass [Assadi, Chen, and Khanna, 2019], any single-pass deterministic algorithm requires $\exp(Δ^{Ω(1)})$ colors [Assadi, Chen, and Sun, 2022]. Consequently, deterministic algorithms that use few colors must necessarily make multiple passes over the stream. Prior to this work, the best known deterministic trade-offs were: an $O(Δ^2)$-coloring in 2 passes, an $O(Δ)$-coloring in $O(\log Δ)$ passes [Assadi, Chen, and Sun, 2022], and a $(Δ+1)$-coloring in $O(\log Δ\cdot \log\log Δ)$ passes [Assadi, Chakrabarti, Ghosh, and Stoeckl, 2023]. It remained open whether better trade-offs -- particularly with sub-logarithmic pass complexity and linear-in-$Δ$ palette size -- were achievable. In this paper, we present a new deterministic semi-streaming algorithm that computes an $O(Δ)$-coloring in $O(\sqrt{\log Δ})$ passes. This is the first deterministic streaming algorithm to achieve a coloring with palette size linear-in-$Δ$ using sublogarithmic-in-$Δ$ passes.

Problem

• graph coloring
• deterministic algorithm
• semi-streaming model
• vertex coloring
• pass complexity

Innovation

• deterministic streaming
• graph coloring
• semi-streaming model
• sublogarithmic passes
• O(Δ)-coloring