AtCoder Beginner Contest 281 G問題 Farthest City
問題
提出解答
問題の概要
個の頂点 からなる単純無向グラフのうち, 以下を満たすようなものの数を ( で割った余り) を求めよ.
- 連結であり, において, である.
制約
解法
次のことが成り立つことを利用する.
無向連結グラフ において, とする. このとき, が成り立つ.
とする. に対して, が成り立つような単純連結グラフは次のようにして漏れなく重複無く作ることができる. なお, を満たす の個数を と書くことにする.
- の順に以下のようにする.
- となる全ての に対して, となる を つ以上選び, その選んだ に対して, 辺 を追加する.
- となる の組 を 個以上選び, 辺 を追加する.
このとき, まで確定させている状態から を確定させるとき, 距離が 以下である頂点の数と距離がちょうど である頂点の数さえわかればよいことがわかる.
このことから, 次のような動的計画法で求めることにする.
- ] : 距離が 以下の頂点数が 個, 距離がちょうど である頂点数が であり, 個の頂点が連結であるようなグラフの数.
ベースケースは頂点 との距離を述べているので, =[k=1] ] である.
更新式は上で述べたことから, 配る DP の形で,
となる.
なお, 各係数の意味は以下の通りである. なお, 距離が より大きい頂点が 個であるとする.
- : 距離が より大きい, 頂点 以外の 個の頂点から 個選ぶ方法.
- : 上で選んだ 個の頂点それぞれについて, 距離が である 個の頂点から1つ以上の頂点を選び, 辺で結ぶ方法
- : 選んだ 個の距離が である頂点同士を結ぶ方法.
このとき, 最終解答は頂点 が最遠点にならなくてはならないので, 上で述べた考え方を再利用して,
である.