资源描述：
《图的着色证明与图的着色定理_兼对四色猜想命题的证明.pdf》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、2010NO.20ScienceandTechnologyInnovationHerald科技创新导报学术论坛图的着色证明与图的着色定理——兼对四色猜想命题的证明张尔光(韶关市人大机关广东韶关512002)摘要:本文续接拙作《图的形成原理与图的模式及图的本质》的证明,依据图的面与面之间的关系和组合原理,指出四色猜想不属于“真的机器证明之命题”,而是属于三角数学范畴的命题;应用“同中求异、异中求同”的证明方法和数学建模方式,对五道雷同于四色猜想命题的命题进行了逐一证明,进而对“为什么展现在不同物体表面的图其仅需用颜色区分的种数也不同的问题”(包含“为什么展现在平体表面
2、的图仅需用4色就足以将其各面区分开的问题”)作出证明。关键词:四色猜想组合模式三角矩阵分划法物体表面的全相邻力图的相邻面的组合力极限数仅需用着色种数中图分类号:O157.5文献标识码:A文章编号:1674-098X(2010)07(b)-0253-04本文论题所说的图,是指四色猜想命相邻面、相邻点、非相邻点、图的模式等。又是图的区分元素。这也就是说,有n个面题中的地图,即是由若干个面(即区域)组合定义和公式己在《图的形成原理与图的组合形成的整体,则这个整体必定被分划形成的整体。本人研究结果表明,图的模式模式及图的本质》(刊于《科技创新导报》2010为(即区分为)n个
3、面,组合元素是n,其区分22元素也是n,两者是相等的。这一观点完全是C组合模式(称之为大组合,以C来表年第17期)作了解读和论证,本文不再赘述。NN2n示);图的相邻面的组合力(称之为小组合,图的相邻面的组合力。是指图这个整符合C组合与C组合相通的原理。请看图2。nn2体中相邻面之间形成的组合能力,它是以2n以C来表示)与图的需用着色种数(用色字从图2看出,C组合与C组合,两者n有几个相邻面彼此之间均具有组合关系为nn的第一个汉语拼音字母“S”来表示)有着密衡量标准。组合数虽不相同,但两者整体的组合元切联系,前者既是后者的决定因素,又是制21.1“1”的三角矩阵是图
4、的本质的最底层素与区分元素均是相等的:由C组成的约因素;而图的相邻面的组合力受物体表23笔者研究发现,图的C组合模式是图整体,其组合元素是3,而其区分元素必是面的全相邻力的制约。展现在不同物体表N3面的图,之所以其仅需用着色种数不同,是的本质,而由“1(含-1)”组成的三角矩阵才3,同样,由C组成的整体,其组合元素是32在于物体表面的全相邻力的极限数(以力2是图的本质的最底层。根据图的C组合模N3,而其区分元素也是3;由C组成的整字汉语拼音的第一个字母“L”来表示)不同242式中每个相邻点和非相邻点均为C组合这体,其组合元素是4,而其区分元素必是4,”2和图的相邻面
5、的组合力的极限数(以“C24n2一证明结果,依照“C＝1”的原理,将相邻同样,由C组成的整体,其组合元素是4,来表示)不同,“L”与“C的n”与“S”是等于24n点和非相邻点分别转换为“1”、“-1”来表22关系,定理是:L＝C的n＝S四色猜想命题2而其区分元素也是4;由C组成的整体,n5示,就可看出,图的C组合模式实质上是由之所以成立,是在于平体(含球体及其它同胚N其组合元素是5,而其区分元素必是5,同体,下文同)表面的全相邻力的极限数为“4”“1”和“-1”组成的三角矩阵(如图1所示)。可样,由C5组成的整体,其组合元素是5,而见,四色猜想不属于“真的机器证明之
6、命5(即最多只能做到使“4个面”全相邻),其图的22题”,而属于三角数学范畴的命题。其区分元素也是5,余此类推。C组合与相邻面的组合力的极限数为C。即其L＝4,n41．2图的组合元素与图的区分元素n2C的n＝4,所以S＝4。图的形成原理告诉我们,图是由若干Cn组合相通的原理告诉我们,区分元素4个面组合形成的整体。据此,面无疑是图的的量＝组合元素的量。1图的相邻面的组合力与图的着色证明组合元素。图的形成原理却又告诉我们,图1．3四色猜想命题提出的一个思考题图的形成原理、相邻面、非相邻面、全是一个被分划为若干部分的整体。据此,面四色猜想命题设定的条件是以色作为图1及其组
7、合模式和三角矩阵图2C组合与C组合比对图图3及其组合模式和三角矩阵图5及其组合模式和三角矩阵图6及其组合模式和三角矩阵图4及其组合模式和三角矩阵图7一字状结构图及其组合模式图8梳子状结构图及其组合模式图9梯子状结构图及其组合模式科技创新导报ScienceandTechnologyInnovationHerald2532010NO.20科技创新导报ScienceandTechnologyInnovationHerald学术论坛图的区分元素对图的组合元素——面作出现将图3增加1个面,如图4所示。从图4可看2＝3,可见,C的n＝S;n区分。按照“区分元素的量＝组合元素
