这么一道题：A={1,2,3,...,2015},B是A的一个子集，对B中任意三个元素x,y,z，都有x+y不等于z.
求B中元素最多时，集合B.
Card(B)的最大值是1008，Card(B)=1008时，B集合有且只有四个（应该很容易写出来：所有奇数集，{1008，……2015}，{1007，1009，……，2015}，{1007，……，2014}）
只有4个的证明还没想出来，想编程序找找反例。
用回溯法写了这个程序：算到N=101时，就悲剧了，更别提N=2015了。想想应该是2^N型的问题，大虾们有没有什么好办法？我自己感觉自己的回溯写得太烂了，有兴趣和时间的大虾能不能以此题写一个范例供我学习下。

#define _CRT_SECURE_NO_WARNINGS
#include 
#include 
#include 
#include 
#include 

using namespace std;
typedef vector Set;
typedef vector > ResSet;
int getMinChoice(Set status, Set b)
{
    unsigned int i,k;
    k = b.size();
    i = (k == 0)? 0 : b.back();
    while (1){  
        if (i+1 > status.size())
            break;
        else if (status[i] == 0)
            break;
        i++;
    }
    return i;
}

int main()
{
    int num, temp, tmpindex,flag=0;
    unsigned int k;

    Set w;
    ResSet res;
    Set b;
    Set status;
    Set reslen;

    //freopen("in.txt", "r", stdin);
    freopen("out.txt", "w", stdout);
    scanf("%d", &num);

    for (int i = 0; i