论文部分内容阅读
用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。说明历史上一些重大反例的局限性。因此，从新的视角重新审视某些反例是必要的。
四色问题反例的历史局限性及思考
【摘 要】
：
用Tait方法证明了Heawood反例是四色的；用Kempe链方法证明了Tutte反例也是四色的。说明历史上一些重大反例的局限性。因此，从新的视角重新审视某些反例是必要的。
【机 构】
：
Computer Science Department, Civil Aviation University of China, Tianjin 300300
【出 处】
：
第19届全国计算机新科技与计算机教育学术大会
【发表日期】
：
2008年期
其他文献
近年来，网络游戏发展迅猛，在吸引网民参与方面取得了巨大成功。本文针对现代教育中建构主义理论盛行，而在实践中的应用却相对滞后的现状，对网络游戏的特征进行了深入研究，分析
本文论述了全国高等体育院校中唯一开设的信息管理与信息系统专业的专业特色，对该专业的课程设置提出了调整意见。
高等学校计算机科学与技术发展战略研究报告暨专业规范发布后，天津大学计算机科学与技术学院按照专业规范的建议制定了2007级本科分专业方向培养方案。本文介绍了在制定分
本刊曾经报道过的“收藏奇人”--张祖仁,是福州二中的一名体育老师。他在教书之余,醉心于收藏,被称为“红色收藏家”。他除了收藏有关毛泽东、周恩来、邓小平等领导人的文物
浙江工商大学从软件工程专业成立以来，就在学生实践能力培养方面进行了探索与实践。通过实施创新实践计划、推行专业导师组、分阶段教学和软件设计大赛等多种途径来提高学
本文讨论了现有高校课程网络学习系统在个性化实施方面存在的不足。以大学《计算机原理》课程为例介绍了一个网络个性化学习系统的构建。给出了总体设计，详细分析了该系统
对环境系统实现控制操作，情况是多样复杂的，有时根据内部机理无法建立环境系统的控制模型，而富有经验的操作者却可以通过经验对它实施安全有效的控制。针对一些育苗水环境的
句法分析是自然语言处理中的重要步骤，而传统的分析方法和模式匹配方法具有很大的局限性。本文依据HMM模型和图句法分析，提出了一种基于词典和规则的句法分析算法。使用HMM
本文论述了智能家居系统的设计与开发。该系统基于Arm Linux下的QT程序开发平台，遵循IEEE的Zigbee标准协议下的IAR FOR MCS-51 Evaluation开发环境和CPLD设计平台，主要应用