openjudge 4976---硬币（01背包，容斥？）

http://noi.openjudge.cn/ch0207/4976/

描述

宇航员Bob有一天来到火星上，他有收集硬币的习惯。于是他将火星上所有面值的硬币都收集起来了，一共有n种，每种只有一个：面值分别为a1,a2… an。 Bob在机场看到了一个特别喜欢的礼物，想买来送给朋友Alice，这个礼物的价格是X元。Bob很想知道为了买这个礼物他的哪些硬币是必须被使用的，即Bob必须放弃收集好的哪些硬币种类。飞机场不提供找零，只接受恰好X元。

输入

第一行包含两个正整数n和x。（1 <= n <= 200, 1 <= x <= 10000)
第二行从小到大为n个正整数a1, a2, a3 … an （1 <= ai <= x)

输出

第一行是一个整数，即有多少种硬币是必须被使用的。
第二行是这些必须使用的硬币的面值（从小到大排列）。

样例输入

5 18
1 2 3 5 10

样例输出

2
5 10

提示

输入数据将保证给定面值的硬币中至少有一种组合能恰好能够支付X元。
如果不存在必须被使用的硬币，则第一行输出0，第二行输出空行。

思路：其实就是先把n个硬币按01背包放一遍，存一下dp值。然后对于每一个硬币考虑，拿出来是否还有能凑成正好的x，，有人说是容斥。。。但是感觉并没有很强烈。。

代码：

#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;
int a[222], dp[10005], p[10005], ans[202];
int main(void)
{
	int n, x, i, j, k, flag;
	while(scanf("%d%d", &n, &x)!=EOF)
	{
		for(i=1;i<=n;i++)
			scanf("%d", &a[i]);
		memset(dp, 0, sizeof(dp));
		sort(a+1, a+n+1);
		dp[0] = 1;
		for(i=1;i<=n;i++)
		{
			for(j=10000;j>=a[i];j--)
				dp[j] += dp[j-a[i]];
		}
		k = 0;
		for(i=1;i<=n;i++)
		{
			memset(p, 0, sizeof(ans));
			for(j=0;j<=10000;j++)
			{
				if(j-a[i]<0)
					p[j] = dp[j];
				else
					p[j] = dp[j]-p[j-a[i]];
			}  
			if(p[x]==0)
				ans[++k] = a[i];
		}
		printf("%d\n", k);
		flag = 0;
		for(i=1;i<=k;i++)
		{
			if(flag==0)
				printf("%d", ans[i]), flag = 1;
			else
				printf(" %d", ans[i]);
		}
	}
	return 0;
}