ACwing 94.递归实现排列型枚举

把 1∼n1∼n 这 nn 个整数排成一行后随机打乱顺序，输出所有可能的次序。

输入格式

一个整数 nn。

输出格式

按照从小到大的顺序输出所有方案，每行 11 个。

首先，同一行相邻两个数用一个空格隔开。

其次，对于两个不同的行，对应下标的数一一比较，字典序较小的排在前面。

数据范围

1≤n≤91≤n≤9

输入样例：

3

输出样例：

1 2 3
1 3 2
2 1 3
2 3 1
3 1 2
3 2 1

--------------------------------------------------------------------------------------------------------------------------------

 题解

#include<stdio.h>
int state[100],a[100];//定义两个数组，state[z]代表z的状态，0为未使用过，1为已经使用过
                      //a[i]代表的是正在排列的数组，i表示的是第i位
int n;
void dfs(int x)//该函数没有返回值，只有输出
{
	if(x>n)//如果正在排列的数组已经满了，开始按顺序输出
	{
		int i;
		for(i=1;i<=n;i++)
		{
			printf("%d ",a[i]);
		}
		printf("\n");
	}
 
//下面是还没有排好a[]的运算
	int i;
	for(i=1;i<=n;i++)
	{
		if(state[i]!=1)
		{
			a[x]=i;
			state[i]=1;
			dfs(x+1);
			
			state[i]=0;//回溯，保证i的状态恢复为未使用过的状态
		}
		
	}
}

int main()
{
	scanf("%d",&n);
	dfs(1);//从第一位开始判断填哪个数
}

题解的思路是按排列的数组的位数，依次放数字，放满之后再依次回溯，选择其他的数字再放置，大体思路比较清晰，唯一难理解的的地方是回溯。

思考后发现是回溯的出口出了问题，最开始想的是回溯后函数会重复，即便回溯了下一次判断还是会填这个数，但是回溯在函数出口的下面一行，而且在for循环里，已经判断过是不会再判断了，这样state[i]可以恢复为0，本身正在处理的dfs还能另填别的数字。   而最后的出口则是一直退退退最后到dfs（1）到n后没的填了，dfs（1）的for循环也执行完了，自己就结束运行了。