学习类欧几里得小记

首先

我们设mod表示取模（%）
我们设[]表示当括号内判断条件为真则退出1，否则退出0

关于欧几里得

对于b<>0 满足:gcd(a,b)=gcd(b,a % b)
证明与时间复杂度不多说了吧？

复杂度证明贴上，看不懂也不怪我了。

关于类欧几里得

这个实际上是用欧几里得的时间复杂度与计算方法来弄的一种奇妙的算法。
我们看一道题：
求：${\sum }_{d=1}^n(-1{)}^{\lfloor \sqrt{d\ast r\ast d}\rfloor }$
那么，我们可以发现，只要确定$\lfloor \sqrt{d\ast r\ast d}\rfloor$是不是偶数即可。
那么原式就转化为：${\sum }_{d=1}^n\lfloor \sqrt{r}\ast d/2\rfloor mod2$
据说这个东东可以利用几何来搞。
大致就是在二维平面上，根据$\sqrt{r}$ 和 $d$ 来弄个直线。
然后确定覆盖的值即可。

然而局限性很大，不好用。

我们考虑一般形式（也就是类欧的基本形式）
${\sum }_{x=0}^n\lfloor (x\ast a+b)/c\rfloor$
于是我们就要将这个式子的计算弄成$O(log)$的时间复杂度。
这就是类欧

求解

我们首先设三个函数：
$f(a,b,c,n)={\sum }_{x=0}^n\lfloor (x\ast a+b)/c\rfloor$
$g(a,b,c,n)={\sum }_{x=0}^{n}x\ast \lfloor (x\ast a+b)/c\rfloor$
$h(a,b,c,n)={\sum }_{x=0}^n(\lfloor (x\ast a+b)/c\rfloor {)}^2$
边界条件：当a=0时返回0.
那么我们就要来化简式子了。
一、看到f

• 当a>=c时
  • ${\sum }_{x=0}^n\lfloor (x\ast a+b)/c\rfloor$
  • $={\sum }_{x=0}^n\lfloor (x\ast (a$ $mod$ $c)+b)/c\rfloor +x\ast \lfloor a/c\rfloor$
  • $=(n+1)\ast n\ast \lfloor a/c\rfloor /2+{\sum }_{x=0}^n\lfloor (x\ast (a$ $mod$ $c)+b)/c\rfloor$
  • $=(n+1)\ast n\ast \lfloor a/c\rfloor /2+f(a$ $mod$ $c,b,c,n)$
  • 恭喜时间缩短一个log。
• 当b>=c时
  • ${\sum }_{x=0}^n\lfloor (x\ast a+b)/c\rfloor$
  • $={\sum }_{x=0}^n\lfloor (x\ast a+(b$ $mod$ $c))/c\rfloor +\lfloor b/c\rfloor$
  • $=n\ast \lfloor b/c\rfloor +{\sum }_{x=0}^n\lfloor (x\ast a+(b$ $mod$ $c))/c\rfloor$
  • $=n\ast \lfloor b/c\rfloor +f(a,b$ $mod$ $c,c,n)$
  • 恭喜时间再缩短一个log。
• 当 a<c 且 b<c 时
  • 首先我们设$m=\lfloor (a\ast x+b)/c\rfloor$
  • 那么原式就转化为：${\sum }_{x=0}^n{\sum }_{y=1}^m[y<\lfloor (a\ast x+b)/c\rfloor ]$
  • 于是我们把$y<\lfloor (a\ast x+b)/c\rfloor$拆出来看看
  • $y+1\le \lfloor (a\ast x+b)/c\rfloor \le (a\ast x+b)/c$
  • $c\ast (y+1)\le a\ast x+b$
  • $c\ast y+c-b-1<a\ast x$
  • $\lfloor (c\ast y+c-b-1)/a\rfloor <x$
  • 那么带入原式就变成了${\sum }_{y=0}^{m-1}{\sum }_{x=0}^n[\lfloor (c\ast y+c-b-1)/a\rfloor <x]$
  • ${\sum }_{y=0}^{m-1}n-\lfloor (c\ast y+c-b-1)/a\rfloor$
  • $n\ast (m+1)-{\sum }_{y=0}^{m-1}\lfloor (c\ast y+c-b-1)/a\rfloor$
  • $n\ast (m+1)-f(c,c-b-1,a,m-1)$

那么f就推完了
二、看到g

• 当a>=c时，好推，思路和f相近
  • $={\sum }_{x=0}^{n}x\ast \lfloor (x\ast (a$ $mod$ $c)+b)/c\rfloor +x^2\ast \lfloor a/c\rfloor$
  • $=(2\ast n+1)(n+1)\ast n\ast \lfloor a/c\rfloor /6+{\sum }_{x=0}^{n}x\ast \lfloor (x\ast (a$ $mod$ $c)+b)/c\rfloor$
  • 注意，那条奇怪的n的式子是用平方和公式计算出来的，不懂的百度一下“平方和公式”
  • $=(2\ast n+1)(n+1)\ast n\ast \lfloor a/c\rfloor /6+g(a$ $mod$ $c,b,c,n)$
• 当b>=c时，也好推，思路也相似，就直接贴答案了吧。
  • $=(n+1)\ast n\ast \lfloor b/c\rfloor /2+g(a,b$ $mod$ $c,c,n)$
• 当a<c且b<c时，我们就也是类似于f，只不过有点麻烦。
  • 我们同样的把原式拆成${\sum }_{x=0}^{n}x\ast {\sum }_{y=1}^m[\lfloor (c\ast y+c-b-1)/a\rfloor <x]$
  • 设T=$\lfloor (c\ast y+c-b-1)/a\rfloor$
  • 那么，我们可以移动一下式子：
  • ${\sum }_{y=0}^m{\sum }_{x=0}^n[T<x]\ast x$
  • ${\sum }_{y=0}^m{\sum }_{x=T+1}^{n}x$
  • 利用求和公式：${\sum }_{y=0}^{m-1}(n+1+t)\ast (n-T)/2$
  • 化简：${\sum }_{y=0}^{m-1}((n+1)\ast n-T-T^2)/2$
  • 逐个拆开来看，答案就是：
  • $n\ast m\ast (n+1)/2-h(c,c-b-1,a,m-1)/2-f(c,c-b-1,a,m-1)/2$

那么g也推完了，但是我们看到有个h在式子中，怎么办？
三、看到h

• 对于a>=c或b>=c我们设$H=\lfloor a/c\rfloor$ $E=\lfloor b/c\rfloor$
  • 那么我们开始拆式子：
  • ${\sum }_{x=0}^n(\lfloor (x\ast a+b)/c\rfloor {)}^2$
  • $={\sum }_{x=0}^n(\lfloor (x\ast (a$ $mod$ $c)+(b$ $mod$ $c))/c\rfloor +x\ast H+E{)}^2$
  • $={\sum }_{x=0}^n(\lfloor (x\ast (a$ $mod$ $c)+(b$ $mod$ $c))/c\rfloor {)}^2+2\ast (x\ast H+E)\ast (\lfloor (x\ast (a$ $mod$ $c)+(b$ $mod$ $c))/c\rfloor )+(x\ast H+E{)}^2$
  • $={\sum }_{x=0}^n(\lfloor (x\ast (a$ $mod$ $c)+(b$ $mod$ $c))/c\rfloor {)}^2+2\ast x\ast H\ast (\lfloor (x\ast (a$ $mod$ $c)+(b$ $mod$ $c))/c\rfloor )+2\ast E\ast (\lfloor (x\ast (a$ $mod$ $c)+(b$ $mod$ $c))/c\rfloor )+(x\ast H+E{)}^2$
  • $=h(a$ $mod$ $c,b$ $mod$ $c,c,n)$
  • $+2\ast H\ast g(a$ $mod$ $c,b$ $mod$ $c,c,n)$
  • $+2\ast E\ast f(a$ $mod$ $c,b$ $mod$ $c,c,n)$
  • $+n\ast (n+1)\ast (2\ast n+1)\ast H^2/6+n\ast (n+1)\ast H\ast E+(n+1)\ast E^2$
  • 我们发现，当a<c或b<c时，H或E会等于0，所以不会影响答案
• 对于a<c且b<c时，我们就另辟西路。
  • 我们首先看到这个转化：
  • $n^2=2\ast (n+1)\ast n/2-n=(2\ast {\sum }_{i=1}^{n}i)-n$
  • 那么我们就可以再来愉快地推式子啦。
  • 设$T=\lfloor (a\ast x+b)/c\rfloor M=\lfloor (a\ast n+b)/c\rfloor$
  • $原式={\sum }_{x=0}^n((2\ast {\sum }_{y=1}^{T}y)-T)$
  • $={\sum }_{x=0}^n((2\ast {\sum }_{z=0}^{M-1}(z+1)\ast [T>=z+1])-T)$
  • （这里M-1是因为后面的z+1）
  • 我们把那条又臭又熟悉的式子拆出来。
  • 设$P=\lfloor (c\ast y+c-b-1)/a\rfloor$
  • $={\sum }_{x=0}^n((2\ast {\sum }_{z=0}^{M-1}(z+1)\ast [x>P])-T)$
  • $=2\ast ({\sum }_{z=0}^{M-1}z\ast (n-p)+{\sum }_{z=0}^{M-1}(n-p))-f(a,b,c,n)$
  • $=n\ast M\ast (M+1)-2\ast g(c,c-b-1,a,M-1)-2\ast f(c,c-b-1,a,M-1)-f(a,b,c,n)$

至此，式子已经推完。
可以看看例题：陶陶的难题。