AT2645 [ARC076D] Exhausted?（Hall定理推论/线段树+扫描线）

AT2645 [ARC076D] Exhausted?

对于一个二分图左边点连接的是右边点的一个前缀和一个后缀，求解最大匹配。

首先不能直接求解最大匹配，但是我们可以利用Hall定理的推论求解
$$|U|-max(|X|-N(|X|))$$

现在需要让$|S|-(m-{\bigcap }_{i\in S}[l_i,r_i])$最大，也就是让$|S|+{\bigcap }_{i\in S}[l_i,r_i]-m$最大，然后如果没有交集的情况答案就是n-m, 否则我们考虑枚举这个交集，对于一个区间答案最大就是区间长度加上覆盖这段区间的区间个数，那么我们考虑扫描线+线段树维护。

使用这个方法主要有两个限制，一个是要求各个区间对各个下标的贡献独立，一个是要求方便移动答案信息。