HDU6667 Roundgod and Milk Tea 二分图 Hall定理

最新推荐文章于 2020-07-09 16:04:22 发布

原创最新推荐文章于 2020-07-09 16:04:22 发布 · 428 阅读

2 ·

CC 4.0 BY-SA版权

二分图匹配专栏收录该内容

1 篇文章

订阅专栏

本文探讨了一个关于班级和奶茶的有趣问题，通过构建二分图模型，将学生和奶茶作为图的两边，解决最多人喝到奶茶的数学挑战。文章深入分析了Hall's marriage theorem，提供了一种高效的解决方案，并附带标准代码实现。

给出 $n$ 个班级，每个班级有 $a$ 个人 $b$ 杯奶茶，每个同学能且只能拿一杯奶茶，并且不能拿自己班的奶茶。求最多喝到奶茶的人数。
Source：2019 Multi-University Training Contest 8

比赛的时候由于数据太水，大多数人都用贪心过了，但是实际上这道题是一个二分图最大匹配的问题。
对于二分图 $(U + V, E)$ ，左边顶点表示学生，右边节点表示奶茶，学生和别的班的奶茶之间有边。答案是二分图最大匹配的大小。
根据Hall’s marriage theorem：
$S.\vert M\vert =\vert U\vert - \max_{S\subset U}(\vert S\vert-\vert N(S)\vert) \\where\ N(S)\ denotes\ the\ neighborhood\ of\ S.$
对于取得 $max⁡S⊂U(∣S∣−∣N(S)∣)\max_{S\subset U}(\vert S\vert-\vert N(S)\vert)$ 的集合 $S$ ,总共有三种情况：

$S$ 为空集， $∣M∣=∣U∣\vert M\vert =\vert U\vert$ .
所有的student来自同一个班级，这样的话就减去这个班的所有人.
student来自不同的班级， $∣M∣=∣V∣\vert M\vert =\vert V\vert$ .

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

int n;
long long a[1 << 20], b[1 << 20];

int main() {
    int T; scanf("%d", &T);
    while (T--) {
        scanf("%d", &n);
        for (int i = 0; i < n; i++) scanf("%lld%lld", a + i, b + i);
        long long totu = accumulate(a, a + n, 0ll);
        long long totv = accumulate(b, b + n, 0ll);
        long long ans = min(totu, totv);
        for (int i = 0; i < n; i++) ans = min(ans, totu + totv - a[i] - b[i]);
        printf("%lld\n", ans);
    }
    return 0;
}