0

这个 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();
}

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

4

2 回答 2

2

place只检查 row 中的皇后是否pos可以放在 column 中a[pos]。

回溯在queens函数中，当试图将皇后放在 row 中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
于 2012-10-14T18:04:13.987 回答
0

所做place的只是确定皇后编号是否pos可以被任何编号小于 的皇后攻击pos。它通过检查皇后 #pos 是否依次与其他皇后在同一列或对角线上来做到这一点。因此，如果place(pos)返回1，则表示 的值a[pos]是可以合法放置皇后的列的从零开始的索引。

于 2012-10-14T18:00:37.447 回答