求助多项式展开
  • 板块灌水区
  • 楼主Kiichi
  • 当前回复3
  • 已保存回复4
  • 发布时间2024/9/12 18:55
  • 上次更新2024/9/12 19:38:19
查看原帖
求助多项式展开
381817
Kiichi楼主2024/9/12 18:55

在看同学写的题解里有这么一段:

可以发现 ans=∑c∏i=1n(ai+ci−1−ci)ans=\sum\limits_{c}\prod\limits_{i=1}^{n}(a_i+c_{i-1}-c_i)。

考虑多项式展开,对于内部的 ai+ci−1−cia_i+c_{i-1}-c_i 我们直接划分为两部分:a−cia-c_i 和 ci−1c_{i-1}。

此时我们推广到积就会得到很多项 a−cia-c_i 和 ci−1c_{i-1} 的和,我们再引入一个子集 S⊆{1,2,3,⋯ ,n}S\subseteq\{1,2,3,\cdots,n\}。

每个 i∈Si\in S 代表在 ai−cia_i-c_i 中选取,否则代表在 ci−1c_{i-1} 中选取。

那么我们也就发现 ∏i=1n(ai+ci−1−ci)=∑S⊆{1,2,⋯ ,n}∏i∈S(ai−ci)∏i∉Sci−1\prod\limits_{i=1}^{n}(a_i+c_{i-1}-c_i)=\sum\limits_{S\subseteq \{1,2,\cdots,n\}}\prod\limits_{i\in S} (a_i-c_{i})\prod\limits_{i\not\in S}c_{i-1}。

整体式子也就得到了 ans=∑c∑S⊆{1,2,⋯ ,n}∏i∈S(ai−ci)∏i∉Sci−1ans=\sum\limits_{c}\sum\limits_{S\subseteq \{1,2,\cdots,n\}}\prod\limits_{i\in S} (a_i-c_{i})\prod\limits_{i\not\in S}c_{i-1}。

关于这个式子我搞不明白的是,引入 SS 之后,我认为它应该写成 ∑S⊆{1,2,⋯ ,n}∏i∈S(ai−ci)∏i∈Sci−1\sum\limits_{S\subseteq \{1,2,\cdots,n\}}\prod\limits_{i\in S} (a_i-c_{i})\prod\limits_{i\in S}c_{i-1},也就是不清楚为什么当 i∈Si\in S 的时候取 (ai−ci)(a_i-c_i),反之取 cic_i.

我也很迷糊,其实也不太搞得懂自己在说什么。如果您没理解我的意思也可以提出来,我来优化我的表达。

请问是否能详细解析一下这个式子?

2024/9/12 18:55
加载中...