Free Republic
Browse · Search
General/Chat
Topics · Post Article

To: djf

My understanding is the “4-color map” question was answered in a brute force way, and not so much as proof.


27 posted on 05/24/2010 7:05:13 PM PDT by RangerM (A liberal is a man too broadminded to take his own side in a quarrel - Robert Frost.)
[ Post Reply | Private Reply | To 16 | View Replies ]


To: RangerM

I think it was done via computer.


28 posted on 05/24/2010 7:21:16 PM PDT by djf
[ Post Reply | Private Reply | To 27 | View Replies ]

To: RangerM

Their job was to prove that the set of test cases they created was complete, and that the computer algorithm exhaustively examined those cases.

There were several small corrections and refinements of the proof in subsequent years.


33 posted on 05/24/2010 8:58:19 PM PDT by Erasmus (Looks like we're between a lithic outcropping and a region of low compressibility.)
[ Post Reply | Private Reply | To 27 | View Replies ]

Free Republic
Browse · Search
General/Chat
Topics · Post Article


FreeRepublic, LLC, PO BOX 9771, FRESNO, CA 93794
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson