E - Count 123 Editorial by harurun4635

形式的冪級数を用いる

2 を仕切りと思います。このとき、仕切りの間(と端)の \(X_2+1\) 個について

  • \(1\) つ以上の 1
  • \(1\) つ以上の 3
  • なにもなし

のいずれかの埋め方があります。

よって、求めるものは

\(\displaystyle [Y^{X_1}Z^{X_3}] \left( \frac{Y}{1-Y} + \frac{Z}{1-Z} + 1\right)^{X_2 + 1}\)

です。通分すれば

\(\displaystyle = [Y^{X_1}Z^{X_3}] \left( \frac{1 - YZ}{(1-Y)(1-Z)}\right)^{X_2 + 1}\)

となります。分子が \([Y^kZ^k]\) をとる時の寄与を考えることにすると

  • \(\displaystyle \sum_{k} (-1)^k \binom{X_2+1}{k} = [Y^kZ^k](1-YZ)^{X_2+1}\) (二項定理)

  • \(\displaystyle \binom{X_2 + X_1 - k}{X_1 - k} = [Y^{X_1-k}]\frac{1}{(1-Y)^{X_2+1}}\) (負の二項係数)

を用いれば

\(\displaystyle = \sum_{k} [Y^kZ^k](1-YZ)^{X_2+1} [Y^{X_1-k}]\frac{1}{(1-Y)^{X_2+1}} [Z^{X_3-k}]\frac{1}{(1-Z)^{X_2+1}}\)

\(\displaystyle = \sum_{k} (-1)^k \binom{X_2+1}{k} \binom{X_2+X_1 - k}{X_1 - k} \binom{X_2+X_3- k}{X_3 - k}\)

が求めるものです。

posted:
last update: