递归实现指数型枚举

从 1~n 这 n 个整数中随机选取任意多个，输出所有可能的选择方案。

输入格式

输入一个整数n。

输出格式

每行输出一种方案。

同一行内的数必须升序排列，相邻两个数用恰好1个空格隔开。

对于没有选任何数的方案，输出空行。

本题有自定义校验器（SPJ），各行（不同方案）之间的顺序任意。

数据范围

1≤n≤151≤n≤15

输入样例：

3

输出样例：

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

这个题目我说的这种做法用SPJ不能通过不知道为啥，不过我自己运行结果是对的，怕自己以后忘了在这里写下来记录一下，解释都在代码的注释中，我感觉我自己太笨了理解的也不深刻，希望有大神看到以后可以评论指点我一下：

int n;
bool s[20];  // 用来记录每个点的状态.

void dfs(int x) {
	//之所以到n+1是因为一旦满足条件的话当前的这层递归就不会进行下面状态的修改了，所以要多走一层，这样才会把前面的n包含进去
	if (x == n+1) {
		//因为要求升序就无论怎么样都从1慢慢分析到n就可以了
		for (int i = 1; i <= n; i++) {
			if (s[i]) {
				cout << i << " ";
			}
		}
		cout << endl;
		return;
	}

	s[x] = false;
	dfs(x+1);  // 第一个分支，不选
	//s[x] = false;    // 这个恢复现场我觉得完全没有必要，从回溯状态进入另一种状态为什么不可以，不也正是同一种前面状态下的另外一种情况吗

	s[x] = true;
	dfs(x+1);  // 第二个分支，选
	//s[x] = false;
}


int main()
{
	cin >> n;
	dfs(1); 
	return 0;
}