正着做不好做，于是我们考虑反着来，如何计算一个点集s的答案呢，一定是所有的方案减去不合法的方案，不合法的方案一定是缩完点后是一个DAG，那么就一定有度数为0的scc，于是我们枚举s的子集，就是说这些点构成的scc的度数为0，这里我们就需要容斥了，容斥的目的是算出s集组成不合法的DAG的方案数，因为我们没有办法确定这里有几个scc。于是我们提前处理出g[s]表示这里面的每种不同scc的方案的贡献是$-1^{num-1}$，然后它们和其余的点之间随便连边，其余的点之间也随便连边，然后g数组我们是枚举任意一个点，然后枚举它所在的scc，然后在通过f数组转移，f就是总方案减去所有子集度数为0时的方案。

妙妙啊。

1 #include 
      
        2 #define N 16 3 #define mod 1000000007 4 using namespace std; 5 int n,m,to[1<
       
        <
        
         <
         
          >1]+(i&1);23     for(int i=1;i