官方的Editorial在计算非连通图的时候给出了一个式子:
∑T⊊Sf(T)g(S∖T)\sum_{T\subsetneq S}f(T)g(S\setminus T)∑T⊊Sf(T)g(S∖T)
在 g(S∖T)g(S\setminus T)g(S∖T) 的方案数中也会出现连通子图,所以这样为什么不会算重复?