论文部分内容阅读
目前四色定理的证明还没有简短的数学推理方法，必须借助于计算机才能够完成．在没有借助计算机的情况下，基于极大平面图的性质，通过结点合并的方式，研究了四色定理的证明方法，为该定理的进一步证明提供了重要参考．
四色定理证明的探讨
【摘 要】
：
目前四色定理的证明还没有简短的数学推理方法，必须借助于计算机才能够完成．在没有借助计算机的情况下，基于极大平面图的性质，通过结点合并的方式，研究了四色定理的证明方法，为该定
【机 构】
：
山东科技大学信息科学与工程学院
【出 处】
：
山东理工大学学报(自然科学版)
【发表日期】
：
2013年5期
【基金项目】
：
国家自然科学基金资助项目(61201430);中国博士后基金;山东省博士后创新项目
其他文献
据瑞士联邦统计局所做的劳动力成本统计数字显示，奥地利劳动力成本平均为25欧形小时，超过欧盟15国24欧元的平均水平。欧盟25国劳动力成本为21欧／小时，奥地利在芬兰和德国等国家之
WTO有关投资的协议，是对国际投资法的完善和发展，其对各国的投资法律环境产生深刻影响，多边贸易体制发展到当代的一个重要特征即是进一步强化了对各国贸易政策的整合力度，由主要
目的:探讨用通心络胶囊治疗冠心病心绞痛的临床效果。方法:对2013年5月~2014年8月期间我院收治的60例冠心病心绞痛患者的临床资料进行回顾性研究。我们将这60例患者随机分为
蝮蛇抗栓酶并牛黄醒脑液治疗脑血栓形成４２例王润，张姣兰，王静珠，赵晋华，毕俊花山西省中医学校附属医院（太原０３００１２）王俊改山西职工医学院我院于１９９０～１９９２年１２月治疗了脑血栓形成急性期８２例，随机分为两组。
日前，日本贸易会出版的《日本贸易现状2006年版》显示，2005年日本外贸总额达123万亿日元，月均外贸额首次超过10万亿日元。但贸易盈余仅为9万亿日元，时隔3年之后再次跌破10万亿日
“GATT1947”第4条电影片特殊条款在GATS制定前已经对电影片贸易进行了规定，由此引发了电影片为货物抑或服务以及GATT为何对电影片予以特殊保护的问题。美国与欧盟在视听服务
<正>一、引言随着时代的迅猛发展,特别是信息时代的突飞猛进,在解决重大问题时需综合考虑的相关因素越来越多,且所处外部环境的不确定性越来越强,例如考虑天气、安全、出入流
会议