ZJOI2020 抽卡 里的某个式子(幂)
想要求:
\[ans_k = [x^n] F(x)^k
\]
设求出了 \(H(F(x))=x\)
设 \(P_k(x)=x^k\) ,扩展拉格朗日反演:
\[ans_k = [x^n] P_k(F(x)) = \dfrac 1n [x^{n-1}] P_k'(x) (\dfrac{x}{H(x)})^n
\]
\[=\dfrac{1}{n}[x^{n-1}]k\times x^{k-1}\times(\dfrac{x}{H(x)})^n
\]
\[=\dfrac{1}{n}[x^{n-k}]k\times(\dfrac{x}{H(x)})^n
\]
和用二元多项式来扩展拉格朗日反演的结果是一样的...