【进阶指南】搜索 - 加成序列【DFS迭代加深】

Date：2022.03.20
题意描述：
满足如下条件的序列 X（序列中元素被标号为 1、2、3…m）被称为“加成序列”：
X[1]=1
X[m]=n
X[1]<X[2]<…<X[m−1]<X[m]
对于每个 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、2、4、8、16、32、64、128增长，至此便超过100。如果硬搜索，可能有的分支要搜到100层，但是答案很可能在层数较小的分支上，因此完美符合迭代加深。动态控制搜索的最大层数为depth，当搜完depth层还未找到答案，depth要变大再搜索，直到找到答案。【这是硬优化】
考虑剪枝【这是软优化】：
①优化搜索顺序：显然先按得到的序列从小到大加和，因此得到的新值由小到大，因此分支往往会少一些。
②排除等效冗余：注意到得到的序列中，可能存在例如：给定a1a2a3a4，得到a2+a3==a1+a4，这样得到的a5会重复，因此当前求得的和s只加入一次即可。此外枚举和时枚举组合数（a1+a2和a2+a1和显然相同），因此共枚举$C_n^2+5$次，+5是每个元素可以自己加和两次。
③可行性剪枝：层数不能超过最大层数depth，求得的和s不能<当前序列的最后一个元素，也不能>给定的最后一个元素。
④最优性剪枝：第一次搜到的一定是最小的。

代码如下：

#include <bits/stdc++.h>
using namespace std;
const int N = 110;
int n,m,path[N];
bool dfs(int u,int depth)
{
    if(u>depth) return false;
    if(path[u]==n) return true;
    bool st[N]={0};//这个判重不针对整个dfs，只是要求当前已有序列中2个点加和不重复，排除冗余。
    for(int i=u;i>=1;i--)
        for(int j=i;j>=1;j--)
        {
            int s=path[i]+path[j];
            if(st[s]||s>n||s<=path[u]) continue;
            st[s]=true;path[u+1]=s;
            if(dfs(u+1,depth)) return true;
        }
    return false;
}
int main()
{
    path[1]=1;
    while(cin>>n,n)
    {
        int depth=1;
        while(!dfs(1,depth)) depth++;
        for(int i=1;i<=depth;i++) cout<<path[i]<<' ';
        cout<<endl;
    }
    return 0;
}