Efficiently four-coloring planar graphs

@inproceedings{Robertson1996EfficientlyFP,
  title={Efficiently four-coloring planar graphs},
  author={Neil Robertson and Daniel P. Sanders and Paul D. Seymour and Robin Thomas},
  booktitle={STOC '96},
  year={1996}
}
An outline of aquadratic algorithm to 4-color planar graphs is presented, based upon anew proof of the Four Color Theorem. This algorithm improves aquartic algorithm of Appel and Haken. 
View on ACM
doi.org
110 Citations
Highly Influential Citations
6
Background Citations
36
Methods Citations
28

Figures from this paper

110 Citations

Citation Type

Citation Type

Fast 3-coloring Triangle-Free Planar Graphs
TLDR
The first o(n2) algorithm for 3-coloring vertices of triangle-free planar graphs is shown, showing the time complexity of the algorithm is $\mathcal{O}(n\log n)$.
On Equivalent Color Transform and Four Coloring Theorem
TLDR
A simple proof for four color theorem for planar graph is proposed based on ECT for a minimal $k-coloring of any graph G by removing redundant edges between any two vertices.
Acyclically 3-colorable planar graphs
TLDR
This paper shows that there exist infinite classes of cubic planar graphs that are not acyclically 3-colorable, and describes the series-parallel graphs for which every 3-coloring is acyClic and provides a linear-time recognition algorithm for such graphs.
Approximating maximum integral multiflows on bounded genus graphs
We devise the first constant-factor approximation algorithm for finding an integral multi-commodity flow of maximum total value for instances where the supply graph together with the demand edges can…
Recent Excluded Minor Theorems
We discuss splitter theorems for internally 4-connected graphs and for cyclically 5-connected cubic graphs, the graph minor theorem, link-less embeddings, Hadwiger's conjecture, Tutte's edge…
Non-Monochromatic and Conflict-Free Colorings on Tree Spaces and Planar Network Spaces
TLDR
It is found that any set of n intervals in R 1 admits a non-monochromatic coloring with two colors and a conflict-free coloring with three colors, which generalizes to colorings of objects in more complex 1-dimensional spaces.
Non-Monochromatic and Conflict-Free Coloring on Tree Spaces and Planar Network Spaces
TLDR
This work investigates generalizations of any set of n intervals in \(\mathbb {R} ^1\) admits a non-monochromatic coloring with two colors and a conflict-free coloring with three colors to colorings of objects in more complex 1-dimensional spaces, namely so-called tree spaces and planar network spaces.
Disjoint Total Dominating Sets in Near-Triangulations
We show that every simple planar near-triangulation with minimum degree at least three contains two disjoint total dominating sets. The class includes all simple planar triangulations other than the…
Coloring Eulerian Triangulations of the Klein Bottle
We show that an Eulerian triangulation of the Klein bottle has chromatic number equal to six if and only if it contains a complete graph of order six, and it is 5-colorable, otherwise. As a…
Triangle-Free Penny Graphs: Degeneracy, Choosability, and Edge Count
We show that triangle-free penny graphs have degeneracy at most two, list coloring number (choosability) at most three, diameter $D=\Omega(\sqrt n)$, and at most $\min\bigl(2n-\Omega(\sqrt…
...
...

References

SHOWING 1-10 OF 16 REFERENCES
A Linear 5-Coloring Algorithm of Planar Graphs
Every Planar Graph Is 5-Choosable
We prove the statement of the title, which was conjectured in 1975 by V. G. Vizing and, independently, in 1979 by P. Erdos, A. L. Rubin, and H Taylor.
The Four-Colour Theorem
TLDR
Another proof is given, still using a computer, but simpler than Appel and Haken's in several respects, that every loopless planar graph admits a vertex-colouring with at most four different colours.
Every Planar Map Is Four Colorable
As has become standard, the four color map problem will be considered in the dual sense as the problem of whether the vertices of every planar graph (without loops) can be colored with at most four…
Some Simplified NP-Complete Graph Problems
Six-Rings in Minimal Five-Color Maps
Introduction. Kempe 1 and Heawood 2 have shown that five colors are sufficient for coloring any map on a sphere. We conjecture the existence of some maps for which five colors are necessary, and seek…
The Reducibility of Maps
Map-Colour Theorem
Über den kartographischen Vierfarbensatz
Untersuchungen zum Vierfarbenproblem
...
...