- 16,191 hits
- 3-edge coloring 4 4 color theorem 4ct Alfred Bray Kempe algorithm Brendan McKay Cahit spiral chains color coloring coloring maps colour cubic graphs different docker edge embedding Euler four Four color four color music four color problem four colors suffice four color theorem Francis Guthrie Fullerene graph graph coloring Graph isomorphism graphs representations Graph theory Gunnar Brinkmann Hamilton homeomorphic impasse isomorphic graphs Java Kempe Kempe chain Kenneth Appel map new features oeis pencil and paper plantri problem proof proper colorings sage sagemath tait Tait coloring theorem tutte Wolfgang Haken
Some rights reserved. Read here.
Tag Archives: Graph theory
I moved all code under github here: https://github.com/stefanutti I organized the folders a little betters (different github repos) I’m experimenting docker to deliver & deploy the Java and Python software I’ll also try to integrate a deep learning module, based on … Continue reading
This post follows directly the previous one. I’m down to a single case to prove (pag. 3). I think I should move to Java coding, implementing the entire algorithm: map reduction (removing edges), color reduced map, restore of edges one at a … Continue reading
Finally I bought two books about the four color theorem: “Four Colors Suffice: How the Map Problem Was Solved” by Robin Wilson e Ian Stewart; and the “The Four-Color Theorem: History, Topological Foundations, and Idea of Proof” by Rudolf Fritsch and Gerda Fritsch. I’am in … Continue reading
😦 Too many more things to do and little time: Filter out duplicates. I finally found a java library to efficiently filter out all isomorphic graphs. It is a library part if the sspace project. Using it I will be able … Continue reading
Hi, I’ve found some time to implement the first version of Cahit Spiral Chains algorithm. I still need to: Find all spiral chains of a given graph and not only one (changing the starting point) I need to implement the … Continue reading
And here is the video that shows how to get a Tait colored map (graph) from a rectangular map.