Sepehr Assadi ; Pankaj Kumar ; Parth Mittal - Brooks' Theorem in Graph Streams: A Single-Pass Semi-Streaming Algorithm for $\Delta$-Coloring

theoretics:9739 - TheoretiCS, August 25, 2023, Volume 2 - https://doi.org/10.46298/theoretics.23.9
Brooks' Theorem in Graph Streams: A Single-Pass Semi-Streaming Algorithm for $\Delta$-ColoringArticle

Authors: Sepehr Assadi ; Pankaj Kumar ; Parth Mittal

    Every graph with maximum degree $\Delta$ can be colored with $(\Delta+1)$ colors using a simple greedy algorithm. Remarkably, recent work has shown that one can find such a coloring even in the semi-streaming model. But, in reality, one almost never needs $(\Delta+1)$ colors to properly color a graph. Indeed, the celebrated \Brooks' theorem states that every (connected) graph beside cliques and odd cycles can be colored with $\Delta$ colors. Can we find a $\Delta$-coloring in the semi-streaming model as well? We settle this key question in the affirmative by designing a randomized semi-streaming algorithm that given any graph, with high probability, either correctly declares that the graph is not $\Delta$-colorable or outputs a $\Delta$-coloring of the graph. The proof of this result starts with a detour. We first (provably) identify the extent to which the previous approaches for streaming coloring fail for $\Delta$-coloring: for instance, all these approaches can handle streams with repeated edges and they can run in $o(n^2)$ time -- we prove that neither of these tasks is possible for $\Delta$-coloring. These impossibility results however pinpoint exactly what is missing from prior approaches when it comes to $\Delta$-coloring. We then build on these insights to design a semi-streaming algorithm that uses $(i)$ a novel sparse-recovery approach based on sparse-dense decompositions to (partially) recover the "problematic" subgraphs of the input -- the ones that form the basis of our impossibility results -- and $(ii)$ a new coloring approach for these subgraphs that allows for recoloring of other vertices in a controlled way without relying on local explorations or finding "augmenting paths" that are generally impossible for semi-streaming algorithms. We believe both these techniques can be of independent interest.


    Volume: Volume 2
    Published on: August 25, 2023
    Accepted on: April 13, 2023
    Submitted on: June 24, 2022
    Keywords: Computer Science - Data Structures and Algorithms,F.2
    Funding:
      Source : OpenAIRE Graph
    • CAREER: Graph Streaming, Communication Games, and the Quest for Optimal Algorithms; Funder: National Science Foundation; Code: 2047061
    • Combinatorial Structures and Processes; Funder: European Commission; Code: 823748

    Consultation statistics

    This page has been seen 309 times.
    This article's PDF has been downloaded 160 times.