一
最近，一个由计算机科学家和数学家组成的团队，彻底解决了一个被称为凯勒猜想的数
学难题。凯勒猜想是一个已存在了90年之久的谜题，它与不同空间维度上的密铺问题有
关。
我们可以先从最简单的二维情况开始。在二维空间中，用相同大小的正方形瓷砖进行密
铺时，是否总会出现两块瓷砖具有一整条共享的边的情况？从图形上不难看出，情况的
确是这个样子。
在二维空间中，用同等大小的正方形瓷砖密铺时，黄色的边表示的即是两块完全链接的
瓷砖。| 图片参考来源：cs.cmu.edu
将这个问题从二维提升到三维空间，情况也是如此吗？
不难看出，当用大小相同的立方体来完全填充一个空间时，必定有两个立方体完全共享
一个面的情况出现。
三维空间中用相同大小的立方体密铺，会导致两个立方体共享一个面。黄色方形便是共
享会出现的地方。| 图片参考来源：cs.cmu.edu
二维、三维的情况是我们尚可想象的空间，但是在更高的维度上，情况又是如何？1930
年，德国数学家奥特-海因里希·凯勒（Ott-Heinrich Keller）提出猜想，认为这种模
式适用于任何维度。这便是凯勒猜想。
二
在那之后的几十年里，凯勒猜想取得了众多进展。1940年，数学家Oskar Perron成功证
明，凯勒猜想在六维以及更小的维度上是正确的。然而在1992年，Jeffrey Lagarias和
Peter Shor的工作表明，当维度提高到十以及以上时，这个猜想便不再成立。到了2002
年，John Mackey进一步将这个“不适用范围”缩小到了八维空间，表明它在八个或八个
以上的维度上便不再适用。如此一来，仍处于未知状态的就是七维空间中的情况了。
从Perron到Lagarias和Shor，在数学家们向这个猜想发起挑战的过程中，研究方法发生
了重大变化。在Perron的年代，他依靠的是笔和纸来计算这种模式在前六个维度中的适
用情况；到了1990年代，为了能让强大的计算机加入这项挑战，数学家Keresztély Co
rrádi和Sándor Szabó对这一猜想进行了重新表述，将它转化成了一种完全不同的形
式。
凯勒猜想原本涉及到的是光滑的连续空间，在这种空间里，存在无穷多种方式来进行无
穷多个瓷砖的密铺，而这种无穷大是计算机并不擅长处理的问题。因此Corrádi和Szab
ó将猜想转化成了某种涉及到离散的、有限的物体的问题来处理。这样一种等价方法有
效地将一个关于无穷大的问题，简化成了关于几个数字的算术问题，它所涉及到的一个
基础核心是一种被称为凯勒图的图形。
三
简单说来，凯勒图是由具有特定点数的骰子，以及这些骰子之间的连线构成的。点数对
应于维数，要判断凯勒猜想在n维空间上是否正确，可以通过在凯勒图上寻找是否存在2
?个彼此之间相互连接的骰子组成的小集合，如果存在，那么凯勒猜想在n维中就是不正
确的。
以二维空间中的凯勒猜想为例，首先想象桌子上摆放着一些骰子，且对于每个骰子来说
，朝上摆放的那一面的点数为2——这两个点就对应于二维，它们的位置就代表着坐标系
中的x轴和y轴。接着，分别用红、绿、黑、白四种颜色任意地给每个点涂上颜色，并将
红和绿，黑和白设定为两组“配对色”。
现在，当两个骰子的相同位置的点有不同的颜色，而另一个位置的点的颜色不仅不同，
且颜色配对（红和绿，或者黑和白）时，就将这两个骰子骰子用直线连接起来，如下图
中的第四种情况，就满足用线连接的条件。
二维的凯勒图中的骰子上有两个点，如果两个骰子上的点的颜色完全相同，意味着两个
瓷砖在空间中完全重合；如果两个骰子既没有共同颜色，也没有配对色，意味着瓷砖部
分重叠（一种密铺问题中是不允许存在的情况）；如果两个骰子有一位置上的颜色配对
，另一个位置上的颜色相同，意味着两块瓷砖有一个共享面；当两个骰子之间存在连接
，代表着两个瓷砖相互接触，但彼此略微错位。最后这种情况是在证明凯勒猜想时所要
寻找的例子，它代表着那些相互接触却没有共享面的瓷砖。| 图片参考来源：Samuel V
elasco / Quanta Magazine
在凯勒图中，每个骰子可被看成是凯勒猜想中的一块瓷砖；骰子上的颜色可被看作是坐
标，定义了瓷砖在空间中的位置；而骰子之间存在连接与否，可被看作是对两个瓷砖的
相对位置的描述。
二维空间的凯勒图。| 图片参考来源：cs.cmu.edu
上图所示的就是二维情况的凯勒图，它由16个点数为2的骰子组成。就像前面已经提到的
，这张图能将凯勒猜想的证明，变成判断能否找到4（即22）个这样的骰子形成一个完全
彼此相互连接的小集合，如果能，那么就证明凯勒猜想在二维空间中是错误的。
由4个骰子组成的完全彼此连接的小集合。| 图片参考来源：Quanta Magazine
但从二维凯勒图上可以看出，这样的小集合并不存在，因此凯勒猜想在二维空间中是正
确的。
四
Corrádi和Szabó利用这种方法，用216个具有3个点的骰子证明了凯勒猜想适用于三维
空间，在这种情况下，他们要寻找的反例是8（即23）个相互连接的骰子。Mackey则通过
找到256（即2?）个具有8个点的骰子的小集合，证明了凯勒猜想不适用于八维以及更高
的维度。
要判断七维空间是否适用于凯勒猜想，需要判断能否找到128（即2?）个具有7个点的骰
子的小集合。七维空间一直是个难点，这与它的素数本质不无关系，这意味着它无法被
分解成更低的维度。
终于，在新的研究中，数学家Joshua Brakensiek、Marijn Heule、Mackey以及David N
arváez在40台计算机的帮助下解决了这个问题。计算机就给出的最终答案是：是的。这
意味着，我们终于知道了凯勒猜想在最后一个维度上的适用情况，证明凯勒猜想在七维
空间中仍然正确。而计算机提供的答案也远不止一个简单的结论，它还包括了一个大小
为200Gb的证据来证明这个答案是正确的。
至此，凯勒猜想可被认为已被完全解决。
--
FROM 113.116.183.*