「有标号二分图计数」
题意:若一张无向图可以被划分为两个点集
答案对
定义双色图:点染成黑白双色,且同色不连边的有标号图。显然,双色图是二分图。
记有标号二分图的组合类为
注意到一个双色图黑白互换之后仍然是双色图,那么是否有
答案是否定的。考虑反映射,对于一个有标号二分图,若其分成多个连通分量,则每个连通分量都可以有各自的染色方案,并非只有
记有标号联通二分图的组合类为
此时就有
易得
则
综上
接下来的任务是求出
枚举有多少个点被染成黑色,易得
使用类似 Chirp Z-Transform 的方法可以卷积计算