Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Five color theorem

Known as: Five colour theorem, Five-color map theorem 
The five color theorem is a result from graph theory that given a plane separated into regions, such as a political map of the counties of a state… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
With the help of Neutrosophy and Quad-stage Method, the proof for negation of “the four color theorem” is given. In which the key… Expand
  • figure 1
  • figure 2
Is this relevant?
2012
2012
In this paper, we will define the necessary concepts to formulate map coloring problems. Then, we will prove Euler’s formula and… Expand
Is this relevant?
2009
2009
A formal proof has not been found for the four color theorem since 1852 when Francis Guthrie first conjectured the four color… Expand
  • figure 2
Is this relevant?
2004
2004
We prove τodd(G) ≤ 2Vodd(G) for each planar graph G where vodd(G) is the maximum number of edge-disjoint odd cycles and τodd(G… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2002
2002
Based on a representation of primitive proof objects as λ-terms, which has been built into the theorem prover Isabelle recently… Expand
  • figure 1
Is this relevant?
2002
2002
In this paper, we introduce graph theory, and discuss the Four Color Theorem. Then we prove several theorems, including Euler’s… Expand
Is this relevant?
2000
2000
Abstract In this note, we show that the edges and faces of any plane graph with maximum degree three can be simultaneously… Expand
  • figure 1
Is this relevant?
1981
1981
 
Is this relevant?
1976
1976
 
Is this relevant?
1975
1975
Let f be a face of a plane graph G. The Three and Five Color Theorem proved here states that the vertices of G can be colored… Expand
Is this relevant?