csp-s模拟57

T1:
  没啥说的
 
T2:
  考虑状压,f[s]表示点集s的合法子图数量
  计算时枚举补集的子集x,表示新加入的点,用s中的点向x中的点连边,即可保证无环
  具体转移时需要容斥
(f[s|x] pm = 2^{cnt[x]}*f[s])(cnt[x]表示s连向x的边数)
 
T3:
  莫比乌斯反演,咕咕咕……

原文地址:https://www.cnblogs.com/Gkeng/p/11796130.html