地址:https://ac.nowcoder.com/acm/contest/297/D
思路:归纳证明,假设前i-1个数能构成[1:sum],那么当a[i]<=sum+1. 则[1,sum+a[i]]中的所有数都能构造出来. 若a[i]>sum+1,那么sum+1肯定不能够构成
Code:
#include<iostream>
#include<algorithm>
using namespace std;
typedef long long LL;
const int MAX_N=1e3+5;
int n,m;
int a[MAX_N];
int main()
{
ios::sync_with_stdio(false);
cin>>n>>m;
for(int i=0;i<n;++i)
cin>>a[i];
sort(a,a+n);
LL Sum=0;
for(int i=0;i<n&&Sum<m;++i)
if(a[i]<=Sum+1) Sum+=a[i];
else break;
if(Sum>=m) cout<<"YES"<<endl;
else cout<<"NO"<<endl;
return 0;
}