动态规划-嵌套矩阵问题

有向无环图上的动态规划是学习动态规划的基础。很多问题都可以转化为DAG上的最长路、最短路或路径计数问题。

嵌套矩阵问题。有n个矩形，每个矩形可以用a,b来描述，表示长和宽。矩形X(a,b)可以嵌套在矩形Y(c,d)中当且仅当a<c,b<d或者b<c,a<d（相当于旋转X90度）。例如（1,5）可以嵌套在（6,2）内，但不能嵌套在（3,4）中。你的任务是选出尽可能多的矩形排成一行，使得除最后一个外，每一个矩形都可以嵌套在下一个矩形内。如果有多解，矩阵编号的字典序应该尽量小。

矩阵之间的可嵌套关系是一个典型的二元关系，二元关系可以用图来建模。如果矩阵X可以嵌套在矩阵Y里，就从X到Y连一条有向边。这个有向图是无环的，因为一个矩阵无法直接或间接地嵌套在自己内。换句话说，它是一个DAG。这样，所要求的便是DAG上的最长路径。

如何求DAG中不固定起点的最长路径呢？仿照数字三角形的做法，设d(i)表示从结点i出发的最长路长度，应该如何写状态转移方程呢？第一步只能到它的相邻点。因此：

其中，E为边集。最终答案是所有d(i)中的最大值。根据前面的介绍，可以尝试按照递推或记忆化搜索的方式计算上式。不管怎样