八皇后问题--回溯法

问题描述

    八皇后问题是一个古老而著名的问题，它是回溯算法的典型例题,现在用分支限界的算法来解决这个问题。该问题是十九世纪德国著名数学家高斯于1850年提出的：在8行8列的国际象棋棋盘上摆放着 八个皇后。若两个皇后位于同一行、同一列或同一对角线上，则称为它们为互相攻击。现在要求使这N个皇后不能相互攻击，即任意两个皇后都不能处于同一行、同一列或同一对角线上，问有多少种摆法。

    回溯法思路的简单描述是：把问题的解空间转化成了图或者是树的结构表示，然后采用深度优先搜索的策略进行遍历，便利的过程中记录和寻找所有可行解或者是最优解。

    详细的描述规则：

    回溯法按照深度优先策略搜索问题的解空间树。首先从根节点出发搜索解空间树，当算法搜索至解空间树的某一个节点时，先利用剪枝函数判断该节点是否可行，如果不可行，则跳过对该节点及子节点的搜索，逐层向祖先节点回溯；否则，进入该子树，继续按照深度优先策略搜索。

    回溯法的基本行为是搜索，搜索过程中采用的剪枝函数是为了避免无效的搜索。剪枝函数包括两类：1.使用约束函数，减去不满足约束条件的路径；2.使用界限函数，减去不能得到最优解的路径。

    子集树和排列树

    子集树：所给的问题是从n个元素的集合中找出满足某种性质的子集时，相应的解空间成为子集树。如0-1背包问题，从所给重量、价值不同的物品中挑选几个物品放入背包，使得在满足背包不超重的情况下，背包内物品价值最大。它的解空间就是一个典型的子集树。

    排列树：所给的问题是确定n个元素满足某种性质的排列时，相应的解空间就是排列树。如旅行售货员问题，一个售货员把几个城市旅行一遍，要求走的路程最小。它的解就是几个城市的排列，解空间就是排列树。

#include <iostream>

using namespace std;

int num = 0;

//arr[9] 下标代表第i个皇后放在了第i行， 值代表第i个皇后放在了第arr[i]列
//t代表将要放置的第几个皇后
//next代表将皇后将要放置的列数
bool check(int arr[], int next, int t)
{
	int i;
	for (int i = 1; i < t; ++i)
	{
		int j = arr[i];
		//判断是否同列
		if (next == j)
		{
			return false;
		}
		//判断是否是同从左上角到右下角的对角线
		if (next - j == t - i)
		{
			return false;
		}
		//判断是否是同从右上角到左下角的对角线
		if (next - j == -(t - i))
		{
			return false;
		}
	}
	return true;
}

//seq代表要放置多少个皇后
void func(int seq, int arr[], int t)
{
	if (seq == t)
	{
		++num;
	}
	else
	{
		for (int i = 1; i <= 8; ++i)
		{
			if (check(arr, i, t + 1))
			{
				arr[t + 1] = i;
				func(seq, arr, t + 1);
			}
		}
	}
}

int main()
{
	int arr[9] = { 0, 0, 0, 0, 0, 0, 0, 0, 0};
	func(8, arr, 0);
	cout << num;
}