数位dp基本思想

基本思想(lqs学哥深沉嘱咐)

数位DP是动态规划里面一种很特殊的形式，因为我对于其他动态规划问题习惯使用迭代的形式，但是对于数位DP更喜欢使用递归的形式，所以对于这种DP单拎出来写一下。

其实DP是一种比较玄妙的思想，很难用一种套路的方式表达出来，关键是那种对于给定问题如何去定义“状态”的那种感觉。数位DP其实也是如此，只不过它的状态一般不是那么直接，而是需要一步转化。因为通常的DP都是定义好状态，最后dp[xxx]就是结果，但是数位DP是借助dp的状态数组来得到最终的结果。

通常来说问题是这样的：给定一个条件，问[L, R]之间满足条件的整数有多少个。

最暴力的方式当然是这样：

for (int i = L; i <= R; i ++ ) 
{
    if (judge(i)) ans ++;
}

数位DP的方法当然不会这么暴力，它通常会定义一个状态数组dp[pos][state]表示到第pos位开始可以随便放数字了，并且此时前面的状态是state（state这里可以是多维），满足条件的数字有多少个。

这个dp数组可以迭代得到，但是我觉得记忆化搜索的形式更好理解一些，所以这个dp数组通常是dfs得到，这个dfs函数的参数除了pos和state以外，还会设置一个全局变量数组b[]，表示要解决的问题的右边界。此外，还要加一个preok，表示是否可以开始随便放数字的状态。如果前面的已经比右边界小了，后面就可以随便放了，记录dp数组的时候只记录这些可以随意放的即可，因为不随意放的那些可以通过dfs得到。

下面是我的训练题目汇总

例1：不要62

例2：F(x)

例3：Round Numbers

例4：B-Number

例5：Pinary