【清华集训2016】如何优雅地求和
记多项式第i项系数是b_i
ans = b_0 + \sum_{i=1}^{m}b_i \sum_{k=1}^{n} k^i \binom{n}{k} x^k(1-x)^{n-k}
我们考虑用第二类斯特林数展开k^i
k^i=\sum_{j=1}^{i}S(i,j)j! \binom{k}{j}
于是
\begin{aligned}
ans &= b_0 + \sum_{i=1}^{m}b_i \sum_{k=1}^{n} k^i \binom{n}{k} x^k(1-x)^{n-k}\\
&= b_0 + \sum_{i=1}^{m}b_i \sum_{k=1}^{n} \sum_{j=1}^{i}S(i,j)j! \binom{k}{j} \binom{n}{k} x^k(1-x)^{n-k}\\
&= b_0 + \sum_{i=1}^{m}b_i \sum_{j=1}^{i}S(i,j)j! \sum_{k=j}^{n} \binom{k}{j} \binom{n}{k} x^k(1-x)^{n-k}\\
&= b_0 + \sum_{i=1}^{m}b_i \sum_{j=1}^{i}S(i,j)j! \sum_{k=j}^{n} \binom{n}{j} \binom{n-j}{k-j} x^k(1-x)^{n-k}\\
&= b_0 + \sum_{i=1}^{m}b_i \sum_{j=1}^{i}S(i,j)j! \binom{n}{j} x^j \sum_{k=j}^{n} \binom{n-j}{k-j} x^{k-j}(1-x)^{n-k}\\
&= b_0 + \sum_{i=1}^{m}b_i \sum_{j=1}^{i}S(i,j)j! \binom{n}{j} x^j\\
\end{aligned}
获得一个O(m^2)做法
我们考虑优化,展开第二类斯特林数
S(i,j)=\frac{1}{j!} \sum_{k=1}^{j}(-1)^{j-k} \binom{j}{k} k^i = \frac{1}{j!} \sum_{k=1}^{\infty}(-1)^{j-k} \binom{j}{k} k^i
于是
\begin{aligned}
ans &= b_0 + \sum_{i=1}^{m}b_i \sum_{j=1}^{i}S(i,j)j! \binom{n}{j} x^j\\
&= b_0 + \sum_{j=1}^{i} j! \binom{n}{j} x^j \sum_{i=1}^{m}b_i S(i,j)\\
&= b_0 + \sum_{j=1}^{i} j! \binom{n}{j} x^j \sum_{i=1}^{m}b_i \frac{1}{j!} \sum_{k=1}^{j}(-1)^{j-k} \binom{j}{k} k^i\\
&= b_0 + \sum_{j=1}^{i} \binom{n}{j} x^j \sum_{i=1}^{m}b_i \sum_{k=1}^{m}(-1)^{j-k} \binom{j}{k} k^i\\
&= b_0 + \sum_{j=1}^{i} \binom{n}{j} x^j \sum_{k=1}^{m}(-1)^{j-k} \binom{j}{k} \sum_{i=1}^{m}b_ik^i\\
\end{aligned}
发现\sum_{i=1}^{m}b_ik^i就是f(k)-b_0
出题人非常凉心地给出了点值让我们不需要多点求值
于是
\begin{aligned}
ans &= b_0 + \sum_{j=1}^{i} \binom{n}{j} x^j \sum_{k=1}^{m}(-1)^{j-k} \binom{j}{k} \sum_{i=1}^{m}b_ik^i\\
&= b_0 + \sum_{j=1}^{i} \binom{n}{j} x^j \sum_{k=1}^{m}(-1)^{j-k} \binom{j}{k} (f(k)-b_0)\\
\end{aligned}
后面的部分是一个卷积的形式,NTT解决
b_0显然是f(0)
于是就做完了
时间复杂度O(mlogm)
不过据说各种O(m^2)做法乱艹过这题
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· .NET Core GC压缩(compact_phase)底层原理浅谈
· 现代计算机视觉入门之:什么是图片特征编码
· .NET 9 new features-C#13新的锁类型和语义
· Linux系统下SQL Server数据库镜像配置全流程详解
· 现代计算机视觉入门之:什么是视频
· Sdcb Chats 技术博客:数据库 ID 选型的曲折之路 - 从 Guid 到自增 ID,再到
· .NET Core GC压缩(compact_phase)底层原理浅谈
· Winform-耗时操作导致界面渲染滞后
· Phi小模型开发教程:C#使用本地模型Phi视觉模型分析图像,实现图片分类、搜索等功能
· 语音处理 开源项目 EchoSharp