【LOJ】#138. 类欧几里得算法

传送门：loj138

---

题解

被标题坑进去，断断续续做了一天。。。确实是“类欧几里得算法”啊(雾。。。

原题解-fjzzq2002

设答案为函数$f(a,b,c,n,k_1,k_2)=\sum _{i=0}^n{i}^{k_1}\lfloor \frac{ai+b}{c}{\rfloor }^{k_2}$

考虑以下情况：

• $\lfloor \frac{ai+b}{c}\rfloor$为常量($a=0$或$\lfloor \frac{an+b}{c}\rfloor =0$)，直接拉格朗日插值算出$\sum _{i=0}^n{i}^{k_1}$即可。

• $a\ge c$或$b\ge c$，$f(a,b,c,n,k_1,k_2)=\sum _{i=0}^n{i}^{k_1}(\lfloor \frac{a}{c}\rfloor \cdot i+\lfloor \frac{b}{c}\rfloor +\lfloor \frac{i\cdot (a\%c)+b\%c}{c}\rfloor {)}^{k_2}$，二项式展开一下得到若干 λ ∑ i = 0 n i k 1 ( ⌊ i ⋅ ( a % c ) + b % c c ⌋ ) k 2 \lambda\sum\limits_{i=0}^n i^{k_1} (\lfloor\dfrac{i·(a\%c)+b\%c}{c}\rfloor)^{k_2} λi=0∑n​ik1​(⌊ci⋅(a%c)+b%c​⌋)k