有趣的数字

问题描述
　　我们把一个数称为有趣的，当且仅当：
　　1. 它的数字只包含0, 1, 2, 3，且这四个数字都出现过至少一次。
　　2. 所有的0都出现在所有的1之前，而所有的2都出现在所有的3之前。
　　3. 最高位数字不为0。
　　因此，符合我们定义的最小的有趣的数是2013。除此以外，4位的有趣的数还有两个：2031和2301。
　　请计算恰好有n位的有趣的数的个数。由于答案可能非常大，只需要输出答案除以1000000007的余数。
输入格式
　　输入只有一行，包括恰好一个正整数n (4 ≤ n ≤ 1000)。
输出格式
　　输出只有一行，包括恰好n 位的整数中有趣的数的个数除以1000000007的余数。
样例输入
4
样例输出
3

思路：

将数按照其组成分为6个状态（status）,至于为什么怎么分，后面再说。

1. {2}（表示仅包括2这个数字，下同）
2. {0, 2}
3. {2, 3}
4. {0, 1, 2}
5. {0, 2, 3}
6. {0, 1, 2, 3}

原因：

依据描述，有趣的数的任意前缀必满足如下规则：0必须在1的前面，2必须在3的前面，而且0不能在最高位，1，3只能分别在前面有0，2的前提下出现。
1. 假如要是让一由0、1、2、3中一个组成的数符合该规则，则其只能由2组成。
2. 以此类推,由0、1、2、3中两个组成的（符合该规则的）数，只能由{2，3}或者{0，2}组成，而不能是{1，2}，因为0没出现，所以1不能出现。
3. 同上，三个组成的数，只能是由{0，1，2}或者{0，2，3}
4. 四个组成的数，即{0，1，2，3}

思路继续：

让status[n][i]表示有趣的数的长度为n，处于状态(i-1)的前缀的可能数目。则有以下递推规则：

status[i][0]=1;//状态1全部为2，只可能有一种
status[i][1]=(status[i-1][1]*2+status[i-1][0])%mod;
//mod为1000000007，下同。状态2由{0，2}组成，可以由处于状态1且
//长度为i-1的前缀加上一个1或者由处于状态2长度为i-1的前缀加上0或2生成
//所以长度i且状态2的可能组成数为status[i-1][1]*2+status[i-1][0]
status[i][2]=(status[i-1][2]+status[i-1][0])%mod;
status[i][3]=(status[i-1][3]*2+status[i-1][1])%mod;
status[i][4]=(status[i-1][4]*2+status[i-1][1]+status[i-1][2])%mod;
status[i][5]=(status[i-1][5]*2+status[i-1][3]+status[i-1][4])%mod;

于是，恰好n 位的整数中有趣的数的个数即为status[n][5].

最后上完整的代码：

import java.util.Arrays;
import java.util.Scanner;

public class Main {
    static final int mod = 1000000007;
    public static void main(String[] args) {
        Scanner input = new Scanner(System.in);
        int N = input.nextInt();
        long[][] status = new long[N+1][6];

        for(int i=1;i<=N;++i){
            status[i][0]=1;
            status[i][1]=(status[i-1][1]*2+status[i-1][0])%mod;
            status[i][2]=(status[i-1][2]+status[i-1][0])%mod;
            status[i][3]=(status[i-1][3]*2+status[i-1][1])%mod;
            status[i][4]=(status[i-1][4]*2+status[i-1][1]+status[i-1][2])%mod;
            status[i][5]=(status[i-1][5]*2+status[i-1][3]+status[i-1][4])%mod;
            //System.out.println(i+": "+Arrays.toString(status[i]));
        }
        System.out.println(status[N][5]);
    }

}

---

总结

这题我一开始用的DFS，果断超时。然后网上查到的这种基于状态转换或者也可以说动态规划的解法。