An unavoidable set of D-reducible configurations

From MaRDI portal
Publication:3065754




Abstract: We give a new proof of the four-color theorem by exhibiting an unavoidable set of 2822 D-reducible configurations. The existence of such a set had been conjectured by several researchers including Stromquist, Appel and Haken, and Robertson, Sanders, Seymour and Thomas.









This page was built for publication: An unavoidable set of \(D\)-reducible configurations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3065754)