Question

这个n-queens程序使用奇怪的逻辑进行回溯。我试图多次跟踪代码，但我总是对它感到困惑。我真的很困惑 Place（int pos）功能。

#include<stdio.h>
#include<conio.h>
int a[30],count=0;
int place(int pos)
{
    int i;
    for(i=1;i<pos;i++)
    {
        if( (a[i]==a[pos]) || ((abs(a[i]-a[pos])==abs(i-pos))) )
        {
            return 0;
        }
    }
    return 1;
}

void print_sol(int n)
{
    int i,j;
    count++;
    printf("\nSOLUTION #%d\n",count);
    for(i=1;i<=n;i++)
    {
        for(j=1;j<=n;j++)
        {
            if(a[i]==j)
                printf("Q\t");
            else
                printf("*\t");
        }
        printf("\n");
    }
}



void queen(n)
{
    int k=1;
    a[k]=0;
    while(k!=0)
    {
        a[k]++;
        while(a[k]<=n && !place(k))
            a[k]++;
        if(a[k]<=n)
        {
            if(k==n)
                print_sol(n);
            else
            {
                k++;
                a[k]=0;
            }
        }
        else
            k--;
    }
}

void main()
{
    int n;
    clrscr();
    printf("\nEnter the number of queens:");
    scanf("%d",&n);
    queen(n);
    getch();
}

我只是想知道它是如何自动回溯的？

Answer 1

place仅检查行pos中的女王是否可以放在a[pos]列中。

回溯位于queens函数中，当尝试将女王放入行k时，最初，a[k]为0，这不是女王的有效位置

a[k]++;     // here, a[k] was not a valid position and no smaller was valid, so increment
while(a[k]<=n && !place(k))  // while the position is invalid, check next
    a[k]++;
if(a[k]<=n)  // if a valid column was found
{
    if(k==n) // that was the last row, done
        print_sol(n);
    else     // next row
    {
        k++;
        a[k]=0;
    }
}
else  // no possible column found (a[k] > n), so backtrack
k--;  // check for next possible column in previous row

Answer 2

place所做的就是确定任何数字少于pos的女王是否可以攻击女王号pos。它通过检查Queen #pos是否与其他每个皇后轮在同一列或对角线上来完成此操作。因此，如果place(pos)返回1，则意味着a[pos]的值是可以合法放置女王的列的从零开始的索引。

使用回溯的n皇后算法的基本逻辑

2 个答案: