#arc121f. [arc121_f]Logical Operations on Tree
[arc121_f]Logical Operations on Tree
問題文
から の番号がついた 頂点の木が与えられます。
番目の辺は頂点 と をつないでいます。
すぬけ君は頂点には 0
か 1
のラベルを、辺には AND
か OR
のラベルをつけることにしました。 頂点と辺へのラベルのつけ方は 通りあります。それらのうち下記の条件を満たすものの個数を で割ったあまりを求めてください。
条件:操作 を 回行ったのち、残った頂点についているラベルが 1
になるような操作手順が存在する。操作は下記の手順からなる。
- 辺を 本選んで縮約する(消された 個の頂点に書かれていたラベルを 、消された辺に書かれていたラベルを とする)。
- が
AND
ならば を、OR
ならば を新たな頂点にラベルとしてつける。
注記
- 演算 の定義は次の通りです:$\\mathrm{AND}(0,0)=(0,1)=(1,0)=0,\\mathrm{AND}(1,1)=1$
- 演算 の定義は次の通りです:$\\mathrm{OR}(1,1)=(0,1)=(1,0)=1,\\mathrm{OR}(0,0)=0$
- 頂点 と頂点 を結ぶ辺を縮約する際は、その辺を取り除くと同時に 頂点を併合します。縮約後の木において、併合により生まれた頂点と頂点 を結ぶ辺が存在するのは、縮約前の木において と を結ぶ辺または と を結ぶ辺が存在するときであり、またそのときに限られます。
制約
- 与えられる入力は全て整数
- 与えられるグラフは木
入力
入力は以下の形式で標準入力から与えられる。
出力
問題文中の条件を満たすラベルのつけ方の個数を で割ったあまりを出力せよ。
入力例 1
2
1 2
出力例 1
4
入力例 2
20
7 3
20 18
16 12
7 2
10 5
18 16
16 3
4 11
7 15
8 1
6 1
12 13
15 5
19 17
7 1
9 8
7 17
16 14
11 7
出力例 2
283374562
- で割ったあまりを出力するのを忘れずに。