This article attempts to successfully fill Kempe proof loophole, namely 4-staining of “staining dilemma configuration”. Our method is as follows: 1) Discovered and proved the existence theorem of the quadrilateral w...This article attempts to successfully fill Kempe proof loophole, namely 4-staining of “staining dilemma configuration”. Our method is as follows: 1) Discovered and proved the existence theorem of the quadrilateral with four-color vertices and its properties theorems, namely theorems 1 and 2. From this, the non-10-fold symmetry transformation rule of the geometric structure of Errera configuration is generated, and using this rule, according to whether the “staining dilemma configuration” is 10-fold symmetry, they are divided into two categories;2) Using this rule, combining the different research results of several mathematicians on Errera graphs, and using four different classifications of propositional truth and falsehood, a new Theorem 3 is established;3) Using Theorem 3, the theoretical proof that the non-10-fold symmetric “ staining dilemma configuration” can be 4-staining;4) Through 4-staining of the four configurations of Errera, Obtained the Z-staining program (also called Theorem 4), and using this program and mathematical induction, gave the 10-fold symmetric “staining dilemma configuration” 4-staining proof. Completed the complete and concise manual proof of the four-color conjecture.展开更多
Using the Grad-Shafranov equation, the magnetic configuration is obtained. With this configuration, Brambilla＇s ray tracing theory has been used to study the propagation of LH waves. The qualitative study of the feas...Using the Grad-Shafranov equation, the magnetic configuration is obtained. With this configuration, Brambilla＇s ray tracing theory has been used to study the propagation of LH waves. The qualitative study of the feasibility of LHCD in the non-circular cross section tokamak HL-2A is made. The optimized current drive method is discussed.展开更多
文摘This article attempts to successfully fill Kempe proof loophole, namely 4-staining of “staining dilemma configuration”. Our method is as follows: 1) Discovered and proved the existence theorem of the quadrilateral with four-color vertices and its properties theorems, namely theorems 1 and 2. From this, the non-10-fold symmetry transformation rule of the geometric structure of Errera configuration is generated, and using this rule, according to whether the “staining dilemma configuration” is 10-fold symmetry, they are divided into two categories;2) Using this rule, combining the different research results of several mathematicians on Errera graphs, and using four different classifications of propositional truth and falsehood, a new Theorem 3 is established;3) Using Theorem 3, the theoretical proof that the non-10-fold symmetric “ staining dilemma configuration” can be 4-staining;4) Through 4-staining of the four configurations of Errera, Obtained the Z-staining program (also called Theorem 4), and using this program and mathematical induction, gave the 10-fold symmetric “staining dilemma configuration” 4-staining proof. Completed the complete and concise manual proof of the four-color conjecture.
基金the National Science Foundation of China(Nos.10675043,10575031 and 10675042)
文摘Using the Grad-Shafranov equation, the magnetic configuration is obtained. With this configuration, Brambilla＇s ray tracing theory has been used to study the propagation of LH waves. The qualitative study of the feasibility of LHCD in the non-circular cross section tokamak HL-2A is made. The optimized current drive method is discussed.
