回溯法（三羊献瑞）

前沿（浅谈回溯）

回溯法在计算机解题过程中应用广泛，
回溯法，一般可以解决如下几种问题：

• 组合问题：N个数里面按一定规则找出k个数的集合
• 排列问题：N个数按一定规则全排列，有几种排列方式
• 切割问题：一个字符串按一定规则有几种切割方式
• 子集问题：一个N个数的集合里有多少符合条件的子集
• 棋盘问题：N皇后，解数独等等

如何理解回溯法

回溯法解决的问题都可以抽象为树形结构

因为回溯法解决的都是在集合中递归查找子集，「集合的大小就构成了树的宽度，递归的深度，都构成的树的深度」。 回溯是递归的副产品，只要有递归就会有回溯

回溯的本质是穷举，穷举所有可能，选出我们想要的答案

如果想让回溯法高效一些，可以加一些剪枝的操作，但也改不了回溯法就是穷举的本质。

回溯法模板

void dfs(int x){
    if(到达目的地的条件){
        输出解
        return;
    }
    for(i=1;i<=方案数；i++){
        if（方案可行）{
            保存路径
            dfs（x+1）
            恢复保存前状态（实际是返回）
        }
    }
}

例题理解（三羊献瑞）

观察下面的加法算式：

        祥 瑞 生 辉
        三 羊 献 瑞
 ------------------
     三 羊 生 瑞 气

其中，相同的汉字代表相同的数字，不同的汉字代表不同的数字。
请你填写“三羊献瑞”所代表的4位数字（答案唯一），不要填写任何多余内容。

思路：如果我们采用暴力枚举的方法，每个数字有9种情况，我们的目的就是为了将所有情况找出，并挑出符合题意的情况，而回溯算法利用的就是dfs的搜索方法来挑选。
（如果不理解dfs建议先理解再学回溯）

步1：先利用辅助数组来标记是否数字是否被访问（避免重复访问，每个汉字代表的数各不相同）
visit[3]=1; 表示3这个数字已经被某个汉字用过

    static int[] a = new int[8]; // 总共有8个不同的字，代表8个不同的数
    static int[] visited = new int[] {0,0,0,0,0,0,0,0,0,0}; // 10个0, 标记0-9十个数是否被访问过

步骤2：
到达目的地的条件是8个数都被访问过，index=8，

 public static void dfs(int index) {
        // index为8，越界，代表8个数找够了，同时也是递归结束条件
        if(index == 8) {
            int sum = (a[0]*1000+a[1]*100+a[2]*10+a[3]) + (a[4]*1000+a[5]*100+a[6]*10+a[1]);
            //同时判断是否满足题意，否则回溯
            if(sum == a[4]*10000+a[5]*1000+a[2]*100+a[1]*10+a[7])
                System.out.println(a[4]+""+a[5]+""+a[6]+""+a[1]);
            return;
        }

步骤3：
书写dfs搜索

for(int i=0; i<=9; i++) {
                if(index == 0 && i == 0) {// 祥字不可能为0，否则就无法进位了
                    continue;
                }
                if(index == 4 && i != 1) {// 三字必为1，因为十进制进位只能进1
                    continue;
                }
                if(visited[i] == 0) {// 代表没被访问过，可以访问
                    visited[i] = 1; // 访问 i, 做标记
                    a[index] = i;
                    dfs(index+1);
                    visited[i] = 0; // 回溯, 清除标记
                }
            }

附：这里带有的continue语句，是对dfs的剪枝操作，即除去不可能的解，提高搜索效率

步骤4：

    public static void main(String[] args) {
        dfs(0);
    }

图解过程