atcoder#ABC152F. [ABC152F] Tree and Constraints

[ABC152F] Tree and Constraints

配点 : 600600

問題文

11 から NN までの番号がつけられた NN 個の頂点を持つ木があります。 この木の ii 番目の辺は頂点 aia_i と頂点 bib_i を結んでいます。 この木の各辺に、それぞれ白か黒の色を塗ることを考えます。このような塗り方は 2N12^{N-1} 通り考えられますが、そのうち以下の MM 個の制約をすべて満たすものの個数を求めてください。

  • i(1iM)i(1 \leq i \leq M) 番目の制約は、 22 つの整数 uiu_iviv_i によって表される。これは、頂点 uiu_i と頂点 viv_i を結ぶパスに含まれる辺のうち、黒く塗られているものが 11 つ以上存在しなければならないことを意味する。

制約

  • 2N502 \leq N \leq 50
  • 1ai,biN1 \leq a_i,b_i \leq N
  • 入力で与えられるグラフは木である。
  • 1Mmin(20,N(N1)2)1 \leq M \leq \min(20,\frac{N(N-1)}{2})
  • 1ui<viN1 \leq u_i < v_i \leq N
  • iji \not= j なら uiuju_i \not=u_j または vivjv_i\not=v_j
  • 入力はすべて整数である。

入力

入力は以下の形式で標準入力から与えられる。

NN

a1a_1 b1b_1

::

aN1a_{N-1} bN1b_{N-1}

MM

u1u_1 v1v_1

::

uMu_M vMv_M

出力

MM 個の制約をすべて満たす塗り方の個数を出力せよ。

3
1 2
2 3
1
1 3
3

この入力中の木は以下のようなものです。

図

11 と辺 22 をそれぞれ (白,黒), (黒,白), (黒,黒) で塗った場合に、MM 個の制約をすべて満たすことができます。 したがって答えは 33 です。

2
1 2
1
1 2
1

この入力中の木は以下のようなものです。

図

11 を黒く塗った場合のみ、 MM 個の制約をすべて満たすことができます。
したがって答えは 11 です。

5
1 2
3 2
3 4
5 3
3
1 3
2 4
2 5
9

この入力中の木は以下のようなものです。

図

8
1 2
2 3
4 3
2 5
6 3
6 7
8 6
5
2 7
3 5
1 6
2 8
7 8
62

この入力中の木は以下のようなものです。

図