画框背后拴着一根绳子,往钉子上一搭,画就挂住了。拔掉一颗钉子,画还挂着,因为另一颗钉子还在撑。这没什么好说的。
但数学家看到这个场景,问了一个刁钻的问题:能不能用一种特殊的绕法,让绳子同时挂在两颗钉子上,但拔掉任何一颗,画就掉下来?
1997年,俄罗斯数学家斯皮瓦克(A. Spivak)正式提出了这道谜题。答案是可以的。秘诀在于绳子绕钉子的方向。先顺时针绕第一颗钉子,再顺时针绕第二颗,然后逆时针绕第一颗,最后逆时针绕第二颗。4次缠绕,两颗钉子互相锁住,拔掉任何一颗,绳子上的张力就全部松开,画啪地掉下来。
这个解法精巧又反直觉。但数学家的乐趣才刚开始。
他们把问题推广了:墙上有n颗钉子,能不能让绳子挂住画,并且恰好拔掉其中k颗钉子时画才会掉?不多不少,拔掉k-1颗还稳稳当当,拔到第k颗才全盘崩塌。2012年,有数学家在预印本论文(未经同行评议)中证明,对于任意的k和n,这样的挂法都存在。
存在归存在,挂起来可就要命了。
退休计算机科学家汤姆·费尔胡夫(Tom Verhoeff)在荷兰一个小学数学夏令营里,带着孩子们研究过这类问题。他们用真绳子和登山扣动手实验,同时也把每一次缠绕翻译成符号,变成可以在纸上推演的代数。
他们挑战的题目是:4颗钉子,拔掉任意2颗画就掉。已知最短的解法需要绕80圈。夏令营的孩子们七手八脚,把它压缩到了58圈。
后来费尔胡夫自己继续钻研,一路压到了18圈。再往后,他请来了当时还在读博的延斯·赫塞费尔特(Jens Heuseveldt),两人写了程序,把所有更短的方案穷举了一遍,确认16圈就是绝对极限,不可能再少。
挂画问题听着像数学家吃饱了撑的,但它底下藏着的数学结构一点都不简单。
拿最基础的情况来说:n颗钉子,拔掉任意1颗画就掉。这个问题的解法,可以用n维超立方体的边上画出的、经过每个顶点的环路来描述。维度一高,这就是图论和拓扑学的硬核问题了。
更深的联系在于,所有合理的挂画规则,恰好对应着一类叫做单调布尔函数的数学对象。什么叫合理?比如你可以要求拔掉钉子A画就掉,但你不能要求拔掉A画会掉、同时拔掉A和B画反而不掉,因为钉子只会越拔越少,画不可能拔多了反而更稳。这种只增不减的逻辑结构,就是单调布尔函数,它在密码学和投票理论里都是核心工具。
挂一幅画,居然能摸到密码学的门框,这大概就是纯数学最让人着迷的地方。
费尔胡夫说,问这个问题有没有用,问错了。人类这艘飞船不知道要开去哪里,也不知道到了那里需要什么才能活下去。而玩,是我们学习的方式之一。
~~~~~~
图一:博物馆中悬挂的画作(示意图),图源:Jacobs Stock Photography Ltd/Getty Images图二:挂画问题示意图,绳子依次顺时针绕钉子a、顺时针绕钉子b、逆时针绕钉子a、逆时针绕钉子b,4次缠绕让两颗钉子互相锁住,图源:Amanda Montañez
信源:Hasson, Emma R.. "Mathematicians discover the worst way to hang a painting." Scientific American, edited by Sarah Lewin Frasier, 5 Sept. 2026

