以数字三角形模型为例分析线性dp问题为什么可以通过几重循环的顺序来枚举就可以保证计算状态顺序是正确的。

其实动态规划问题，每一次要计算的状态都要求他所用到的上几个状态被计算过，这其实就是说明这些状态枚举要遵循拓扑序列，满足拓扑序列就可以保证计算每个状态时用到的状态都被计算过，记忆化搜索时，计算的顺序是比较容易看出的，但是线性dp问题，例如数字三角形问题，

for(int i=1;i<=n;i++)

        for(int j=1;j<=i;j++)

            f[i][j]=max(f[i-1][j-1],f[i-1][j])+a[i][j];

这两重循环，按循环的顺序来按照普通遍历数组的那种形式的顺序来枚举的，这就能保证每一次用的状态，之前的状态都被计算过了吗？答案是可以的，如下图：

根据上面的图，可以看出，我们每一次枚举时，都是从这个图中，从底部开始慢慢向上的，枚举的顺序都是符合拓扑序列的，这样是能保证按照这种方式枚举是正确的。

（第一篇文章，发的点有点非主流 qwq）