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.展开更多
Let k be an integer with k ≥ 2 and G a graph with order n 〉 4k. We prove that if the minimum degree sum of any two nonadjacent vertices is at least n ＋ k, then G contains a vertex cover with exactly k components su...Let k be an integer with k ≥ 2 and G a graph with order n 〉 4k. We prove that if the minimum degree sum of any two nonadjacent vertices is at least n ＋ k, then G contains a vertex cover with exactly k components such that k - 1 of them are chorded 4-cycles. The degree condition is sharp in general.展开更多
Liu and Yan gave the degree condition for a balanced bipartite graph G = （V1, V2; E） to have k vertex-disjoint quadrilaterals containing any given k independent edges e1,……, ek of G, respectively. They also conjec...Liu and Yan gave the degree condition for a balanced bipartite graph G = （V1, V2; E） to have k vertex-disjoint quadrilaterals containing any given k independent edges e1,……, ek of G, respectively. They also conjectured that for any k independent edges e1,……, ek of G, G has a 2-factor with k cycles C1, C2, ……, Ck with respect to {e1, e2,……, ek} such that k - 1 of them are quadrilaterals. In this paper, we prove this conjecture.展开更多
文摘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.
基金Supported by Natural Science Foundation of China （Grant Nos. 11161035, 10801091）, Research Crants from Ningxia University （Grant No. （E）ndzr09-1） and Scientific Research Project in Xinjiang （Grant No. XJEDU2009S101）
文摘Let k be an integer with k ≥ 2 and G a graph with order n 〉 4k. We prove that if the minimum degree sum of any two nonadjacent vertices is at least n ＋ k, then G contains a vertex cover with exactly k components such that k - 1 of them are chorded 4-cycles. The degree condition is sharp in general.
基金NNSF of China(10471078)Higher Education of MOE,P.R.C.(2004042204)
文摘Liu and Yan gave the degree condition for a balanced bipartite graph G = （V1, V2; E） to have k vertex-disjoint quadrilaterals containing any given k independent edges e1,……, ek of G, respectively. They also conjectured that for any k independent edges e1,……, ek of G, G has a 2-factor with k cycles C1, C2, ……, Ck with respect to {e1, e2,……, ek} such that k - 1 of them are quadrilaterals. In this paper, we prove this conjecture.
