论文部分内容阅读
目前四色定理的证明还没有简短的数学推理方法，必须借助于计算机才能够完成．在没有借助计算机的情况下，基于极大平面图的性质，通过结点合并的方式，研究了四色定理的证明方法，为该定理的进一步证明提供了重要参考．
四色定理证明的探讨
【摘 要】
：
目前四色定理的证明还没有简短的数学推理方法，必须借助于计算机才能够完成．在没有借助计算机的情况下，基于极大平面图的性质，通过结点合并的方式，研究了四色定理的证明方法，为该定
【机 构】
：
山东科技大学信息科学与工程学院
【出 处】
：
山东理工大学学报(自然科学版)
【发表日期】
：
2013年5期
【基金项目】
：
国家自然科学基金资助项目(61201430);中国博士后基金;山东省博士后创新项目
其他文献
“GATT1947”第4条电影片特殊条款在GATS制定前已经对电影片贸易进行了规定，由此引发了电影片为货物抑或服务以及GATT为何对电影片予以特殊保护的问题。美国与欧盟在视听服务
<正>一、引言随着时代的迅猛发展,特别是信息时代的突飞猛进,在解决重大问题时需综合考虑的相关因素越来越多,且所处外部环境的不确定性越来越强,例如考虑天气、安全、出入流
会议