The DICT Development Group

Search for:
Search type:

Database copyright information
Server information

1 definition found
 for four colour map theorem
From The Free On-line Dictionary of Computing (30 December 2018) :

  four colour map theorem
  four colour theorem
      (Or "four colour theorem") The
     theorem stating that if the plane is divided into connected
     regions which are to be coloured so that no two adjacent
     regions have the same colour (as when colouring countries on a
     map of the world), it is never necessary to use more than four
     The proof, due to Appel and Haken, attained notoriety by using
     a computer to check tens of thousands of cases and is thus not
     humanly checkable, even in principle.  Some thought that this
     brought the philosophical status of the proof into doubt.
     There are now rumours of a simpler proof, not requiring the
     use of a computer.
     See also chromatic number

Contact=webmaster@dict.org Specification=RFC 2229