O-cycles, vertex-oriented graphs, and the four colour theore

Ortho Flint, Stuart Rankin

In 1880, P. G. Tait showed that the four colour theorem is equivalent to the assertion that every 3-regular planar graph without cut-edges is 3-edge-colourable, and in 1891, J. Pet…