题意：
给定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;
}