Tight Bounds for Online Edge Coloring

• Published in: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) pp. 1 - 25
• Main Authors: Cohen, Ilan Reuven, Peng, Binghui, Wajc, David
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.11.2019
• Subjects: adversarial arrivals; Bipartite graph; Color; Computational modeling; edge coloring; Greedy algorithms; Heuristic algorithms; online algorithms; online coloring; Stochastic processes; Switches
• ISSN: 2575-8454
• DOI: 10.1109/FOCS.2019.00010

Vizing's celebrated theorem asserts that any graph of maximum degree Δ admits an edge coloring using at most Δ+1 colors. In contrast, Bar-Noy, Motwani and Naor showed over a quarter century ago that the trivial greedy algorithm, which uses 2Δ-1 colors, is optimal among online algorithms. Their lower bound has a caveat, however: it only applies to low-degree graphs, with Δ=O(log n), and they conjectured the existence of online algorithms using Δ(1+o(1)) colors for Δ=ω(log n). Progress towards resolving this conjecture was only made under stochastic arrivals (Aggarwal et al., FOCS'03 and Bahmani et al., SODA'10). We resolve the above conjecture for adversarial vertex arrivals in bipartite graphs, for which we present a (1+o(1))Δ-edge-coloring algorithm for Δ=ω(log n) known a priori. Surprisingly, if Δ is not known ahead of time, we show that no (e/(e-1) - Ω(1)) Δ-edge-coloring algorithm exists. We then provide an optimal, (e/(e-1)+o(1)) Δ-edge-coloring algorithm for unknown Δ=ω(log n). To obtain our results, we study a nonstandard fractional relaxation for edge coloring, for which we present optimal fractional online algorithms and a near-lossless online rounding scheme, yielding our optimal randomized algorithms.