[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}}\)