LOJ #2290(「THUWC 2017」随机二分图-状态压缩dp)

某人在玩一个非常神奇的游戏。这个游戏中有一个左右各 n ($\le 15$)个点的二分图，图中的边会按照一定的规律随机出现。

为了描述这些规律，某人将这些边分到若干个组中。每条边或者不属于任何组 （这样的边一定不会出现），或者只属于一个组。

有且仅有以下三类边的分组：

这类组每组只有一条边，该条边恰好有 50% 的概率出现。
这类组每组恰好有两条边，这两条边有 50% 的概率同时出现，有 50% 的概率同时不出现。
这类组每组恰好有两条边，这两条边恰好出现一条，各有 50% 的概率出现。
组和组之间边的出现都是完全独立的。

某人现在知道了边的分组和组的种类，想要知道完美匹配数量的期望是多少。你能帮助她解决这个问题吗？

考虑2条边恰好出现一条，等于这2条边独立有50%概率出现，但是额外有-25%的概率不同时出现。
考虑2条边5成机率同时出现，等于这2条边独立有50%概率出现，但是有额外25%的概率同时出现。

#include<bits/stdc++.h> 
using namespace std;
#define For(i,n) for(int i=1;i<=n;i++)
#define Fork(i,k,n) for(int i=k;i<=n;i++)
#define ForkD(i,k,n) for(int i=n;i>=k;i--)
#define Rep(i,n) for(int i=0;i<n;i++)
#define ForD(i,n) for(int i=n;i;i--)
#define RepD(i,n) for(int i=n;i>=0;i--)
#define Forp(x) for(int p=pre[x];p;p=next[p])
#define Forpiter(x) for(int &p=iter[x];p;p=next[p])  
#define Lson (o<<1)
#define Rson ((o<<1)+1)
#define MEM(a) memset(a,0,sizeof(a));
#define MEMI(a) memset(a,0x3f,sizeof(a));
#define MEMi(a) memset(a,128,sizeof(a));
#define MEMx(a,b) memset(a,b,sizeof(a));
#define INF (0x3f3f3f3f)
#define F (1000000007)
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define vi vector<int> 
#define pi pair<int,int>
#define SI(a) ((a).size())
#define Pr(kcase,ans) printf("Case #%d: %lld\n",kcase,ans);
#define PRi(a,n) For(i,n-1) cout<<a[i]<<' '; cout<<a[n]<<endl;
#define PRi2D(a,n,m) For(i,n) { \
                        For(j,m-1) cout<<a[i][j]<<' ';\
                        cout<<a[i][m]<<endl; \
                        } 
#pragma comment(linker, "/STACK:102400000,102400000")
#define ALL(x) (x).begin(),(x).end()
typedef long long ll;
typedef long double ld;
typedef unsigned long long ull;
ll mul(ll a,ll b){return (a*b)%F;}
ll add(ll a,ll b){return (a+b)%F;}
ll sub(ll a,ll b){return ((a-b)%F+F)%F;}
void upd(ll &a,ll b){a=(a%F+b%F)%F;}
inline int read()
{
    int x=0,f=1; char ch=getchar();
    while(!isdigit(ch)) {if (ch=='-') f=-1; ch=getchar();}
    while(isdigit(ch)) { x=x*10+ch-'0'; ch=getchar();}
    return x*f;
} 
#define MAXN (1<<15)
vi e[MAXN];
int cnt=0,u[MAXN],typ[MAXN],v[MAXN]; 
ll pow2(ll x,ll y) {
    ll t=1%F;
    for(;y;y>>=1,x=x*x%F) if (y&1) t=t*x%F;
    return t;
}
map<int,int> f[MAXN];
int fir[MAXN]; // the first zero pos
int flg[30][30]={};
int main()
{
//  freopen("loj2290.in","r",stdin);
//  freopen(".out","w",stdout);
    int n=read(),m=read();
    For(i,m) {
        int ty=read(),x=read(),y=read(); x--,y--;
        e[x].pb(y);
        if (ty) {
            int x2=read(),y2=read(); x2--,y2--;
            e[x2].pb(y2);
            if (x==x2 ||y==y2) continue;
            if (x>x2) swap(x,x2),swap(y,y2);
            ++cnt;
            u[cnt]=x2,v[cnt]=y2,typ[cnt]=(ty==1)?1:-1; //ty==1 %25的概率同时出现，ty=2 -%25的概率同时出现 
            flg[x][y]=cnt;
        }
    }

    int S=1<<n;
    Rep(i,S-1) {
        if (!(i&1)) fir[i]=0;
        else fir[i] = fir[i>>1]+1;
    }

    ll frac1_2=pow2(2,F-2),frac1_4=pow2(4,F-2);

    f[0][0]=1;
    Rep(st,S)  {
        int u=fir[st];
        for(auto p:f[st]) {
            int st2 = p.fi ;
            ll val = p.se;
            for(int v:e[u]) {
                if ((st2>>v)&1) continue;
                f[st|(1<<u)][st2|(1<<v)] += mul(val , frac1_2);
                f[st|(1<<u)][st2|(1<<v)] %= F;

                if (flg[u][v]) {
                    int id=flg[u][v];
                    int x = ::u[id] , y = ::v[id];
                    if ((st>>x)&1) continue;
                    if ((st2>>y)&1) continue;
                    f[st|(1<<u)|(1<<x)] [st2 | (1<<v) | (1<<y) ]  
                            += (F + (ll)val * frac1_4 % F * typ[id] % F )%F ;
                    f[st|(1<<u)|(1<<x)] [st2 | (1<<v) | (1<<y) ]%=F;
                }

            }   
        }
    }
    int ans=f[S-1][S-1];
    For(i,n) ans=(ans<<1LL)%F;
    cout<<ans<<endl;

    return 0;
}