解空间—排列树:
- 四叉树->三叉树->二叉树->一叉树
- 几个元素从几叉树开始,时间复杂度为O(n!)
- 所以递归层数是改变的,即递归次数是靠循环条件变化而变化的
- 第一句相当于交换1,1,然后进入他的孩子,出来这个语句相当于返回他的父节点,要把11交换回去,然后才能进入下一个孩子,然后循环重复。
- 所以这三个语句完整的描绘了一次回溯的过程,而循环则限制了进入子结点的次数。
排列树模板
八皇后问题
八皇后问题,是一个古老而著名的问题,是回溯算法的典型例题。该问题是十九世纪著名的数学家高斯1850年提出:在8×8格的国际象棋上摆放八个皇后,使其不能互相攻击,即任意两个皇后都不能处于同一行、同一列或同一斜线上,问有多少种摆法并输出每一种摆法。
代码主体
int cnt = 0;//计算成功的次数
bool judge(int arr[], int i)//i表示当前放置皇后旗子的位置
{
for (int j = 0; j < i; j++)//遍历0到i的位置的元素
{
if (i == j || arr[i] == arr[j] || abs(i - j) == abs(arr[i] - arr[j]))
{
return false;
}
}
return true;
}
void swap(int arr[],int i, int k)//i=0
{
int map = arr[i];
arr[i] = arr[k];
arr[k] = map;
}
void func(int arr[],int i, int length)
{
if (i == length)
{
cnt++;
for (int j = 0;j < length; j++)
{
printf("%d", arr[j]);
}
printf("\n");
}
else
{
for(int k=i;k<length;++k)
{
swap(arr,i, k);
if (judge(arr, i))//判断第i个位置的元素,是否满足8皇后的条件
{
func(arr, i + 1, length);
}
swap(arr,i, k);
}
}
}
int main()
{
int arr[] = { 1,2,3,4,5,6,7,8 };//把下标当成行,对应的元素当成列
int n = 8;
func(arr, 0, n);
printf("%d", cnt);
return 0;
}
基于穷举法的全排列实现
- 之前是靠交换来实现全排列
- 现在是靠穷举来实现选择数字进而实现全排列
- 每次进入递归改变的只是放数的位置,放的数都要从1开始遍历
- 但只会放之前没放过的数,所以会有一个记录数组(记录数)
- 如果没被放过,就放进去并且记录,回溯的时候再改回来
代码主体
回溯参数的理解
dfs()括号里的到底是循环变量还是传入变量 ?
- 循环变量表示的可选择的元素的起始下标
- 传入变量表示的是层数
这时递归的变量是循环变量,可选择的起始下标在改变,深度是不同的
深度是相同的