回溯法:八皇后问题

时间:2022-06-17
本文章向大家介绍回溯法:八皇后问题,主要内容包括其使用实例、应用技巧、基本知识点总结和需要注意事项,具有一定的参考价值,需要的朋友可以参考一下。

八皇后问题是一个以国际象棋为背景的问题:如何能够在 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种摆法:


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

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