在墙壁上钉两颗钉子，画作背面系一根绳子，轻轻搭在钉子上即可悬挂。若拔掉其中一颗钉子，画作仍会挂在另一颗上——这看似理所当然。但数学家们偏要问：能否设计一种挂法，使得拔掉任意一颗钉子，画作都会应声落地？这个看似恶作剧的问题，自1997年A. Spivak提出以来，已演变为一个引人入胜的数学谜题家族——“挂画问题”。

退休计算机科学家Tom Verhoeff最初在小学数学营的工作坊中探索此类问题。当时，营员们不仅用真实的绳子和登山扣进行实验，还将问题转化为符号语言进行抽象思考。2012年，数学家们发布预印本，证明对于任意“k-out-of-n”挂画问题（即n颗钉子中拔掉任意k颗（且不少于k颗）画作即掉落）均存在解决方案。然而，已知的解法往往涉及极其复杂的绳子缠绕方式。

在Verhoeff的工作坊中，参与者们挑战了2-out-of-4问题：四颗钉子中拔掉任意两颗，画作即掉落。他们成功将已知最短解法的缠绕圈数从80圈减少至58圈。此后，Verhoeff不断优化，将圈数降至18圈，并在当时博士生Jens Heuseveldt的协助下，通过计算机程序穷举验证所有更短方案，最终确认绝对最小值为16圈。Heuseveldt回忆道：“Verhoeff最初给我看一个程序，大约两小时能解出答案。我告诉他，我的程序两秒就能完成。而现在，他的程序甚至比我的还快。”Verhoeff已将结果连同这些问题的最大已知显式解发布在arXiv预印本服务器上。

为何数学家们对如此复杂而“糟糕”的挂画方式兴致盎然？尽管问题表象看似滑稽，其底层机制却与群论、纽结理论、图论等数学分支有着深刻联系。以1-out-of-n情形为例，解可描述为n维立方体边上穿过每个顶点的环。此外，对于任何“合理”的画作掉落规则（例如，不能要求拔掉钉子A画作掉落，但拔掉A和B画作却仍悬挂），都能找到对应的挂法。这些规则恰好对应单调布尔函数——一种在密码学和投票理论等领域至关重要的函数类型。

但Verhoeff认为，追问这个问题是否有用本身就是个错误的问题。“对于整个人类而言，我们不知道自己的飞船将驶向何方，也不知道生存需要什么，”他说，“而‘玩’正是我们学习的方式之一。”