Ryser

首先和 \(\text{Fast as Ryser}\) 一样，当 \(n\) 为奇数时加一个点，将 \(n\) 任意划分成 \(\frac{n}{2}\) 个匹配，则求的匹配和原来的匹配构成了若干个环和若干条链，那么有匹配大小 \(=\) \(\frac{n}{2}-\) 链的个数。令链的集合幂级 ......

给定两个非负整数数列 $p_1 \ge p_2 \ge \dots \ge p_n$ 以及 $q_1 \ge q_2 \ge \dots \ge q_m$ 满足 $\sum_{i = 1}^n p_i = \sum_{i = 1}^m q_i$，存在一个简单二分图使得左部点的度数分别为 $p_1, ......