AT2645 [ARC076D] Exhausted?
对于一个二分图左边点连接的是右边点的一个前缀和一个后缀,求解最大匹配。
首先不能直接求解最大匹配,但是我们可以利用Hall定理的推论求解
∣U∣−max(∣X∣−N(∣X∣))|U|-max(|X|-N(|X|))∣U∣−max(∣X∣−N(∣X∣))
现在需要让∣S∣−(m−⋂i∈S[li,ri])|S|-(m-\bigcap_{i\in{S}}[l_i,r_i])∣S∣−(m−⋂i∈S[li,ri])最大,也就是让∣S∣+⋂i∈S[li,ri]−m|S|+\bigcap_{i\in{S}}[l_i,r_i]-m∣S∣+⋂i∈S[li,ri]−m最大,然后如果没有交集的情况答案就是n-m, 否则我们考虑枚举这个交集,对于一个区间答案最大就是区间长度加上覆盖这段区间的区间个数,那么我们考虑扫描线+线段树维护。
使用这个方法主要有两个限制,一个是要求各个区间对各个下标的贡献独立,一个是要求方便移动答案信息。