找唯一特征值去重转移DP——CF1210F2 Marek and Matching
匹配肯定利用霍尔定理，先写出：\(\forall S,|S|-|G(S)|\le 0\)。
图论计数往往考虑容斥，设 \(f_{S,T}\) 表示对于二分图 \((S,T)\)，出现大小为 \(|S|\) 的匹配的概率，首先是 \(mat(S,T)\) 表示 \(G(S)\ge S\) 的方案数。然后想怎么减去，考虑怎么用一个信息代表一类不合法的情况。
这里考虑找出使得 \(|S|-|G(S)|\) 最大 \(S\) 来代表，若有多个则取 \(|S|\) 最小的，可以证明对于任意的无完美匹配的图， \(S\) 是唯一的，于是这样就用 \((S,T=G(S))\) 代表了一类无完美匹配的图，设方案数为 \(g_{S,T}\)。这里 \((S,T)\) 就是一个不合法图的“特征值”。
设 \(N(S,T)\) 表示 \(S,T\) 之间没有边的概率。
根据意义得到转移：
\[f_{S,T}=mat(S,T)-\sum_{S'\subseteq S,T'\subseteq T,S'\ne \emptyset}g_{S',T'}f_{S\setminus S',T\setminus T'}N(S',T\setminus T')
\]
然后考虑转移 \(g_{S,T}\)，根据意义我们要求 \((S,T)\) 是二分图 \((S,T)\) 的特征值，所以 \(G(S)=T\)，设 \(smat(S,T)\) 为 \(mat(S,T)\) 的所有情况中 \(G(S)=T\) 的。
\[g_{S,T}=smat(S,T)-\sum_{S'\subseteq S,T'\subseteq T,S'\ne S,|S'|-|T'|\ge |S|-|T|}g_{S',T'}h_{S\setminus S',T\setminus T'}N(S',T\setminus T')
\]
为了满足 \(G(S)=T\) 这里 \(h_{S,T}\) 表示 \(f_{S,T}\) 中所有满足 \(G(S)=T\) 的。于是得到 \(h\) 的转移式：
\[h_{S,T}=smat(S,T)-\sum_{S'\subseteq S,T'\subseteq T,S'\ne \emptyset}g_{S',T'}h_{S\setminus S',T\setminus T'}N(S',T\setminus T')
\]
发现 \(h_{U,U}\) 也为答案，所以没必要使用 \(f\) 了。
最后：
\[smat(S,T)=\sum_{T'\subseteq T}(-1)^{|T'|}N(S,T')
\]
作者赞语：
一种方案中，当满足某个易于DP的条件的元素只有一个时，这个元素就叫做特征值。
对所有特征值计数即实现对所有方案不重不漏考虑。
所以去重的方法有：
-
容斥
-
特征值