【题解】Atcoder ARC#76 F-Exhausted?

　　第一次用霍尔定理做题..简单的来说，就是判断一张二分图上是否存在完美匹配，只需要证明对于 \(a\) 集合中的任意 \(k\) 个点来说，都与 \(b\) 集合中的 \(k\) 个点有边相连。如果不满足，那么最大匹配数就是两个集合中有连边的点数最大的差。

　　这道题目二分图匹配的解法是非常显然的，让 \(i\) 点和对面的 \(1 ->  l[i]\), \(r[i]  ->  m\) 点连边，判断是否存在完美匹配即可。但点数太多了，我们考虑使用霍尔定理来求解。如果我们固定右边选择的点为 \(1->l[i]\), \(r[i] -> m\)，那为了判断是否满足我们自然要尽量地使得左边的点数更大（如果在最大情况下依然合法，也就说明的确是存在完美匹配的，当然这也提示我们霍尔定理就是要寻找题目的特殊性质，固定一边的点数来考虑最坏的情况）。要使左边的点数最大，显然我们应该选入所有 \(l -> r\) 在这个范围内的点。所以我们可以使用扫描线降维维护最值。(～￣▽￣)～

#include <bits/stdc++.h>
using namespace std;
#define maxn 2000000
#define INF 99999999
int n, m, mn[maxn], mark[maxn];
int ans = INF;
 
int read()
{
    int x = , k = ;
    char c; c = getchar();
    while(c < '' || c > '') { if(c == '-') k = -; c = getchar(); }
    while(c >= '' && c <= '') x = x *  + c - '', c = getchar();
    return x * k;
}
 
struct node
{
    int l, r;
    friend bool operator <(const node& a, const node& b)
    { return a.r > b.r; }
}P[maxn];
 
void push_down(int p)
{
    if(!mark[p]) return;
    mark[p << ] += mark[p], mark[p <<  | ] += mark[p];
    mn[p << ] += mark[p], mn[p <<  | ] += mark[p];
    mark[p] = ;
}
 
void Update(int p, int l, int r, int L, int R, int x)
{
    if(L <= l && R >= r) { mn[p] += x; mark[p] += x; return; }
    if(L > r || R < l) return;
    int mid = (l + r) >> ;
    push_down(p);
    Update(p << , l, mid, L, R, x);
    Update(p <<  | , mid + , r, L, R, x);
    mn[p] = min(mn[p << ], mn[p <<  | ]);
}
 
void Build(int p, int l, int r)
{
    if(l == r) { mn[p] = l; return; }
    int mid = (l + r) >> ;
    Build(p << , l, mid), Build(p <<  | , mid + , r);
    mn[p] = min(mn[p << ], mn[p <<  | ]);
}
 
int Query(int p, int l, int r, int x)
{
    if(l == r) return mn[p];
    int mid = (l + r) >> ;
    push_down(p);
    if(x <= mid) return Query(p << , l, mid, x);
    else return Query(p <<  | , mid + , r, x);
}
 
int main()
{
    n = read(), m = read();
    for(int i = ; i <= n; i ++) P[i].l = read(), P[i].r = read();
    sort(P + , P +  + n);
    int now = ; Build(, , m);
    for(int i = m + ; i >= ; i --)
    {
        while(now <= n && P[now].r >= i)
            Update(, , m, P[now].l, m, -), now ++;
        Update(, , m, i, m, -);
        ans = min(ans, (m - i + ) + mn[]);
    }
    if(ans < ) printf("%d\n", -ans);
    else printf("0\n");
    return ;
}