图的着色证明与图的着色定理——兼对四色猜想命题的证明

来源 :科技创新导报 | 被引量 : 0次 | 上传用户:qiucanyu0532
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文续接拙作《图的形成原理与图的模式及图的本质》的证明,依据图的面与面之间的关系和组合原理,指出四色猜想不属于"真的机器证明之命题",而是属于三角数学范畴的命题;应用"同中求异、异中求同"的证明方法和数学建模方式,对五道雷同于四色猜想命题的命题进行了逐一证明,进而对"为什么展现在不同物体表面的图其仅需用颜色区分的种数也不同的问题"(包含"为什么展现在平体表面的图仅需用4色就足以将其各面区分开的问题")作出证明。
其他文献
引入体视学参数Sv(比界面积)及Sf(形状因子),用图象分析仪定量地分析了ZHM新型耐磨材料的强化机理。
期刊
文章首先分析了桥梁大体积结构裂缝产生的原因,然后从原材料、设计、施工和养护等方面探讨了大体积结构裂缝的防治对策。
文章首先分析了路面施工平整度影响因素,然后探讨了相应的沥青路面平整度施工质量控制措施。
本文在文献[1]的框架下,继续文献[2][3]的工作,讨论格拓扑空间的连通性,几乎把普通拓扑的有关结论都推广到格拓扑中来,并且得到一些有趣的结果。
期刊
在能量平衡测试的基础上,得出湿法炼锌厂主要工序和设备耗能情况;分析提出了其用能的合理化。
对一般线性模型中回归系数的最小二乘估计,本文提出了一个新的相对效率,并给出了相对效率的下界。
针对并发故障诊断的复杂性和不确定性,本文提出由人工免疫系统和证据理论相结合得到的旋转机组智能故障诊断系统。利用免疫系统自己一非己识别机理衍生而来的阴性选择算法进行