让人纠结的N皇后问题

最新推荐文章于 2024-11-14 15:56:18 发布

liuhuiyi

最新推荐文章于 2024-11-14 15:56:18 发布

阅读量938

点赞数

分类专栏：调试文章标签：算法编译器测试编程汇编 ini

本文链接：https://blog.csdn.net/liuhuiyi/article/details/7524599

版权

调试专栏收录该内容

3 篇文章 0 订阅

订阅专栏

因为自己的手指刚做了一个激光手术，故而没有办法去享受美妙的五一假期，于是宅在家中练习一下回溯算法，选的题目是常见的N皇后问题，原以为很简单就可以解决的事情，没想到衍生除了较多的问题，现在一一记录下来，当然还有没有解决的问题值得以后自己思考。

首先自己参照别人的思想写了一段最为原始的代码，如下：

#include <iostream.h>
#include <math.h>

#define MAX 4
int Queen[MAX];
int sum = 0;
//打印
void printOut() {
	for(int m=0;m<MAX;m++)
		cout<<Queen[m];
    cout<<endl;	

}

//判断第n个皇后放上去是否合法
int IsValid(int n) {
	for(int i=0;i<n;i++) {
		if(Queen[n] == Queen[i] || abs(Queen[n]-Queen[i]) == n-i)
			return 0;
	}
	return 1;
}
//在第i行放置皇后
void PutQueen(int i) {
		for(int j=0;j<MAX;j++) {
			if(i == MAX) {
				sum++;
				cout<<sum<<endl;
				printOut();
			}
			Queen[i] = j;
			if(IsValid(i)) 
				PutQueen(i+1); //递归
	}
}

int main() {

	PutQueen(0);
	cout<<"The count: "<<sum<<endl;
	return 0;
}

但是算法的运行相当不尽如人意，至少在统计总个数的变量上就表现得太差了

1
1302
1
1302
2
1302
3
1302
4
2031
1
2031
2
2031
3
2031
The count: 3
Press any key to continue

通过观察可以发现有两个问题，问题一:皇后的位置很强的重复性,也就是以MAX为周期输出，输出的皇后位置可以知道有可能出现了越界的问题（奇怪的是越界之后的数组都初始化Queen[MAX] = j）问题二，sum的变化相当奇怪，经过调试可以发现刚开始调用PutQueen(4)时，即当i = MAX时，输出sum = 1，以及Queen[] = {1302};但是，接下来奇怪的事情出现了，当跳出if(i == MAX)语句时(这时候其实已经出现了越界的情况)，sum被置为0，相当的奇怪。接下来一系列的执行，等到再一次调用PutQueen(4)时，第一次输出是基于前一次的sum = 3, 执行自增后，输出sum = 4，当跳出if(i == MAX)语句时(这时候其实已经出现了越界的情况)，sum被置为0，相当的摸不着头脑。这可是全局变量啊。

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$

注意：插播一段对于sum出现变化“11234123”的原因，今天坐公交思索这个问题，sum作为一个全局变量没有出现sum++的自增而出现类周期这样的变化肯定是由于赋值导致的，到底什么地方出现了赋值，唯一可能的地方就是越界，于是晚上回到宿舍就直接进入内存的调试阶段，通过观察内存的变化验证自己的猜想。

验证过程：设置断点

确定相关变量的内存

经过反汇编得到：Queen[MAX]的内存起始地址：0x012D9138；sum的地址为：0x012D9148

调试关键语句，追踪sum变化
调用PutQueen(4)时，执行完sum++，这时候sum = 1,内存0x012D9148为01

执行Queen[4] = 0语句，Queen[4]其实已经越界，它的赋值直接覆盖了sum的内存，也就是说sum被赋值为0，事实也是如此，看内存0x012D9148为00

此时sum=0; 经过for循环 j=1;但是经过sum++将sum = 1,输出。即

Queen[4] = 1,再次将sum = 1(不过这时候显示的跟上面是一样的，但是sum确实经过了赋值为1这个过程，不能忽视)，经过for循环j=2,执行sum++将sum = 2，输出。即

Queen[4] = 2,再次将sum = 2(不过这时候显示的跟上面是一样的，但是sum确实经过了赋值为2这个过程，不能忽视)，经过for循环j=3,执行sum++将sum = 3，输出。

如此下去即可得到整个sum的变化为11234123，验证正确，sum的变化很大程度是由于Queen[4] = j越界赋值造成的。

总结一下：编程一定要注意数组越界问题，肯定会赋值影响，这就是一个例子，同时回溯问题一定要注意控制规模，下面也会提起。这就引起了一个新的问题，出现上述问题是因为编译器在给变量分配内存的时候，sum紧紧的挨着Queen[]。于是我在声明的时候更改了两者的顺序，但是结果仍然是sum在Queen[]数组后面，我的问题是C编译器怎么根据变量的声明分配内存的呢？

插播结束。

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$

首先解决越界的问题，修改函数PutQueen(int i);

void PutQueen(int i) {
		for(int j=0;j<MAX;j++) {
			if(i == MAX) {
				sum++;
				cout<<sum<<endl;
				printOut();
			}
			else {
				Queen[i] = j;
				if(IsValid(i)) 
					PutQueen(i+1); //递归
			}
		}
}

添加else语句,一定要这么做，否则很容易出现顺序执行的情况，即便不添加else也一定要在在if语句中添加返回或中断语句,此次得到的运行结果是:

1
1302
2
1302
3
1302
4
1302
5
2031
6
2031
7
2031
8
2031
The count: 8
Press any key to continue

我直接一头雾水了,这时候sum突然变得像全局变量的样子了，不会出现自己重置的现象，(我至今没有搞懂前面为什么会sum自己重置)。这时候发现结果中仍然是重复输出，这是因为在for循环中每次都会输出一次，于是我们在if语句中添加返回语句return；

void PutQueen(int i) {
		for(int j=0;j<MAX;j++) {
			if(i == MAX) {
				sum++;
				cout<<sum<<endl;
				printOut();
				return;
			}
			else {
				Queen[i] = j;
				if(IsValid(i)) 
					PutQueen(i+1); //递归
			}
		}
}

吁~这次得到结果：

1
1302
2
2031
The count: 2
Press any key to continue

￥￥￥￥￥￥￥￥￥￥￥￥￥￥￥￥￥￥￥$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$￥￥￥￥￥￥￥￥￥￥￥￥￥

自己的皇后问题就这样解决了，NO，这里面隐藏了太多的问题，归根结底说明自己的编程经验不足，同时也说明对于回溯算法理解还不够深入。

下面对于代码进行进一步的修改，对于PutQueen()函数的逻辑理解要有深入，，尽量在不出现越界的情形下就把结果输出(1.保证不越界 2.最后一行只要测试成功即输出)

更改后的代码如下：

void PutQueen(int i) {
 	if(i<MAX){
  		for(int j=0;j<MAX;j++) {
   			Queen[i] = j;
   			if(IsValid(i)) { 
    				if(i == MAX-1) {
     					sum++;
     					cout<<sum<<endl;
     					printOut();
    					return;
    				}
    				else
     					PutQueen(i+1); //递归
   			}
  		}
 	}
}

函数一开始就进行安全测试，保证不越界。同时保证只要对于每行的各列进行测试，只要合乎要求并且处在最后一行，就输出结果。经测试运行结果正确。

下面我们看一段更加符合回溯算法的代码：

#include <iostream.h>
#include <math.h>
#define M 4
int Queen[M];
int count = 0;
void PutQueen(int k) {
 if(k<M) {
  for(int i=0;i<M;i++) {
   Queen[k] = i;
   bool IsValid = true;
   for(int j=0;j<k;j++) {
    if(Queen[k] == Queen[j] || abs(Queen[k]-Queen[j]) == k-j)
     IsValid = false;
   }
   if(IsValid) {
    if(k == M-1) {
    count++;
    cout<<"The count: "<<count<<endl;
    for(int m=0;m<M;m++)
     cout<<Queen[m];
    cout<<endl;   
    }
    else
    	PutQueen(k+1);
   }
  }
 }
}
int main() {
 PutQueen(0);
 cout<<"The count: "<<count<<endl;
 return 0;
}

这是根据ACM教程实现的回溯算法，可以看到对于规模的限制，以及关于if...else...语句的使用。(if语句后面要是有并行语句，一定要谨慎，否则就变成顺序执行了，这样很容易引起越界，同时关于回溯算法一定要有一个终止的语句)