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:
  莫比乌斯反演,咕咕咕……

posted @ 2019-11-05 08:06  G_keng  阅读(109)  评论(0编辑  收藏  举报