Friend of Friend is Friend

2 secs 1024 MB
loop0919's icon loop0919

解説

SNSをグラフと捉えたとき、各連結成分は必ず完全グラフとなります。

さて、 nn 頂点からなる完全グラフの個数は 11 個なので、指数型母関数 fff(x)=n1xnn!=exp(x)1f(x) = \sum_{n \ge 1}\frac{x^n}{n!} = \exp(x) - 1 です。

ここで、グラフの数え上げの事実として、 exp / log を用いた以下のものが存在します。

  • 指数型母関数 f,gf, g を以下のように定義する。

    • n![xn]f(x)n![x^n]f(x) : nn 頂点の連結グラフであって、条件 * を満たすものの個数。

    • n![xn]g(x)n![x^n]g(x) : nn 頂点のグラフであって、すべての連結成分が条件 * を満たすものの個数。

  • このとき、 g(x)=exp(f(x))g(x) = \exp(f(x)) が成り立つ。

よって、各連結成分が完全グラフとなっているグラフの個数を表す指数型母関数は exp(exp(x)1)\exp(\exp(x) - 1) と表せます。

答えは N![xN]exp(exp(x)1)N![x^N]\exp(\exp(x) - 1) です。

別解

NN 番目のベル数 BNB_N が答えです。