标签：kc ni 自然 幂数 frac1 iB sum jC
\[\sum_{i=1}^ni^k \]
-
递推
令其为\(f(n,k)\)
\[(i+1)^{k+1}-i^{k+1}=C_{k+1}^1i^k+C_{k+1}^2i^{k-1}+…+C_{k+1}^ki+1 \]
相加得
\[(n+1)^{k+1}-1=C_{k+1}^1\sum_{i=0}^ni^k+C_{k+1}^2\sum_{i=0}^ni^{k-1}+…+C_{k+1}^k\sum_{i=0}^ni+n \]
\[f(n,k)=\frac1{k+1}((n+1)^{k+1}-\sum_{i=2}^{k+1}C_{k+1}^if(n,k+1-i)-1) \]
时间复杂度\(O(k^2)\)
-
拉格朗日插值
明显是一个关于n的k+1次多项式，可以做到\(O(k)\)
-
斯特林数（见组合数学）
-
伯努利数
\[f(n,k)=\frac1{k+1}\sum_{i=1}^{k+1}C_{k+1}^iB_{k+1-i}(n+1)^i \]
\(B_0=1\)，对于\(n>0\)有
\[\sum_{i=0}^nC_{n+1}^iB_i=0 \]
-
多项式差分
\(g(n)=n^k\)这一函数的差分表的第0条对角线为\(c_0…c_k\)
\[\sum_{i=0}^nf(i)=\sum_{i=0}^n\sum_{j=0}^kc_jC_i^j \]
\[=\sum_{j=0}^k\sum_{i=0}^nc_jC_i^j \]
\[=\sum_{j=0}^kc_jC_{n+1}^{j+1} \]
标签：kc,ni,自然,幂数,frac1,iB,sum,jC 来源： https://www.cnblogs.com/aurora2004/p/12625145.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。