A Logical Proof of the Four Color Problem

来源 :应用数学与应用物理(英文) | 被引量 : 0次 | 上传用户:gongwj123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The Four Color Conjecture is a well-known coloring problem of graphs. Since its advent, there are a lot of solvers. One of the early pioneers was Percy John Heawood, who has proved the Five Color Theorem. In addition, Kempe first demonstrated an important
其他文献
慢性前列腺炎是男性泌尿系统多发病,好发于青壮年,该病发病缓慢,病因病理复杂,症状繁多,体征不典型,病程迁延,是一个值得重视研究的病种,我国成人慢性前列腺炎病理发病率为24
对山东6个花生主产区12个县市的花生进行了抽样调查,结果表明:山东产花生不仅没有受到B。、Bz两种黄曲霉毒素(AFT)的污染,而且也没有其它任何AFT污染。依据该结果,可以得出“山东产
分别在广西南宁和北海的设施栽培条件下,对9个甜瓜品种进行了温室盆栽抗性评价和大棚生产抗性评价。试验结果表明,不同条件下,甜瓜品种对根结线虫病的抗性有一定差异,筛选出
In this paper, an extended car-following model is proposed based on an optimal velocity model (OVM), which takes the speed limit into consideration. The model i
试验研究了氮磷钾肥配用以及化学氮肥与有机肥或硝化抑制剂配用对油菜硝酸盐积累的影响.结果表明,氮肥是提高油菜产量和增加硝酸盐积累的主要肥料品种.在施氮的基础上,配合施
以西瓜枯萎病菌株(Fusarium oxysporium f.sp.niveum)、蔬菜灰霉菌(Botrytis.cinerea)、辣椒疫霉(Phytophthora capsict)、辣椒根腐病菌株(Fusarium solani)为测试菌,研究了
以厚皮甜瓜状元、伊丽沙白,薄皮甜瓜新玉、白玉种子的子叶为材料,设置15种激素组合的诱导芽分化培养基,进行甜瓜子叶组织培养试验,结果表明,BA是甜瓜再生分化的关键物质,以BA
创客——新时代的造梦者,创意作翼,信仰为伴,以激情与坚持浇灌梦想。现代农业的产业化发展,也催生了这样一批欲把理想化现实的农业创客,情系黄土地,心有无限梦。他们借不同的
菌核病是葫芦科、茄科、十字花科、豆科、菊科、伞形花科、藜科、百合科等多类蔬菜冬、春季节常见的病害。全国各地保护地和露地栽培都可发病,尤以大棚和温室发病较为严重,常