Related papers: Yet another short proof of the 4-colour theorem
In this paper, we provide an easy proof of the Four-colour Theorem in a special case indeed.
We make an attempt at proving the Four Colour Theorem in six pages.
This paper has been withdrawn by the author due to a crucial error in last part of proof.
We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.
This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are…
A simpler proof of the four color theorem is presented. The proof was reached using a series of equivalent theorems. First the maximum number of edges of a planar graph is obatined as well as the minimum number of edges for a complete…
In [J. Combin. Theory Ser. B 70 (1997), 2-44] we gave a simplified proof of the Four-Color Theorem. The proof is computer-assisted in the sense that for two lemmas in the article we did not give proofs, and instead asserted that we have…
The four-color conjecture has puzzled mathematicians for over 170 years and has yet to be proven by purely mathematical methods. This series of articles provides a purely mathematical proof of the four-color conjecture, consisting of two…
We give a simple reformulation of the four color theorem as a problem on strings over a four letter alphabet.
For the four-color theorem that has been developed over one and half centuries, all people believe it right but without complete proof convincing all1-3. Former proofs are to find the basic four-colorable patterns on a planar graph to…
A formal proof has not been found for the four color theorem since 1852 when Francis Guthrie first conjectured the four color theorem. Why? A bad idea, we think, directed people to a rough road. Using a similar method to that for the formal…
In [J. Combin. Theory Ser. B 70 (1997), 2-44] we gave a simplified proof of the Four-Color Theorem. The proof is computer-assisted in the sense that for two lemmas in the article we did not give proofs, and instead asserted that we have…
In this paper, we give a proof for four color theorem(four color conjecture). Our proof does not involve computer assistance and the most important is that it can be generalized to prove Hadwiger Conjecture. Moreover, we give algorithms to…
Four-Color Theorem has secret in its logical proof and actual operating. In this paper we will give a proof of Four-Color Theorem based on Kuratowski's Theorem using some induction argument and give a description of the most complicated…
In 1976, Appel and Haken achieved a major break through by proving the four color theorem $(4CT)$. Their proof is based on studying a large number of cases for which a computer-assisted search for hours is required. In 1997, Robertson,…
We prove a better coloring theorem for aleph_4 and even aleph_3. This has a general topology consequence.
Proving for triangulations an extended version of the 4-colour theorem by induction, we manage to exclude the case which led to the failure of Kempe's attempted proof. The new idea is to claim the existence of a "nice" 4-colouring, in which…
The four-color theorem states that no more than four colors are required to color all nodes in planar graphs such that no two adjacent nodes are of the same color. The theorem was first propounded by Francis Guthrie in 1852. Since then,…
An approach of using RGB-tilings for proving the Four Color Theorem discussed in three previous work is expanded in this paper. A novel methodology and revisions for the methodology in the three aforementioned papers are discussed, and a…
Withdrwan by author