Home

Previous Entry | Next Entry

Better Four-Color Theorem Proof

  • Jul. 8th, 2004 at 1:53 PM
side-beard-flip
This news is 10 years old, but I hadn't realized that a better 4CT proof had been found than the original laborious computer generated one. This one still uses a computer, but with half the number of cases, a tenth the number of rules, and results in a quadratic (rather than quartic) algorithm for four-coloring.
  • Mood:enthusiastic
  • Music:Maggie Sansone and Ensemble Galilei-Ancient Noels-Cantiga, A Madre Do Que Livrou

Comments

( Leave a comment )
[info]yoak wrote:
Jul. 8th, 2004 03:57 pm (UTC)
If that problem interests you, you may enjoy this:

http://www.amazon.com/exec/obidos/tg/detail/-/0691115338/qid=1089327421/sr=8-1/ref=pd_ka_1/102-4394108-8590503?v=glance&s=books&n=507846

I happened upon this book while browsing at a Borders and read 30 pages while snarfing coffee and liked it enough to purchase it and finish it. Yummy.

| Reply | Thread
( Leave a comment )