
在普列格尔河畔的柯尼斯堡,人们曾经用散步挑战自己的城市。河流把城分割成四块陆地,七座桥像低空的拱,映着波罗的海的光。傍晚饭后,朋友们常常打赌:能不能从家里出发,把七座桥各走一遍而不重复,还能体面地回到原地?孩子试过,学生试过,军官和贵客也试过。酒馆的桌面留下一层粉笔的划痕,小路上的尘土被来回踩出痕迹。城市却始终不肯让步。

这个游戏听起来像是茶余饭后的消遣,心里却暗暗藏着一种全新的眼光。1736 年,远在圣彼得堡的莱昂哈德·欧拉接到了关于柯尼斯堡的传闻。这位尚未失明的天才,并不迷恋城河与桥身的尺度;他更在意:把“地理”剥去表皮,留下最要紧的骨架,问题会变成什么样子?于是,普列格尔河被留白,四块陆地化成四个点,七座桥化成七条线。市民的散步成了一幅可以推理的图。

欧拉的判断很克制。他说这不是传统的“几何”问题——距离与角度都不重要;重要的是彼此的关系。他只问:每个点连着几条线?这便是“度”。想要“一笔走遍桥而不重走”,你进入一块陆地多少次,便该离开多少次,起点和终点除外。如此做一番奇偶性的“记账”,城市就自己说出了秘密:柯尼斯堡的四个点,度数全是奇数。如果一条这样的路径存在,那么奇数度的点最多只能有两个(作为起点和终点);而它有四个。结论优雅而扫兴:无论你怎样换路线,都不可能成功。失败的理由,不是努力不够,而是图形本身已经下了禁令。文化遇见了约束。
在今天看来朴素的论证,在当时却颇为激进。欧拉等于在宣告数学的一种未来:第一,数学可以通过“有意的遗忘”抽取出问题——把长度、高低、曲直统统忽略,只保留相邻与连接;第二,数学可以用不变的量驯服繁复的尝试——你走不走路,度与奇偶并不会改变;第三,数学能为日常生活增添尊严——饭后散步的小问号,和定理共享同一段基因。
每一种城市都有自己的“步行语法”。威尼斯用桥与广场写迷宫,苏州用水巷编织棋盘,马拉喀什把巷道折叠进市集的阴凉。走路,就是学习这些连接的语法。在“网络”成为我们时代的口头禅之前,人们早就在脚掌与渡船时刻表里感受它。柯尼斯堡的故事之所以动人,正在于它说:当你在一个地方凭直觉摸到某种模式,就可以把它画出来,证明它的某些性质,并把这种知识带到别的地方。城市因此变得可携带。
故事背后的人情味也迷人。欧拉解题,不是为了奖金或荣耀;熟人给他寄趣题,他回以彬彬有礼而又清爽的书信。他没到过柯尼斯堡,却能在心里把城市“提炼”为点与线;他尊重当地人的规则,再把规则升华为对一切“同构”城市都成立的陈述。启蒙时代常被描述为理性的胜利;在这里你真的摸到了它:理性并不取代散步,它只解释为什么任何散步都会失败。
从那一刻起,想法就“逃离”了原地。一旦有了点和线的语言,新的问题接踵而至——餐桌游戏未必问过的问题开始出现。什么时候可以“一笔走遍边”?(当且仅当奇点为 0 或 2。)什么时候可以“一次访问每个点”?(那是另一场更难的哈密顿游戏。)如果要给点或区域“上色”,让相邻的东西不同色,最少需要几种?(你会撞见地图着色与计算时代的门槛。)如果水流、流言或瘟疫沿着线传播——速度如何、范围几何、该加固或切断哪里?(公共卫生与基础设施浮现。)如果把连接看成一架乐器,一张图会发出怎样的“音色”?(图拉普拉斯的谱与聚类、形状之学登场。)
现代生活让河流无处不在。一张社交网络,就按柯尼斯堡的秘方调制:人是点,关系是边。一条供应链,把港口与工厂做节点,把航道与公路拉成边;芯片是一座微缩的电路之城;电网是一幅在黑夜里嗡嗡作响的大陆图。由一场散步,转而问:网络脆弱在哪?哪一条边一旦抽离,世界会裂成两半?加哪一座“桥”能治拥堵?若要平息一波伤害,哪几条街道该先塞满警察或护士?最有人情味的答案常常不是最显眼的那条路,而是藏在结构里的那条路。
这里还藏着一种文化的反讽。像许多战略河港一样,柯尼斯堡在历史中几次易名易手;二战把它炸得支离破碎,后来成为苏联的加里宁格勒。欧拉题里的那些桥有的毁、有的改、有的重建。物理的城市变了,命题却安稳如初——因为它向来就不是“关于柯尼斯堡”这座城池本身,而是关于任何“度数(3,3,3,5)”的图。最地方性的闲谈,引出了最普遍的一副眼镜。
欧拉的结尾还有一种恰到好处的谦逊,适合今日的心情:抽象不是万能钥匙,它只是让某些问题一朝通透。处在一个对“算法”既依赖又焦虑的世纪,也许这种心态更合宜——工具不是来统治生活,而是照亮一个我们一直在遵守却没察觉的限制。
想尝尝这种方法,你不必去圣彼得堡或十八世纪。拿起你熟悉的一张小地图,抹去除了“路口与可走的连接”之外的一切。数一数各个路口的度数。问自己:有没有可能一口气走完每一条小路而不重复?你得到的答案既人间又数学:它会告诉你一点关于“家”的事实,也告诉你今晚散步要向城市的形状欠多少妥协。
最后留一缕人味的尾音:失败的散步,同样是一种连接。无数的人,在无数的城镇,照着自己的地形玩过“一桥一次”的游戏,答案各不相同——有的城市宽厚,有的城市苛刻。但把地方化为模式的动作是共享的。这是一种安静的民主艺术,也是图论的奠基姿态。
不妨就在你的城里试试,然后告诉别人你的结论。

小练习
画出四个点代表陆地、七条线代表桥的经典简图。标出各点度数:三处为 3,一处为 5。因为奇度点多于两个,不存在欧拉迹。再选你熟悉的一片街区,简化为图,数一数奇度点。如果奇度点为 0,则存在欧拉回路;若为 2,则存在从一奇点到另一奇点的欧拉迹;若超过 2,则“注定无望”。而这种“无望”,恰恰是一种确定的知识。
推理是什么?从人脑到人工智能的逻辑机器
“推理并不是人类思维中独立存在的器官,而是一种从海量信息中抽取模式、形成判断的能力。” 在前两篇文章中,我们从 OpenAI 推翻埃尔德什单位距离猜想这一具体事件出发,逐渐转向一个更大的问题:人工智能…
Gödel的不完备性定理(二)
关于Gödel命题 我们以前谈到过说谎者悖论。它的一个变种就是下面的命题:本命题是假的。用S表示该命题,于是就等价于下面的命题S。 S:S是假的。 该命题到底是真还是假? 假如它是假的,说明S是假的,…
数学500年:新的黄金时代?(1)
500 Years of Mathematics: Are We Living In A New Golden Age? 作者:Chris Budd, University…
从AI推翻Erdős猜想聊起:数学研究的新阶段?
“证明是数学家用来使自己相信的东西;严格证明则是用来使别人相信的东西。” 最近几天,从数学界到普通媒体,都在流传着一则吸引眼球的消息:OpenAI 的研究系统成功发现了一种新的数学构造,并利用这一构造…
复杂中出现秩序:Talagrand 凸猜想的意义
数学史上有些猜想,是在几十年积累的证据与推导之后,自然而然浮现出来的,它们几乎像是“迟早会被写下”的结论。但也有另外一种猜想,更像是一种直觉性的冒险——一种在缺乏明确依据时,对世界深层结构所做出的大胆…
随机漫步与命运(终):文明的边界 — 最终会留下什么?
“我们所知不过沧海一粟,未知却如浩瀚大海。”——Isaac Newton 当一段长时间的思考逐渐接近尾声时,问题的性质也随之发生变化。我们不再只是追问路径如何展开、变化如何产生、信息如何流动,而开始面…
- AI时代再问意识:痛苦是意识的核心吗?(1) 下 - 09/16/26
- AI时代再问意识:痛苦是意识的核心吗?(1) 上 - 09/15/26
- AI时代再问意识:意识的生物学转向(5)(下) - 09/14/26
