Codeforces Round #540 F2. Tree Cutting (Hard Version)
コンテスト単位の記事がなかなか書けずにこどふぉの記事をサボってしまっているので、比較的楽に書ける1問単位の記事も書いていこうと思います。ちょっと方向性模索中。
解法
同じ色の頂点を繋ぐ
もし直接辺で繋がっていない頂点同士が同じ色だった場合、その間のパスに含まれる頂点は全て同じ連結成分に含まれる必要があります。なので前もってパス上の頂点をその色で塗りつぶしておくことで、今後の処理が楽になります。
これを効率的に行うためにLCAを利用します。同じ色の頂点全てのLCAを求めて、各頂点からLCAまでの経路上の頂点を全て塗れば良いです。(同じところを何度も塗りなおすような実装だと時間がかかるので注意)
このとき、もし塗ろうとした頂点に既に別の色が塗られていた場合は問題の条件を満たすことは絶対に不可能なので、0
を出力して終了します。ある色の頂点たちが別の色の頂点で分断されているような場合や、パス同士が交差してしまうような場合が該当します。
以降は、こうやって色を塗り足して同じ色の頂点をそれぞれ連結にした状態を考えていきます。
辺の切り方をDPで数える
適当に根を決めて木DPをします。このとき状態は以下のように取ることが出来ます。
- 頂点 以下の部分木における辺の切り方であって、頂点 が含まれる連結成分に有色の頂点が含まれていないような場合の数。
- 頂点 以下の部分木における辺の切り方であって、頂点 が含まれる連結成分に有色の頂点が含まれているような場合の数。
「辺をいくつ切ったか?」「具体的に何色の頂点が含まれているか?」というパラメータが必要そうに見えますが、それらを含めてしまうと計算が間に合いません。上手くDPをすることでこれらのパラメータを持たなくても正しい数え上げをすることができます。
先ほど同じ色の頂点は連結になるように間を塗ったので、有色の頂点の間に無色の頂点が挟まっている場合、それら有色の頂点同士は必ず異なる色になっています。そのためどの色が伸びてきているのかに関わらず、その間のどこかでは必ず辺を切らないといけません。これにより「具体的に何色の頂点が含まれているか?」という情報を不要にすることができます。
そして必要以上に辺を切らない、具体的には「 から遷移するときには辺を切ることを考えない」ことにより、最終的には必ずちょうど 本の辺が切られている状態になっているはずです。これにより「辺をいくつ切ったか?」という情報を不要にすることができます。
この考え方をもとに遷移を構成していきましょう。
頂点 が有色であるとき
有色の頂点については必ず になるので、 の計算だけを考えます。それぞれの子からの遷移は、子との色関係によって
- 子 が と同じ色を持っている場合、 であり、 から「辺を繋ぐ」という遷移があり得る。
- 子 が と違う色を持っている場合、 であり、 から「辺を切る」という遷移があり得る。
- 子 が無色である場合、 から「辺を繋ぐ」という遷移と、 から「辺を切る」という遷移があり得る。
の3パターンに分かれます。これらは結局どれも 通りになるので、これを全ての子について掛け算したものが です。
頂点 が無色であるとき
まずは を考えます。これは有色の頂点が含まれている連結成分を一切繋がないようにするので、
- 子 が有色である場合、 であり、 から「辺を切る」という遷移があり得る。
- 子 が無色である場合、 から「辺を繋ぐ」という遷移と、 から「辺を切る」という遷移があり得る。
と、先ほどとほぼ同じになります。 を全ての子について掛け算したものが です。
一方 のほうでは、どれかちょうど1つの子からは有色の頂点を含む連結成分を繋ぎ、残りの子については色を持ち込まないという遷移を考えます。この1つの子を全通り試すので、そのような子を として
が遷移の計算式になります。外側の が全ての子 について回り、その中の は 以外の子 について回るので、これは単純に計算すると子の数の2乗オーダーの計算時間がかかります。ですが積の部分を を挟んで左右からの累積積を用いて計算することで1乗オーダーに落ちます。
※ほとんどの場合は総積から1つだけ割り算(逆元の掛け算)をすることでも計算可能ですが、0除算になってしまう可能性があるので避けたほうが無難です。
このDPを根まで計算し、根を として が答えです。
ACコード
Submission #50200443 - Codeforces
おまけ(類題情報)
わりと似たような木DPをする類題です。これも好き。
Codeforces Round #522 C. Vasya and Maximum Matching - ARMERIA
「総積から1つだけ外した値が欲しいけど、0除算の可能性があるから逆元が使えない」という問題は、最近だとEDPCにありましたね。kyopro_friendsさんの記事のリンクを貼らせていただきます。