《算法竞赛进阶指南》2.4迭代加深

170. 加成序列

满足如下条件的序列X（序列中元素被标号为1、2、3…m）被称为“加成序列”：

1、X[1]=1

2、X[m]=n

3、X[1]<X[2]<…<X[m-1]<X[m]

4、对于每个 k（2≤k≤m）都存在两个整数 i 和 j （1≤i,j≤k−1，i 和 j可相等），使得X[k]=X[i]+X[j]。

你的任务是：给定一个整数n，找出符合上述条件的长度m最小的“加成序列”。

如果有多个满足要求的答案，只需要找出任意一个可行解。

输入格式
输入包含多组测试用例。
每组测试用例占据一行，包含一个整数n。
当输入为单行的0时，表示输入结束。

输出格式
对于每个测试用例，输出一个满足需求的整数序列，数字之间用空格隔开。
每个输出占一行。

数据范围
1≤n≤100

输入样例：
5
7
12
15
77
0

输出样例：
1 2 4 5
1 2 4 6 7
1 2 4 8 12
1 2 4 5 10 15
1 2 4 8 9 17 34 68 77

/*

1, ... , n在中间补充数字

1.X[1] = 1, X[m] = n
2.严格单调递增的序列
3.每个数都是前面某两个数的和（这两个数可以是同一个数）

深度最坏是100

基本框架：迭代加深搜索
如何存储状态：path[]存储当前确定好的序列是什么

剪枝：
1.path[0...u-1]从大到小枚举下一个数
2.判重（两个数加一起相同）

*/

#include <iostream>
#include <algorithm>

using namespace std;

const int N = 110;

int n;
int path[N];

bool dfs(int u, int depth)
{
   
    if(u == depth)
    {
   
        return path[u - 1] == n; //最后一个数是不是等于n
    }
    //优化2 判重
    bool st[N] = {
   false};
    //优化1 从大到小枚举
    for(int i = u - 1; i >= 0; i--)
        for(int j = i; j >= 0; j