动态规划实战-电路布线最大不相交子集（手把手填表，白话图解）-CSDN博客

1. 从一团乱麻到井然有序：电路布线到底在折腾啥？

刚接触电路布线这个问题时，我跟你一样，看着题目描述脑袋嗡嗡的：“上端n个接线柱，下端n个接线柱，用导线(i, π(i))连接……最大不相交子集？” 这都什么跟什么啊？别急，咱们先把那些唬人的术语扔一边，用最白的话把这个场景还原一下。

想象一下你是个电路板厂的老师傅。你面前有一块长方形的板子，上边沿有一排螺丝孔（上接线柱），下边沿也有一排螺丝孔（下接线柱）。设计图纸要求，上边的1号孔必须连到下边的某个指定孔（比如8号孔），上边的2号孔连到另一个指定孔（比如7号孔），以此类推。你就老老实实按照图纸，用导线把这些孔一对一对连起来。

但问题来了！当你把所有线都连好之后，你低头一看，板子上的导线像一锅煮糊了的面条，东缠西绕，全都交叉在了一起。这在电路板制造里是大忌，不仅容易短路，还不美观、占地方。那怎么办呢？老师傅有办法：分层。我们可以做多层电路板，把不相交的、能和平共处的导线安排在同一层。比如，所有完全不交叉的线放在第一层，剩下的、跟它们有冲突的线放到第二层，以此类推。

那么，一个很自然的问题就来了：第一层最多能放多少根线？ 或者说，在所有连线里，我最多能挑出多少根，保证它们彼此之间谁也不碰谁？这个问题，就是所谓的“寻找最大不相交子集”。你想想，如果第一层能塞进去的线越多，意味着需要的层数可能就越少，成本自然就降下来了。看，一个抽象的数学问题，其实根源就是一个非常实际的工程优化问题。

我第一次理解这个的时候，感觉就像在玩一个“解线团”游戏。给你一堆两两之间可能交叉的连线，你的任务就是找出最粗的那一束能一起抽出来的、互不纠缠的线。动态规划，就是我们解开这个线团最系统、最不会遗漏的“傻瓜式”手法。

2. 为什么非得是动态规划？一个“武状元”的比喻

说到动态规划，很多新手朋友头就大了，状态转移方程听着就吓人。咱们先不碰公式，我来问你个问题：你怎么找出全校力气最大的学生？最笨的方法，当然是让所有学生两两掰手腕，但这太累了。聪明一点的办法呢？先让每个班选出自己班的“大力士”（班级最优解），然后让这些班级冠军再来一场总决赛，决出全校第一（全局最优解）。

动态规划干的就是这个“聪明办法”的活儿。它要解决问题，必须满足两个关键特性，咱们用大白话解释一下：

第一，最优子结构。 刚才找全校第一的例子就是最优子结构：全校最优解（全校第一）一定包含子问题的最优解（他所在班级的第一）。在电路布线里，如果我们想知道“从前8根线里最多能选多少根不相交的”，那这个答案，肯定和“从前7根线里最多能选多少根不相交的”这个子问题的答案密切相关。大问题的最优解，可以从子问题的最优解“构建”出来，而不是推倒重来。

第二，重叠子问题。 还是用选拔的例子。假设我们要选拔“全校前三名”。如果每个班独立选，A班选123名，B班选123名……最后总决赛再一起比。你会发现，在总决赛里，很多学生在自己班里已经比过好几次了（比如计算他们的成绩）。动态规划聪明在，它建了一个“成绩记录表”（就是我们的DP表格）。一个学生的成绩（一个子问题的解）只要算过一次，就记在表里，下次别的班或者总决赛需要参考他的成绩时，直接查表就行，不用让他再比一次。在布线问题里，当我们考虑第i根线时，会反复需要知道“前i-1根线在某种情况下的最大不相交数”，这些就是重叠的子问题。

如果一个问题同时具备这两个特性，那用动态规划就再合适不过了。它就像是一个有记忆的、特别会规划的“管家”，把大问题拆成小问题，记住每个小问题的答案，然后巧妙地组合起来，避免重复劳动，最终高效地得到大问题的答案。电路布线，完美符合这位“管家”的办事范围。

3. 把问题“压扁”进表格：核心规定与推理

好了，道理懂了，具体怎么干呢？动态规划最喜欢表格，我们就给它造一张表。但在画表之前，我们得先建立一套彼此能懂的语言规则，不然填表就是乱填。

假设我们有8个上接线柱（1到8），它们对应的下接线柱编号是 [-, 8, 7, 4, 2, 5, 1, 9, 3]（注意，我们通常从下标1开始用，所以c[1]=8表示上1连下8）。为了说话方便，我们立几条规矩：

规定 n(i)：就是 c[i]，表示上接线柱 i 要连接的那个下接线柱的编号。比如 n(1) = 8，n(2)=7。
规定 N(i, j)：这是一条“被考虑的连接”，它从上端 i 出发，连接到下端 j。这里 j 是一个我们正在考察的下端位置。
有效边 vs 无效边：如果 j 恰好等于 n(i)，那说明 N(i, j) 就是设计图纸上要求的那根真实的线，我们叫它 有效边。如果 j 不等于 n(i)，那这根线只是我们想象中、或者说计算过程中一个“假设”的连接，我们叫它 无效边。比如 N(1,8) 是有效边，N(1,3) 就是无效边。
规定 size(i, j)：这是整张动态规划表里每个格子的值，也是最核心的定义。它表示：当我们只考虑前 i 个上接线柱（即上1到上i），并且规定所有我们选中的线，其下端连接点都不能超过 j 这个位置时，能够选出的最大不相交有效边的数量。