poj 2837 Silver Matrix 不使用栈的深搜

题意：

给定k,让构造一个2^k*2^k的矩阵，使得对任意i,第i行和第i列由1,2,...2^k-1这2^k-1个数组成。

分析：

很明显是个深搜题。设n=2^k，则搜素树高度（状态空间维度）为n,每个状态可扩展n个状态，复杂度n^n,大概是512^512。。。所以必须有强力的剪枝而且不要用递归去写。一般对深搜来说，搜索树高度固定的话可以用for循环直接枚举，不固定话要用递归或栈，这题搜索树高度不固定（n为输入），怎么办呢？。。这样可以清楚明了地搞定：dfs的while循环写法。

代码：

//poj 2837//sep9#include <iostream>using namespace std;const int maxN=520;int a[maxN][maxN];bool used[2][maxN][2*maxN];int n;void solve(){int x,y,i;x=y=1;a[x][y]=0;while(x<=n){int ok=0;for(i=a[x][y]+1;i<2*n;++i)if(!used[0][x][i]&&!used[1][x][i]&&!used[0][y][i]&&!used[1][y][i]){a[x][y]=i;used[0][x][i]=used[1][x][i]=used[0][y][i]=used[1][y][i]=true;++y;if(y>n){y=1,++x;}a[x][y]=0;ok=1;break;}if(ok==0){--y;if(y==0){y=0,--x;}i=a[x][y];used[0][x][i]=used[1][x][i]=used[0][y][i]=used[1][y][i]=false;}}}int main(){scanf("%d",&n);n=(1<<n);memset(used,false,sizeof(used));solve();for(int i=1;i<=n;++i){for(int j=1;j<=n;++j)printf("%d ",a[i][j]);printf("\n");}return 0;}