Table of Contents
Fetching ...

Fast and Simple $(1+ε)Δ$-Edge-Coloring of Dense Graphs

Abhishek Dhawan

TL;DR

We address fast, high-probability $(1+\varepsilon)\Delta$-edge-coloring for dense graphs by combining a flagging strategy with a shifting variant of Vizing chains. The two-stage approach colors most edges in Stage 1 using disjoint palettes and short augmenting structures, then completes the coloring in Stage 2 with a folklore $(2+\varepsilon)\Delta$-edge-coloring routine. The main technical contribution is showing that the set of flagged edges forms a subgraph with maximum degree $O(\varepsilon\Delta)$ w.h.p., enabling a final colouring in near-linear time: $O\left(m\log^3\Delta/\varepsilon^2\right)$. The method achieves high-probability correctness under $\Delta = \Omega\left(\max\left\{\frac{\log n}{\varepsilon},\left(\frac{1}{\varepsilon}\log\frac{1}{\varepsilon}\right)^2\right\}\right)$ and improves upon prior results for a broad range of parameters, while remaining simple to implement. This advances practical edge-coloring for dense graphs and complements existing dynamic and two-stage approaches.

Abstract

Let $ε\in (0, 1)$ and $n, Δ\in \mathbb N$ be such that $Δ= Ω\left(\max\left\{\frac{\log n}ε,\, \left(\frac{1}ε\log \frac{1}ε\right)^2\right\}\right)$. Given an $n$-vertex $m$-edge simple graph $G$ of maximum degree $Δ$, we present a randomized $O\left(m\,\log^3 Δ\,/\,ε^2\right)$-time algorithm that computes a proper $(1+ε)Δ$-edge-coloring of $G$ with high probability. This improves upon the best known results for a wide range of the parameters $ε$, $n$, and $Δ$. Our approach combines a flagging strategy from earlier work of the author with a shifting procedure employed by Duan, He, and Zhang for dynamic edge-coloring. The resulting algorithm is simple to implement and may be of practical interest.

Fast and Simple $(1+ε)Δ$-Edge-Coloring of Dense Graphs

TL;DR

We address fast, high-probability -edge-coloring for dense graphs by combining a flagging strategy with a shifting variant of Vizing chains. The two-stage approach colors most edges in Stage 1 using disjoint palettes and short augmenting structures, then completes the coloring in Stage 2 with a folklore -edge-coloring routine. The main technical contribution is showing that the set of flagged edges forms a subgraph with maximum degree w.h.p., enabling a final colouring in near-linear time: . The method achieves high-probability correctness under and improves upon prior results for a broad range of parameters, while remaining simple to implement. This advances practical edge-coloring for dense graphs and complements existing dynamic and two-stage approaches.

Abstract

Let and be such that . Given an -vertex -edge simple graph of maximum degree , we present a randomized -time algorithm that computes a proper -edge-coloring of with high probability. This improves upon the best known results for a wide range of the parameters , , and . Our approach combines a flagging strategy from earlier work of the author with a shifting procedure employed by Duan, He, and Zhang for dynamic edge-coloring. The resulting algorithm is simple to implement and may be of practical interest.
Paper Structure (13 sections, 12 theorems, 28 equations, 9 figures, 1 table, 3 algorithms)

This paper contains 13 sections, 12 theorems, 28 equations, 9 figures, 1 table, 3 algorithms.

Key Result

Theorem 1.1

If $G$ is a simple graph of maximum degree $\Delta$, then $\chi'(G) \leq \Delta + 1$.

Figures (9)

  • Figure 1: The process of augmenting a Vizing chain $(F, P)$.
  • Figure 2: The flagging procedure of dhawan2024simple.
  • Figure 3: The process of shifting an uncolored edge along a Vizing chain.
  • Figure 4: An example of reaching Step \ref{['step:fail']} when $t = 4$.
  • Figure 5: The process of shifting a fan.
  • ...and 4 more figures

Theorems & Definitions (20)

  • Theorem 1.1: Vizing's Theorem vizing1965chromatic
  • Theorem 1.2
  • Corollary 1.3: Corollary to assadi2024faster
  • Definition 1.1: Augmenting subgraphs; bernshteyn2024linear
  • Definition 2.1: Fans; dhawan2024simple
  • Definition 2.2: Alternating Paths; dhawan2024simple
  • Definition 2.3: Vizing chains; dhawan2024simple
  • Proposition 2.1: dhawan2024simple
  • Lemma 3.1: dhawan2024simple
  • Lemma 3.2: dhawan2024simple
  • ...and 10 more