No.439

木を根付き木と考える. 頂点 の子の集合を とする.

ある頂点 について, を頂点 を含む頂点 の子孫にある c の数とする. も同様に定義する.

は葉から DP で求めることができる.

このとき, 木にある cww の数であるが, 真ん中の w が頂点 にあるとし, 頂点 の子のひとつを とすると,

  • 頂点 を含む頂点 の子孫の中に c があり, 木から頂点 と頂点 を含む頂点 の子孫を取り除いた中に w がある
  • 頂点 を含む頂点 の子孫の中に w があり, 木から頂点 を含む頂点 の子孫を取り除いた中に c がある

のどちらかとなる. それぞれのパターン数は,

となる.