PAT-4C-L3-001-凑零钱（DFS剪枝）

L3-001. 凑零钱

时间限制

200 ms

内存限制

65536 kB

代码长度限制

8000 B

判题程序

Standard

作者

陈越

韩梅梅喜欢满宇宙到处逛街。现在她逛到了一家火星店里，发现这家店有个特别的规矩：你可以用任何星球的硬币付钱，但是绝不找零，当然也不能欠债。韩梅梅手边有104枚来自各个星球的硬币，需要请你帮她盘算一下，是否可能精确凑出要付的款额。

输入格式：

输入第一行给出两个正整数：N（<=104）是硬币的总个数，M（<=102）是韩梅梅要付的款额。第二行给出N枚硬币的正整数面值。数字间以空格分隔。

输出格式：

在一行中输出硬币的面值 V1 <= V2 <= ... <= Vk，满足条件 V1 + V2 + ... + Vk =
M。数字间以1个空格分隔，行首尾不得有多余空格。若解不唯一，则输出最小序列。若无解，则输出“No Solution”。

注：我们说序列{A[1], A[2], ...}比{B[1], B[2], ...}“小”，是指存在 k >= 1 使得 A[i]=B[i] 对所有 i < k 成立，并且 A[k] < B[k]。
输入样例1：

8 9
5 9 8 7 2 3 4 1

输出样例1：

1 3 5

输入样例2：

4 8
7 2 4 3

输出样例2：

No Solution

#include <bits/stdc++.h>
using namespace std;
int Scan()
{
int res=0,ch,flag=0;
if((ch=getchar())=='-')flag=1;
else if(ch>='0'&&ch<='9')res=ch-'0';
while((ch=getchar())>='0'&&ch<='9')res=res*10+ch-'0';
return flag?-res:res;
}
void Out(int a)
{
if(a>9)Out(a/10);
putchar(a%10+'0');
}
#define INF 0x3f3f3f3f
int val[10005];
int n,cap;
int ans[10005];
int flag,temp;
void DFS(int s,int V, int sur)
{
if(V==0){flag=1;return;}
if(sur<V)return; ///剪枝：剩下的不够直接返回
for(int i=s; i<n; ++i)
if(V>=val[i])
{
DFS(i+1,V-val[i],sur-val[i]);
if(flag){ans[temp++]=val[i];break;}
}
else break;
}
int main()
{
n=Scan();
cap=Scan();
int all=0,a,f=0;
for(int i=0; i<n; ++i)
{
a=Scan();
if(a<=cap)all+=a,val[f++]=a;
}
n=f;
sort(val,val+n);
temp=flag=0;
DFS(0,cap,all);
if(flag)
{
for(int i=temp-1; i>0; --i)
Out(ans[i]),putchar(' ');
Out(ans[0]),putchar('\n');
}
else printf("No Solution\n");
}