数学口胡记录

发布时间 2023-08-17 00:19:43作者: cqbzlzh

[ABC213G] Connectivity 2

\(tag\):计数,\(dp\),容斥

\(n\)比较小,考虑状压。

\(dp_s\)表示只有\(s\)中的点都联通的方案数。\(g_s\)表示\(s\)的所有子图个数,若\(s\)中有\(cnt\)条边,那么\(g_s=2^{cnt}\)

考虑计算\(dp_s\),可以用总方案减去不合法方案,对于不合法方案数枚举\(s\)的子集\(t\),钦定\(t\)中节点联通,其余\(s-t\)中的点随意。

那么有\(dp_s=g_s-\sum\limits_{t \in s}{dp_t*g_{s \^{} t}}\)