Patri's Journal: Current
This is Patri's current journal. It is kept on LiveJournal as patrissimo, but you are reading the archived copy on patrifriedman.com.
Better Four-Color Theorem Proof (comment on this entry at LiveJournal)
Entry Date: 2004-07-08 13:53:00
Logged: 2004-07-08 13:56:15
Current Mood: A Madre Do Que Livrou
Current Music: "Maggie Sansone and Ensemble Galilei-Ancient Noels-Cantiga
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.
Up to Patri's Current Journal Index
Up to Patri's Journal Archives