转载：http://blog.csdn.net/qian99/article/details/39138329

题意：给出n个物品，每个物品有两种属性Wi,Ti，有q组查询，每组查询要求在n个物品中选出一些，并使得两个属性的和为Mi，Si。

思路：刚开始看感觉是神题，后来仔细想了想，其实本质上就是个背包。最裸着写的话，那么就是dp[i][j][k]表示使用前i个物品，是否可以凑出第一个属性j，第二个属性k，要输出方案的话记录一下路径就可以了。一开始这么写了一发，加了一些乱七八糟的优化，还是会T。虽然这题时限还算宽，但这么写复杂度还是太高了。考虑到第一个属性最多只有50，那么可以用一个二进制数来表示是否能凑出第一个属性的情况，即：第i位为1表示可以凑出i。使用这种方法的好处是对于物品i可以直接算出第一种属性的组合情况，枚举一下新增的位，更新一下结果就行了。

代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<algorithm>
#include<map>
#include<queue>
#include<stack>
#include<set>
#include<cmath>
#include<vector>
#define inf 0x3f3f3f3f
#define Inf 0x3FFFFFFFFFFFFFFFLL
#define eps 1e-8
#define pi acos(-1.0)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
const int maxn = 400 + 10;
const int M = 51;
short ans[200010][52];
ull f[200010];
int W[maxn],T[maxn];
map<ull,int>mp;
int main()
{
//    freopen("in.txt","r",stdin);
//    freopen("out.txt","w",stdout);
    for(int i = 1;i <= M + 1;++i)
        mp[1LL<<(i-1LL)] = i;
    int t,n,q;
    scanf("%d",&t);
    while(t--)
    {
        scanf("%d%d",&n,&q);
        memset(ans,0,sizeof(ans));
        memset(f,0,sizeof(f));
        f[0] = 1;
        ull v,x;
        for(int i = 1;i <= n;++i)
        {
            scanf("%d%d",&W[i],&T[i]);
            for(int j = 200000;j >= T[i];--j)
            {
                v = f[j];                        //f[j]表示第二个属性为j时，能够凑出的第一个属性的集合，用一个二进制数表示，第i位为1表示可以凑出这个数
                f[j] |= (f[j - T[i]]<<W[i]) & ((1LL<<M+1) - 1);          //计算使用当前物品能够得到的新的集合，在集合f[j - T[i]]添加W[i]的物品，
                                                                         //即原来能得到的每个值加上W[i]，等价于将其左移W[i]位
                for(ull k = v ^ f[j];k ; k &= k-1)               //枚举新增加的集合
                {
                    x = (k ^ (k - 1)) & k;                      
                    ans[j][mp[x] - 1] = i;                       //将新增的位置更新，记录是使用了哪个物品达到的这个状态
                }
            }
        }
        int m,s,p;
        for(int i = 0;i < q;++i)
        {
            scanf("%d%d",&m,&s);
            if(!ans[s][m])
                puts("No solution!");
            else
            {
                printf("%d",ans[s][m]);
                p = ans[s][m];
                m -= W[p];
                s -= T[p];
                while(m)
                {
                    p = ans[s][m];
                    printf(" %d",p);
                    m -= W[p];
                    s -= T[p];
                }
                puts("");
            }
        }
    }
    return 0;
}