还是好难啊。。
T1
是\(HALL\)定理的应用。
\(HALL\)定理是这样的:
对于一个二分图,设左部点全集为\(R\),右补点于某个左部点集合相接的并为\(T[S]\),那么这个二分图存在完美匹配,当且仅当:
\[\forall S\in R \rightarrow |S|\leq|T[S]|\]
然后根据这个定理进行逻辑推理可以推断出没必要对所有区间的子集进行\(check\),只需要对于每个区间\(check\)。
这个时候就可以用线段树来维护了。
T2
写在另一篇里面了。
https://www.cnblogs.com/Lrefrain/p/12313757.html
T3
会了,实现也很简单,所以暂时不想写。
先恶补一下复合逆和生成函数,做一点题充实一下新知识点。
主要是为明天下午的\(dy\)生成函数和多项式相关做准备。
原文:https://www.cnblogs.com/Lrefrain/p/12313764.html