Roundgod and Milk Tea 【多校8 HDU 6667】【Hall定理】

题目链接

题目大意

有n个班级，每个班级有ai个人，一个班级可以做出bi杯奶茶，一个班级的人不能喝本班做的奶茶，可以喝别的班做的奶茶，问最多有多少人喝到奶茶

解题思路

这个题推的我也是有点迷。用到了一个加Hall定理的东西，那我们先开看看啥是Hall定理：

这个定理还是很好理解的，虽然我不会证明，这个不重要… … 对这个题重要的是这个定理有一个推论：

这个N_G(W)的意思是和W相连的节点数
所以在这个题里，我们把学生当成一个顶点集|U|，把奶茶当成一个顶点集|V|，每个学生和奶茶都是一个顶点，每个学生和不是本班做的奶茶相连一个边，那这个题的答案就是这个图的最大二分图匹配啦，然后如果想要把这个图建出来，再求最大匹配，就爆炸了，时间空间都不允许呀，然后我们就用到了刚刚的推论：

就是这个！
我们思考三种情况：
1.当这个S子集是个空子集的时候，那么|M|=|U|
2.当这个S子集就是U的本身的时候，那么N(S)就等于V（奶茶的数量），即|M|=|V|
3.当S是|U|的一个子集，我们一个班一个班的考虑，当S是一个班的学生的时候，那么：
|M|=Sa-（ai-（Sb-bi））其中Sa，Sb分别代表学生总数量和奶茶总数量，ai，bi代表本班学生数量和本班做的奶茶数
（为什么第三个情况不一个个学生考虑火或者两个班三个班的考虑呢，因为我们求的是max，也就是最大值，那么这些考虑都是无效的，大家画一下就知道了，很容易理解）
三个情况取最小值记为结果

#include<stdio.h>
#include<string.h>
#include<algorithm>
using namespace std;

const int N=1e6+5;
long long a[N],b[N];
int main()
{
    int T,n;
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d",&n);
        for(int i=1;i<=n;i++)
            scanf("%lld %lld",&a[i],&b[i]);
        long long ans1=0,ans2=0;
        for(int i=1;i<=n;i++)
        {
            ans1+=a[i];
            ans2+=b[i];
        }
        long long ans=min(ans1,ans2);
        for(int i=1;i<=n;i++)
        {
            ans=min(ans,ans1-(a[i]-(ans2-b[i])));
        }
        printf("%lld\n",ans);
    }
    return 0;
}