AcWing 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、对于每个 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]。

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

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

输入格式

输入包含多组测试用例。

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

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

输出格式

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

每个输出占一行。

数据范围

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

分析：

本题要使用迭代加深去求解。当搜索树中存在较深的分支而解可能在较浅的节点时，可以提前设定搜索树的最大深度，一旦搜索的深度超过了设定值，便不再沿这个方向搜索下去。如果当前设定的深度未搜索到解，就加大深度继续搜索，直到搜索到解为止。

剪枝：首先优化搜索顺序，当前搜索的节点可能是前面的两个节点之和，为了尽快的逼近n，我们从大到小去枚举之前的元素，以减少分支数量。排除等效冗余，枚举第cur个位置上的数时，是在枚举前面两个元素的和，而前面任两个数的和可能有重复，比如1 2 3 4，枚举下一个位置时2 + 3和1 + 4都是5。1 2 3 4 5这个序列只需要枚举一次就好，所以需要设置标志数组，不去搜索重复的节点。可行性剪枝，当枚举的第cur个数大于n或者比第cur - 1个数小时，不进行搜索。

#include <iostream>
#include <cstring>
using namespace std;
const int N = 105;
int n,d,path[N];
bool st[N];
bool dfs(int cur){
    if(cur > d) return false;
    if(path[cur - 1] == n)  return true;
    memset(st,false,sizeof st);
    for(int i = cur - 1;i >= 0;i--){
        for(int j = i;j >= 0;j--){
            int s = path[i] + path[j];
            if(s > n || st[s] || s < path[cur - 1])   continue;
            st[s] = true;
            path[cur] = s;
            if(dfs(cur + 1))  return true;
        }
    }
    return false;
    
}
int main(){
    path[0] = 1;
    while(cin>>n && n){
        d = 1;
        while(!dfs(1))    d++;
        for(int i = 0;i < d;i++)    cout<<path[i]<<" ";
        cout<<endl;
    }
    return 0;
}