子集和问题（回溯）

设集合S={x1,x2,…,xn}是一个正整数集合，c是一个正整数，子集和问题判定是否存在S的一个子集S1，使S1中的元素之和为c。试设计一个解子集和问题的回溯法，并输出利用回溯法在搜索树（按输入顺序建立）中找到的第一个解。

输入格式:

输入数据第1行有2个正整数n和c，n表示S的大小，c是子集和的目标值。接下来的1行中，有n个正整数，表示集合S中的元素。 是子集和的目标值。接下来的1 行中，有n个正整数，表示集合S中的元素。

输出格式:

输出利用回溯法找到的第一个解，以空格分隔，最后一个输出的后面有空格。当问题无解时，输出“No Solution!”。

输入样例:

在这里给出一组输入。例如：

5 10
2 2 6 5 4

输出样例:

在这里给出相应的输出。例如：

2 2 6 

可通过代码：

#include <iostream>
using namespace std;

int f = 0; //判断是否存在满足要求的集合
int n = 0, c = 0;
int s[10000] = {0}, x[10000] = {0}; //更好的方式是动态创建数组
int temp_sum = 0; //当前选择数字的总和

int Bound(int t1) //求余下的数字都选的和（理想的情况下）
{
    int left_v = 0;
    int j = t1;
    while (j<n)
    {
        left_v += s[j];
        j++;
    }
    return left_v;
}

void Back(int t)
{
    if (f == 1) return; //只要第一种解
    if (t >= n) //已经做出了n次选择
    {
        if (temp_sum == c)
        {
            f = 1; //存在解
            for (int i=0; i<n; i++) //输出
            {
                if (x[i])
                {
                     cout  << s[i]<< " ";
                }
            }
        }
        return;
    }
    //该题的二叉树：向左1，向右0。
    if(temp_sum+s[t] <= c) //先执行1
    {
        temp_sum += s[t];
        x[t] = 1;
        Back(t+1);
        x[t] = 0; //回溯的过程
        temp_sum -= s[t];
    }
    if (temp_sum+Bound(t+1) >= c) //再执行0
    {
        Back(t+1); //回溯不需要有变化
    }
}

int main()
{
    cin >> n >> c;
    for (int i=0; i<n; i++)
    {
        cin >> s[i];
    }
    Back(0); //0:开始时还没作出选择
    if (f == 0) cout << "No Solution!";
    return 0;
}

注意事项： 

1.回溯算法是寻找可行解，动态规划是寻找最优解。

2. 使用回溯算法时，首先应该将问题化为一棵数（排列树或子集树），再套用递归，其中注意相应的约束条件。

3.题目所要求的是顺序选择的第一种结果，所以先遍历左子树和先遍历右子树的结果会不一样，此题目应该先考虑先执行1的情况。 

4.此题执行0时，也就是不选第t个数时，相比选第t个数（执行1）更有可能出现余下的树即使都选也不满足情况，所以使用剪枝函数Bound。而执行1时暂时只考虑第t个数 。