简评四色定理的一种非计算机“逻辑证明”

来源 :西南民族大学学报:自然科学版 | 被引量 : 0次 | 上传用户:YISHUIXIAOFENG2501
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
2020年,Y. Wang基于构形和可归约性的经典概念提出了一份四色猜想(The Four Color Conjecture, 4CC)的归谬法证明.首先构造反例指出其"临界k色图"定义的一个缺陷.其次对比分析表明,把"最小图"改为"临界5色图"的做法产生了逻辑二难困境:若按前者对待,则原文尚缺论证能够抵抗传统的Heawood图的反例攻击;若按后者处理,则当今图论无法保证其存在性.
其他文献
由于科学技术和社会经济的快速发展,各行各业都进行了一定程度的创新和改革,包括中职数学课堂。中职数学课堂跟随时代发展步伐, 积极引进了微课,运用微课精简、多元的特点,以
目的探究急性脑出血病人发病后不同时间血清血管内皮生长因子(VEGF)、热休克蛋白70(Hsp70)水平的变化及其临床意义。方法选取我院2017年1月—2018年12月行微创血肿清除术治疗
音乐是一门艺术教育类学科,有着极高的艺术要求,学习音乐不仅能够帮助学生提高审美能力,也能培养学生的艺术素养。在初中音乐 课堂教学过程中,教师应当不断的创新自己的教学
纳米炭混悬液(CNSI)是一种商业化生产的临床用肿瘤引流淋巴结成像剂.CNSI中的sp2结构具有较大的近红外光吸收和光热转换能力,因此有望用于肿瘤的光热治疗,而无需担心生产工艺
目的探讨颅内动脉狭窄与急性轻型缺血性脑卒中神经功能恶化(ND)及其早期预后的关系。方法入选急性轻型缺血性脑卒中病人124例,其中发生神经功能恶化34例(ND组),未出现神经功
针对标准量子遗传-神经网络在进行缺陷预测时存在的收敛速度慢、易陷入局部最优等问题,提出了基于改进旋转策略的量子遗传-神经网络算法的预测模型.首先,以标准BP(back propa
随着时代的飞速发展,新时代应用型高校文化育人的机制构建引起越来越多人的关注。利用应用型高校的文化育人方式,以文化建设为核心,坚持以德树人,让优秀的校园文化能够更好地
初中历史作为初中教育体系甚至整个教育体系的重要组成部分,其教学质量直接关系到初中教育甚至整个教育事业进步及发展,所以不 断提高初中历史教学有效性势在必行。而有效培
班主任是班级管理工作中的重要角色,因此初中班主任的沟通能力将会对班级管理工作效率产生直接的影响。初中时期正是学生学习、 成长的关键时期,此阶段的学生正是青春叛逆期,
语文是小学教学中的重点科目,提高学生们的语文素养也是新课程改革中的重要目标。但是如今的小学语文课堂中却因为教学设备与学 生学习能力较差而存在部分的学困生,因此怎么