P5020 [NOIP2018 提高组] 货币系统(完全背包+集合)

P5020 [NOIP2018 提高组] 货币系统

tags

完全背包，集合

思路

主要考察集合的证明

1. a中不能被其他数组成的数一定在b中
   1. 假设x∈a，其x不能被a中其他数组成，并且x￠b
   2. 那么b中必有一些数能够组成x
   3. 而这些数中：至少有一个数不属于a且不能被a中其他数组成（如果所有数·····那么x可以被a中其他数组成，矛盾）
   4. 但这此时a与b不等价了
   5. 所以：a中不能被其他数组成的数一定在b中
2. x∈b，那么x∈a
   1. 假设x∈b且x￠a
   2. 那么a中必有一些数（这些数不能被a中其他数组成）能组成x
   3. 又由定理1知这些数必定在b中，所以x能被b中其他数组成，但b的大小应该最小，所以x￠b与已知矛盾
   4. 所以：x∈b，那么x∈a
3. a中能被其他数组成的数必不在b中
   1. 推2的过程中就可以得到

所以a包含b，a中孤儿在b中，非孤儿不在b中

所以找出a中的孤儿即为答案

1. 因为大的数只能被比他小的数组成，先对数组排序
2. 如何利用完全背包判断dp[i][j]=前i个数能否组成j

AC代码

#include<bits/stdc++.h>
using namespace std;

const int maxn=105;
int t,n;
int a[maxn];
int dp[25010];

int main(){
    for(cin>>t;t;t--){
        cin>>n;
        int ans=n;
        for(int i=1;i<=n;i++)cin>>a[i];
        sort(a+1,a+1+n);
        memset(dp,0,sizeof(dp));
        dp[0]=1;
        for(int i=1;i<=n;i++){
            if(dp[a[i]]){
                ans--;
                continue;
            }
            for(int j=a[i];j<=a[n];j++){
                dp[j]=dp[j]||dp[j-a[i]];
            }
        }
    cout<<ans<<endl;
    }
}