上一页我们看到，把所有情况硬列出来既笨拙又难维护。有没有办法让一段代码应对「一类问题」，而不是只解决一个？

三步从混沌问题走到普遍解。读图方向：从上往下三排，每排一个主阶段向下分叉出子动作后汇入下一阶段。

抽象化三步法听起来很抽象？让我们回到 1736 年哥尼斯堡镇，看看一个真实的散步难题是如何催生这套方法的。

将半岛和岛屿抽象为顶点，桥抽象为边

左框是地理地图，右框是图模型，中间箭头表示抽象过程。

上页我们把七桥问题抽象成了图：陆地为顶点，桥为边。但图只是骨架，能不能找到一条走遍所有边的路径，还要看每个顶点连着几条边——也就是'度数'。

上一页数出七桥图有四个奇数度顶点——这不只是一个统计结果，它直接判了七桥问题「死刑」。为什么？

七桥问题的结论已经给出：那条欧拉路径不存在。回头看整条抽象路径——陆地对顶点、桥对边——每一步都贴着同一种关系走，那就是对应。下面把这件事拆开讲清楚。

单射管源头不撞车，满射管终点无遗漏；少看任一维度，对应关系就只剩半张图。

上页说清了双射是什么，这页看它能干什么——它的核心能力是「绕过难算的那一边」。当 A 难数、B 易数时，只要它们一一对应，数完 B 答案自然回到 A。

七桥问的是"有没有解"，世界杯则是"必须解"。32 支球队塞进 8 个小组、每组 4 队，听上去自由，其实每一条"恰好""不能"都是组合约束——把枚举空间从天文级压缩到"有意义"的解。

把分组规则逐条翻译成数学约束，让计算机能验证。

两条路径得到同一结论，代价天差地别。

两种思路不互斥，但适用场景截然不同——混用往往事倍功半。

验证对抽象化方法与图论基础的理解

先独立想一分钟，再对照参考答案——三条思路可以放一起讨论。