动态规划之初始化与遍历

初始化一直是我比较困惑的地方。
根据总结，我发现了以下规律：

---

先明白，不合法的集合：根据集合的文字描述，不符合语义的集合。
合法的集合：根据集合的文字描述，符合语义的集合。跟样例无关。

279. 自然数拆分

{i, j}: 在前i个数中，选择了若干数，其和为j的所有方案。

属性：方案数。

那么{0, 1}的文字描述，就是不选数的情况下，和为1的所有方案。
该集合肯定是不合法的集合，因此，应该被认为是空集。

有些合法的集合，根据题目给定的样例不同，也可以是空集。

既然是空集，那么如果其属性是和的最大值，它的属性就应该被赋值为一个不可能在题目中可能出现的和的数。如果是方案数，空集的方案数一定为0。要根据集合描述的语义来。

---

求答案是一个从无到有的过程。一开始的初始化，所有的集合应该都为空。然后，我们找到那个‘无’，对其进行初始化。然后经过遍历操作，使得所有合法的集合都变成‘有’。

初始化的边界集合应该是合法的集合。边界集合的找寻方法，是思考没有东西的时候，……。比如在279. 自然数拆分中，
dp[0][0]是一个在定义上合法的集合，它表示在前0个数中（就是没有数的时候），其和为0的方案（实际上也就默认了，如果什么也不选，和为0）。初始化为1。而dp[0][i](i != 0)是不合法的。

我们还需要初始化其它集合。（随时完善：）

如果集合的属性是最大值，那么往往是-0x3f3f3f3f。（-0x3f3f3f3f代表的是空集的属性）
如果集合的属性是方案数，那么往往是0。（代表的是空集的属性）

遍历的集合应该是合法的集合。合法的集合都要被遍历到。（不合法的集合不能被遍历到；如果遍历到，要跳过；初始化的合法集合遍历或者不遍历都无所谓）
在遍历的时候，要注意，遍历到的集合，都要符合定义上的合法。因此，dp[i][0]必须都被遍历到，因为它们是定义上合法的集合，并且可以过渡到其它状态。