bzoj 4671: 异或图 容斥原理+线性基+斯特林反演

题意

定义两个结点数相同的图 G1 与图 G2 的异或为一个新的图 G, 其中如果 (u, v) 在 G1 与G2 中的出现次数之和为 1, 那么边 (u, v) 在 G 中, 否则这条边不在 G 中.现在给定 s 个结点数相同的图 G1…s, 设 S = {G1, G2, … , Gs}, 请问 S 有多少个子集的异或为一个连通图?
$2 ≤ n ≤ 10,1 ≤ s ≤ 60.$

分析

发现要直接求连通图的话并不好求，那就考虑容斥。
先用O(贝尔数)的时间来把n个点划分成若干个集合，现在要求两两集合之间没有连边，集合内部可以任意连的方案数。
这个我们可以把每个图看做一个01变量，对于每一条连接两个集合的边，都可以对这s个集合列一个方程。然后对这些方程高斯消元一下求出主元数量$t$，那么方案数就是$2^{s-t}$。
设$f_m$表示所有m-划分的贡献和， g<