回溯法：八皇后问题

八皇后问题是一个以国际象棋为背景的问题：如何能够在 8×8 的国际象棋棋盘上放置八个皇后，使得任何一个皇后都无法直接吃掉其他的皇后？为了达到此目的，任两个皇后都不能处于同一条横行、纵行或斜线上。八皇后问题可以推广为更一般的n皇后摆放问题：这时棋盘的大小变为n×n，而皇后个数也变成n。当且仅当 n = 1 或 n ≥ 4 时问题有解。

这个问题简化描述就是：在8x8的棋盘上放8颗子，要求它们【不在同一行】【不在同一列】【不在同一斜线】上。
我们可以定义一个数组position[8]，positon[i]=j代表第i行摆在第j列。所以我们的约束条件可以进行如下表示：
1. 不在同一列：position[i] ≠ position[j]
2. 不在同一主对角线：position[i] - i ≠ position[j] - j
3. 不在同一副对角线：position[i] + i ≠ position[j] + j
其中2和3可以合并成abs(i - j) ≠ abs(position[i] - position[j])

求解思路：
首先从第一个皇后开始，从第一行确定第一个皇后位置，然后再在第二行搜索第二个 皇后位置……没前进一步检查是否满足约束条件，不满足的时候回溯到上一个皇后位置，尝试该行的其他列是否满足条件，直到找到问题的解。

C++参考代码：

#include <iostream>

using namespace std;

const int N = 8;//皇后的个数
int positon[N];//存放皇后的位置
int count = 0;//记录有多少种摆法

/*判断第row行放置的位置是否满足要求*/
bool valid(int row)
{
    for (int i = 0; i <  row; ++i)
    {
        // 如果和前面放好位置的不在同一列，也不在对角线上，则返回true，否则返回false
        if (positon[i] == positon[row] || abs(positon[i] - positon[row]) == abs(i - row))
        return false;
    }
    return true;
}

/*输出摆放结果*/
void print()
{
    cout << "这是第" << ++count << "种摆法：" << '\n';
    for (int i = 0; i < N; ++i)
    {
        for (int j = 0; j < N; ++j)
        {
            if (positon[i] == j)
                cout << "⊙ ";
            else
                cout << "× ";
        }
        cout << '\n';
    }
    cout << endl;
}

/*回溯法搜索摆放位置*/
void trail(int row = 0)
{
    // 如果摆完完N行，则输出结果
    if (N == row)
    {
        print();
        return;
    }
    for (int column = 0; column < N; ++column)
    {
        positon[row] = column;// 放置在第row行第column列
        // 如果满足条件，则进行下一行
        if (valid(row)) trail(row + 1);
        // 如果不满足条件，则进行下一次循环，即回溯回去在第row行重新寻找摆放的位置
    }
}

int main()
{
    trail();
    return 0;
}

总共有92种摆法：

---

下面官方的说一下回溯法（摘自百度百科）。
回溯法（探索与回溯法）是一种选优搜索法，又称为试探法，按选优条件向前搜索，以达到目标。但当探索到某一步时，发现原先选择并不优或达不到目标，就退回一步重新选择，这种走不通就退回再走的技术为回溯法，而满足回溯条件的某个状态的点称为“回溯点”。

基本思想：
在包含问题的所有解的解空间树中，按照深度优先搜索的策略，从根结点出发深度探索解空间树。当探索到某一结点时，要先判断该结点是否包含问题的解，如果包含，就从该结点出发继续探索下去，如果该结点不包含问题的解，则逐层向其祖先结点回溯。（其实回溯法就是对隐式图的深度优先搜索算法）。 若用回溯法求问题的所有解时，要回溯到根，且根结点的所有可行的子树都要已被搜索遍才结束。 而若使用回溯法求任一个解时，只要搜索到问题的一个解就可以结束