从一块芯片，到一张草稿纸
布线问题：藏在连线游戏里的数学
一块芯片上要安放数百万个元件，并把它们用导线一根根接起来—— 不能交叉、不能绕远、还要塞进尽可能小的面积。 工程师每天用超级计算机做的这件事，本质上就是一个连线游戏。
“超大规模集成电路布图问题，需要在一个芯片上定位数百万个元件和连接点， 以最小化芯片面积、电路延迟……这些搜索问题极其复杂，但绝对值得研究。” ——《人工智能：现代方法》
这个网站把它剪成四关游戏。你只管动手连线， 每一关结束时，藏在背后的那条数学思路会自己浮出来。
两条线必然相撞——你会亲手撞上“平面布线”的墙。
给线修一座“天桥”，理解芯片为什么有几十层。
只有一层，三条线全要连通——顺序错了就满盘皆输。
真正的数学：用“下界证明”算出最少要几条轨道。
火星基地：管道铺设
5×5 的火星基地。把两个 A（水泵） 用水管连起来， 把两个 B（控制室） 用电缆连起来。 只能走直线、拐直角，两种线不能碰到一起（碰到=短路）。
立体布线：给线修天桥
同样的地图，但这次允许交叉——前提是在交叉口架一座“天桥”。 连好两条线后，点一下相撞的交叉点，让其中一条“坐电梯”到第二层绕过去。
火星基地 2.0：沙尘暴下的平面挑战
沙尘暴来了，天桥和隧道都塌了——所有管道必须铺在同一个平面上（纯平面布线）。 这次有三条线：A、B、C。 全部连通，且谁也不碰谁。它有解，但顺序错了就连不上。
配线槽：用数学算出“最少几条轨道”
把布线问题剥到只剩骨架：一条上下两壁排着端子的走线通道。 相同字母要用一根导线接通，每根线只能走一条水平轨道，外加竖直引线接到端子。 目标——用最少的轨道接通全部 6 条线。轨道越少，芯片越小。
两条铁律
- 水平约束：同一条轨道上的两根线，占用的列区间不能重叠，否则短路。
- 垂直约束：同一列里，上壁来的线所在轨道，必须严格高于下壁去的线，否则两段引线交叉短路。
四关下来，你用过的五种数学思维
同一个连线游戏，越往后越像数学。把这条主线拎出来——
建模 / 抽象
把“芯片上的几百万元件”一路抽象成格子上的线、再抽象成区间 + 先后次序。 去掉电学细节，只留下打架的本质。
第 1·4 关升维破局
平面上解不开的冲突，加一个维度（多一层）就化解了。 过孔、天桥、隧道，都是同一招。
第 2 关搜索 vs 贪心
“随手先连一条”这种贪心办法会把别人堵死。 真正的解需要考虑顺序、回溯、搜索——这也是要写算法的原因。
第 3 关下界证明
不先埋头试，而是先问“至少需要多少？” 密度和最长链给出两个下界，把答案的范围一下子框死。
第 4 关识破陷阱
必要 ≠ 充分。“水平不重叠”看着够了，其实不够。 能认出这种“显然却错”的陷阱，是高手和新手的分水岭。
第 4 关下界 + 构造 = 最优
证明“至少要 4”，再亮出“4 真能做到”，两头一夹，最优解就被锁死了。 这是最优化问题的通用必杀技。
第 4 关“你刚才在纸上玩的连线游戏，就是芯片工程师每天用超级计算机在做的事情。”