四色定理
四色定理（），又稱四色地圖定理（），是一个数学定理：如果在平面上劃出一些邻接的有限区域，那么可以用四种颜色来给这些区域染色，使得每两个邻接区域染的颜色都不一样；另一个通俗的说法是：每个无外飞地的地图都可以用不多於四种颜色来染色，而且不會有两个邻接的区域颜色相同。被称为邻接的两个区域是指它们有一段公共的边界，而不仅仅是一个公共的交点。例如右图左下角的圆形中，红色部分和绿色部分是邻接的区域，而黄色部分和红色部分则不是邻接区域。 “是否只用四…
标签：#计算机辅助证明
共 3 篇文章
弱哥德巴赫猜想
弱哥德巴赫猜想（），又称为奇数哥德巴赫猜想（）、三素数问题（），其表述为： :任一大于5的奇数都可以表示为三个素数之和。 如果“強”哥德巴赫猜想成立，便可以推出此猜想，故这一猜想被称为“弱”哥德巴赫猜想。（强哥德巴赫猜想成立意味着大于等於4的偶数都可表示为两个素数之和，再加上3就可以使大于等於7的奇数表示为三个素数之和） 2013年5月13日，法国国家科学研究院和巴黎高等师范学院的数论领域的研究员哈洛德·賀歐夫各特，在线发表两篇论文宣布…
克卜勒猜想
堆積法]] 克卜勒猜想（）是以十七世紀德國天文學家约翰内斯·开普勒為名的一個數學猜想。此猜想是關於在三維歐幾里德空間中最佳的裝球方式（即留下的空隙最小的裝球方式）的。此猜想認為在每個球大小相同的狀況下，沒有任何裝球方式的「密度」大于面心立方與六方最密堆積的「密度」，即 \pi/\sqrt{18} ≈74.048%。 在1998年，托马斯·黑尔斯藉由費耶斯‧托特（）所提出的方式，提出了一個關於此猜想的證明。黑爾斯利用窮舉法的方式證明此猜想…