ARC121 - F. Logical Operations on Tree (800)

解法

最終的に 1 にできるための必要十分条件は、以下が成り立つことである。

OR の辺を全て切って部分木に分けたとき、全ての頂点に 1 が書かれているようなものが存在する。

よって DFS + DP で容易に数えられる。

感想

なんで解けてなかったんだろう