论文部分内容阅读
该文用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。发现了3-正则平面图的二级Hamilton圈生成机制。为四色问题的非计算机证明找到了一个新的途径。
关于四色问题两个重要反例的研究
【摘 要】
：
该文用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。发现了3-正则平面图的二级Hamilton圈生成机制。为四色问题的非计算机证明找到了一个新
【机 构】
：
中国民航学院计算机科学与技术学院,加拿大戴豪斯大学计算机科学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年15期
【基金项目】
：
国家自然科学基金资助项目(编号:60472121)
其他文献
建国初期，邓小平主政西南期间，对民族工作十分重视。他把消除民族隔阂，加强民族团结，实现真正的民族平等当作中心工作任务。他依据当对的形势特点，在剿匪、土改及其它政治、经济、
摘要：兽医外科手术学是本科生的一门以实践为主的课程，以培养学生基本外科手术素养、提高操作技能为目的。该门课程也是执业兽医师从事临床诊疗需要的重要技能之一。在进行该门课程的实验实践课程教学中，扬州大学兽医学院外科课题组通过对兽医外科手术学教学大纲的调整，加强基本操作的训练，培养学生基本外科素养和团队协作精神，改革考核方式，提高了学生学习的积极性和主动性，促进学生实践技能和综合素质的全面发展。 关键
针对目前存在的高职学生技术创新能力培养方面的整体重视程度不够、制度支撑不足、课题研究受限等问题,提出了校企共同建立教学改革、创新实践、科研管理、信息反馈等多模块
21世纪是管理手段和工具百花齐放的年代，6个西格玛管理、5S管理、平衡记分卡管理、企业关键业绩指标管理……成功地运用这些管理手段和工具，企业能大幅度地提高其运作效率。但
从金山毒霸的“安全体验风暴”到瑞星的“网络版3周年庆典”，再到江民的“999元反病毒运动”，众厂商如此活动的目标只有一个——网络化
加班是医院补充护理人力资源不足的常用方式，不同加班策略会对医院人力成本和护士工作满意度产生重要影响．基于此，建立了考虑加班策略的护士排班O-1整数规划模型．针对该模型提出
心脑血管疾病在我国居于死亡的第一位，而且发病率有上升趋势。有关血脂与冠心病、血脂与脑血管病的相关性文献报道较多，而冠心病与脑血管病之间血脂水平的对比报道较少。我们观