eq6-3をeq6-2に帰着
from 二項係数の公式
eq6-3をeq6-2に帰着
\sum_i \binom{A + i}{i}\binom{B + K - i}{K - i}
= \sum_j \binom{j}{A}\binom{B + K - j + A}{B} ... A+i -> j
= \sum_j \binom{j}{A}\binom{N - j -1}{B} ... A+B+K+1 -> N
= \binom{N}{A + B + 1} ... eq6-2
= \binom{A+B+K+1}{A + B + 1} = \binom{A+B+K+1}{K}
Related Pages
- →数え上げ×degwer×状態をまとめる×dpは全探索の高速化×arc059f×codefestival_2016_final_f×aoj2439×探索順の変更×大きい順に並べる×aoj2333×順列は挿入dp×bit_dp×区間は終点でソート×条件の言い換え×操作は多いが産物は少ない×agc013d×線形和への分解×演算順序の変更×ビット演算を桁ごとに分解×部分群×操作が可逆で全域→部分群×ラグランジュの定理×再帰的定義→dp×arc037d×桁dp×aoj0570×累積和×フェニック木×高速フーリエ変換×ntt×高速ゼータ変換×and_と_add_の畳み込み×二分累乗×agc013e×行列木定理×全域木の個数×lgv公式×非交叉経路の個数×小さい確率を無視する×二項係数の公式×経路数×45度回転×xとyにわける×カタラン数×包除原理×agc005d×約数系包除×arc064f→
- →ホッケースティック恒等式×二項係数の公式×Vandermondeの恒等式×巨大なnについての二項係数×形式的べき級数×arc110d_fps×oeis×重複組合せの畳み込み×arc110d_nonfps×arc110→
"Engineer's way of creating knowledge" the English version of my book is now available on [Engineer's way of creating knowledge]
(C)NISHIO Hirokazu / Converted from [Scrapbox] at [Edit]