atcoder#ARC121F. [ARC121F] Logical Operations on Tree
[ARC121F] 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$
- 演算 の定義は次の通りです:
- 頂点 と頂点 を結ぶ辺を縮約する際は、その辺を取り除くと同時に 頂点を併合します。縮約後の木において、併合により生まれた頂点と頂点 を結ぶ辺が存在するのは、縮約前の木において と を結ぶ辺または と を結ぶ辺が存在するときであり、またそのときに限られます。
制約
- 与えられる入力は全て整数
- 与えられるグラフは木
入力
入力は以下の形式で標準入力から与えられる。
出力
問題文中の条件を満たすラベルのつけ方の個数を で割ったあまりを出力せよ。
2
1 2
4
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
283374562
- で割ったあまりを出力するのを忘れずに。