問題はこちら
問題概要
解説
対称性から、頂点公式解説のようにグラフの問題として考えます.
すべてのFunctional Graphに対する「頂点から辺を辿ったとき,ちょうど
回頂点
を訪れるような
の数」の総和が答えになります.
あるグラフに対して,ちょうど回頂点
を訪れるような
はどのようになるのか考えてみましょう.
以下のように,赤の頂点をとして選ぶと頂点
をちょうど
回訪れることが分かります.

赤い頂点からなる部分グラフは頂点を根とする木となっていることが分かります.また,「頂点
をちょうど
回訪れる」という条件を満たすためには頂点
から赤い頂点以外の頂点に辺が張られている必要があります.
以上のことから「ちょうど回頂点
を訪れるような
の数」が
となるようなグラフは次のように作ることができます.
- 頂点
を除く
個の頂点から
個を選ぶ
- 選んだ
個の頂点と頂点
を用いて木を作る
- 残りの
個の頂点から
個の頂点を選び,頂点
から辺を張る
個の頂点から
個の頂点に向かう辺を適当に張る
これらの選び方の数はそれぞれ以下のようになります.
(ケイリーの公式)
したがって,最終的なこの問題の答えは
となります.任意modの二項係数を求める必要があることに注意してください.