算法研讨会-含有回溯的递归算法设计探讨

目录

• 含有回溯的递归程序设计
  • 目录
  • 回溯
    • 1.1 概念
    • 1.2 基本思路
    • 1.3 问题举例
    • 1.4 算法设计
    • 1.5 PTA编程题

含有回溯的递归程序设计

目录

回溯

1.1 概念

• 递归是一种算法结构、技巧，而回溯是一种算法思想。
• 本质上是一种枚举思想，采用深度优先策略来枚举全部可能解，而且服从必定的择优条件。
• 遵循设定好的择优条件不断深刻试探，最终达到目标，可是在试探过程当中，若发现当前状况不是最优或者必定没法达到目标时，将返回到上一个状态，对上一个状态进行从新选择后，继续深刻试探。

1.2 基本思路

从一条路往前走，能进则进，不能进则退回到最近的岔路，换一条路再试。

1.3 问题举例

1.3.1 N皇后问题

• 要求

在N × N的棋盘上放置N个皇后，这些皇后之间不能相互攻击。（合法位置）

• 思路（不考虑优化）
  • 递归：继续深刻试探下一行的每一列。
  • 递归边界：N个皇后所有摆放完成。
  • 回溯条件：当前皇后已经不存在合法位置（越界）。
  • 具体思路：
    1. 若是可以将前面全部的皇后放置在合法位置，那么就继续试探下一个皇后，从第1个皇后开始依次类推。
    2. 若是第k个皇后已经不存在合法位置（越界），那么判断第k-1个皇后是否还存在其余合法位置，若存在，则移动到下一个合法位置，从新试探第k个皇后；若不存在，则重复步骤2。
    3. 第N个皇后同理，只是在第N个皇后放置在合法位置后，到达了递归边界，须要输出可行解，而后重复步骤2。
• 回溯过程图解

（图片转自博客园，目前未通过做者赞成，若有侵权，将当即删除！）

• 核心代码

void Put_The_Queen_On_The_NOk_Row_And_The_NOj_column(int k, int n) {//须要摆放n个皇后，当前摆放到了第k行。
    int j;
    if(k > n)//发现可行解
        print(n); //输出可行解
    else {
         for(j = 1;j <= n;j++) {//试探这一行的每一列
            if(Find_The_Valid_Pos(k, j)) {//判断该位置是否合法
                q[k] = j;   //保存位置
                Put_The_Queen_On_The_NOk_Row_And_The_NOj_column(k + 1, n);  //继续试探下一行
            }
        }
    }
}

1.4 算法设计

1. 清楚递归边界（何时中止递归）
2. 清楚递归函数的功能（参数的功能、返回值的功能）
3. 回溯算法设计基本思路
   1. 只要当前层还存在合法选项，那么就在保证当前层合法的前提下，进入试探下一层。
   2. 若是当前层已经不存在合法选项，那么就回溯到上一层，并重复判断1./2.。
   3. 若是发现可行解，那么重复判断1./2.。

1.5 PTA编程题

1.5.1 整数分解为若干项之和

• 要求

将一个正整数N分解成几个正整数相加，能够有多种分解方法，例如7=6+1，7=5+2，7=5+1+1，…。编程求出正整数N的全部整数分解式子。

• 思路

  • 递归：
  • 递归边界：当前result（填入的全部数之和）与N（目标值）相等
  • 回溯条件：当前result（填入的全部数之和）与N（目标值）相等（在此以后不可能再出现可行解，继续试探没有意义）。
  • 具体思路：
    1. 每个位置的值，均从1开始试探。
  1. 若是当前的result（已经填入的全部数之和）仍小于N（输入的目标值），那么就使 第n个数 从 上一个数的数值 往上 试探。
     1. 若是当前result与N相等，到达递归边界，输出可行解，而且回溯到上一个状态（此时只有n-2个数），继续使第n-1个数自加，并判断result与N的关系。
     2. 依次类推，直到遍历全部可行解。

• 核心代码

void Division(int x, int pos, int result){
    static int counter, array[32];
    if(result != N) {
        for (int i = x; result + i - 1 < N; i++) {
            array[pos] = i;
            Division(i, pos + 1, result + i);
        }
    }
    else{
        counter++;
        std::cout << N << '=';
        for (int i = 0; i < pos - 1; i++)
            std::cout << array[i] << '+';
        if (counter % 4 == 0 || array[pos - 1] == N)
            std::cout << array[pos - 1] << std::endl;
        else
            std::cout << array[pos - 1] << ';';
    }
}

1.5.2 输出全排列

• 要求

  • 输出前n个正整数的全排列（n<10）。
  • 排列的输出顺序为字典序，即序列a1,a2,⋯,an排在序列b1,b2,⋯,bn以前，若是存在k使得a1=b1,⋯,ak=bk 而且 ak+1<bk+1。

• 思路

  • 这题与N皇后问题更加相似，并且运行流程更加简单。由于回溯只会出如今发现可行解以后，即试探直到发现可行解的过程不会被回溯打断。
  • 递归：试探下一位的数字，而且判断拟填入的数字是否被用过
  • 递归边界：全排列数的长度与N（目标值）相等。
  • 回溯条件：拟填入的数字已经所有被使用过了。
  • 具体思路（“合法”即当前层待填入的数字还未被使用过 ）
    1. 只要当前层还存在合法选项，那么就在保证当前层合法的前提下，进入试探下一层。
    2. 若是当前层已经不存在合法选项，那么就回溯到上一层，并重复判断1./2.。
    3. 若是发现可行解，那么就重复判断1./2.。

• 注意

  输入的目标值与全排列数的位数始终是一致的。

• 核心代码

/*全局变量*/
int whole_array[32]; // 存储当前的全排列数
int sub[32]; //记录每个数字是否被用过
int N; //目标值

/*递归函数*/
void Perm (int x){
    static int length = 0; //当前全排列的长度
    if(N <= x - 1){ //判断全排列树的长度是否等于目标值
        for(int i = 1;i <= N;i++) //输出
            printf("%d",whole_array[i]);    
        printf("\n");
    }
    else //只要全排列数的长度小于目标值
        for(int i = 1;i <= N;i++) //因为要输出字典序，每个位置从1开始试探
            if(sub[i] == 0){ //判断这个数是否被用过
                whole_array[x] = i; //将这个数
                sub[i] = 1; //填入以后将这个数标记为1，即在该全排列数中已经出现
                Perm(x + 1); //到下一个位置继续试探
                sub[i] = 0; //若是发生回溯，那么须要从新将这个数字标记为没有出现过
            }
}

（博客内容为原创，未经容许禁止转载！）