ACWING 170. 加成序列

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

1. X[1]=1X[1]=1
2. X[m]=nX[m]=n
3. X[1]<X[2]<…<X[m−1]<X[m]X[1]<X[2]<…<X[m−1]<X[m]
4. 对于每个 kk（2≤k≤m2≤k≤m）都存在两个整数 ii 和 jj （1≤i,j≤k−11≤i,j≤k−1，ii 和 jj 可相等），使得 X[k]=X[i]+X[j]X[k]=X[i]+X[j]。

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

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

输入格式

输入包含多组测试用例。

每组测试用例占据一行，包含一个整数 nn。

当输入为单行的 00 时，表示输入结束。

输出格式

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

每个输出占一行。

数据范围

1≤n≤1001≤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继续搜索。

此外此题的优化剪枝：每次从大到小加，更快找到第一个递增的数

                                    防止同一个和反复用，加一个st数组

#include <bits/stdc++.h>
using namespace std;
int n;
int path[110];

bool dfs(int u,int k){
    if(u==k){
        return path[u-1]==n;
    }
    bool st[110]={0};
    for(int i=u-1;i>=0;i--){
        for(int j=i;j>=0;j--){
            int s=path[i]+path[j];
            if(s>n||s<=path[u-1]||st[s]){
                continue;
            }
            st[s]=true;
            path[u]=s;
            if(dfs(u+1,k)){
                return true;
            }
        }
    }
    return false;
}

int  main(){
    path[0]=1;
    while(cin>>n,n){
        int k=1;
        while(!dfs(1,k)){
            k++;
        }
        for (int i = 0; i < k; i++) {
            cout << path[i] << " ";
        }
        cout << endl;
    }
    return 0;
}