Re:Computational proofs (Score 1)

The known proof of the 4CT is to show that there is no minimal counter-example (no map that require five colors). But this approach is like searching a finite number cases within of huge number of maps (triangulated planar graphs). Furthermore for each configuaration a coloring algorithm must be employed to show that they are 4-colorable. Certainly this is not a constructive proof. The constructive proof which I have proposed is that you devise an coloring algorithm based on the property of the maximal planar graph (here property is the nested spiral chains). Then backward coloring of these spiral chains and showing that no more than four colors are required for any maximal planar graph. In the game of Rubik's cube the 25 moves is an attained upper bound like to say 5 colors is suffice to color any map (elegant proof is an old result of Heawood). That is why the next open case for this problem is 24 moves. In order to make the problem more difficult I would ask if there is constructive (algorithmic) proof that uses 24 moves or less for any configuration?