[离散化][状态压缩][集合][数论][图论][容斥原理]二分图计数

题目描述

分析

很明显是要求二分图的完备匹配数
但是n个点都与m-1个点相连，很难运用这个条件求出，但是可以想相反条件，即容斥原理
那么容易得出：
F(S)=Σ(-1)^|S|*h(S1,S)
S1⊆S
h(S1,S)表示S1与和自己无法匹配的点匹配，S任意匹配。
都很容易求，S1只有一种匹配方案，S只用乘上另一边有多少个点即可
然后重复计算问题思考一下，(-1)^|S|就是解决这个的

#include <iostream>
#include <cstdio>
#include <algorithm>
#define rep(i,a,b) for (i=a;i<=b;i++)
const lon