http://codeforces.com/contest/599/problem/E

題意不再多說...

我用 dp[i][type][s] 表示以i為根，包含二進位制s所表示的節點（不含i）的子樹的方案數，type的作用放到後面解釋。

那麼答案就是 dp[0][0][(1<<n)-2]

狀態轉移的時候我先分離出當前sta最低位的1(lowbit), 然後我列舉和這一位組成一顆子樹的情況（這樣使得列舉不會重複，隊友說的。。)。

對於情況s，要判斷是否有效，我列舉以i為公共祖先的點對，要求不能同時在s裡，並且對於每個s中的點，與它相連的點要在s中或者等於i。

對於符合條件的s, 列舉某個點j作為子樹的根, dp[i][type][sta] += dp[j][0][s] * dp[i][1][sta -s].

type == 0 表示未被分割的情況，type== 1表示另外還有子樹連著根。這是為了當type==0時，我要首先判斷一下以i為公共祖先的點對要都在點集裡。

遞迴結束條件是sta == 0 時 return 1。

（感覺並沒有講清楚T^T）

#include 

using namespace std;

typedef long long ll;
#define rep(i,s,t) for(int i=int(s); i pii;

int n,m,q;
int linked[15];
ll dp[15][3][1<<13+5];
pii mlca[15][105];
int cnt_lca[15];

bool judge(int root, int s, int mods)
{
	rep(i, 0, n) if((s >> i) & 1)
	{
		if((linked[i] | mods) != mods) return false;
	}
	rep(i, 0, cnt_lca[root])
	{
		if(((s >> mlca[root][i].first) & 1) && ((s >> mlca[root][i].second) & 1)) return false;
	}
	return true;
}
ll dpit(int root, int beg, int sta) // root 0 ~ n-1
{
	if(~dp[root][beg][sta]) return dp[root][beg][sta];
	if(beg == 0)
	{
		int tmps = sta + (1 << root);
		rep(i, 0, cnt_lca[root])
		{
			if(((tmps >> mlca[root][i].first) & 1) && ((tmps >> mlca[root][i].second) & 1)) continue;
			return dp[root][beg][sta] = 0;
		}
	}
	if(sta == 0)
	{
		return 1;
	}
	ll& ret = dp[root][beg][sta];
	ret = 0;
	int has = (sta & (-sta));
	sta -= has;
	for(int s = 0; s<=sta; s++) if((s | sta) == sta)
	{
		int ss = s + has;
		if(!judge(root, ss, ss + (1 << root))) continue;
		for(int i=0; i> i) & 1)
		{
			ret += dpit(i, 0, ss - (1 << i)) * dpit(root, 1, sta - s);
		}
	}
	//cout<