New four-color proof yields more efficient algorithm and graph insights
1 Sep 10 · 13d ago · 2 articles · 1 post · 2 sources · development 1 of 1
Quanta Magazine reports that the new proof, despite being computationally complex, provides a far more efficient way to color maps and uncovers new insights into planar graph properties that may enable progress on other stubborn graph theory problems. The team will present findings at the November Foundations of Computer Science conference.
“For such a simple statement, there must be a simpler reason why it is true. Or at least a more efficient way to demonstrate it.”
Mikkel ThorupMikkel Thorup Computer scientist, University of CopenhagenCarsten Thomassen Graph theorist, Technical University of DenmarkKen-ichi Kawarabayashi MathematicianBojan Mohar MathematicianGeorges Gonthier Computer scientist, Inria Paris
The whole story articlesposts the bright band is this development · numbered dots are the others · click one to jump
What was reported 1 claim about this development
-
first by Quanta Magazine, 13d ago · also HN Frontpage, Quanta
What people said 3 voices · verbatim
-
By revisiting a famous problem first controversially solved with computer assistance in the 1970s, mathematicians have developed a rare new proof of the four-colour theorem and deepened understanding # science # mathematics # proofs https://www. quantamagazine.org/the-four-co…
-
After nearly a decade of work, a team of researchers has re-proved the four-color theorem, a problem with a long history of false starts and dashed hopes. Their method opens up the potential for progress on many other stubborn problems in graph theory. — www.quantamagazine.org/the-four- col...
-
S
"[I]n the process of crafting their argument, the researchers provided a far more efficient way to color maps. And in doing so, they uncovered new insights into structural properties of important mathematical objects called planar graphs — opening up the potential for progress on many other stubborn problems in graph theory." https://www…
All 1 developments of Danish-led team produces new proof of century-old… →
NewswiresHacker NewsGoogle NewsBlueskyMastodon