bzoj 3817: Sum 类欧几里得算法

       这道题目solution写了两种做法，都讲一下吧。

       首先，令x=r^0.5，显然，如果x>2，则可以不断减2到小于二；如果x>1，那么变为2-x。因此此时必有x<1。（特判r为完全平方数的情况）。那么令y=1/x，则：

       题目等价于在数轴从0~n，以y长度为一个区间（左闭右开）黑白交替染色，求黑色部分覆盖的整点减去白色部分覆盖的整点。然后把最后面零散的部分暴力计算，如果最后一个是黑色的也暴力计算。那么这个时候黑白段数相等，且每一段黑（白）都至少覆盖[y]个点恰好各自抵消[y]，那么将每一段都去掉[y]的长度，则n’={y}/y*n，y'={y}继续计算。显然y>1则y>1+{y}>2{y}，因此为logN。

       另一种为类欧几里得算法。感觉这一种比较有用就用了这一种，如下：

       欧几里得算法：计算gcd(x,y)，可以由gcd(y,x%y)得到。类欧几里得算法同理。

      令x=r^0.5， 显然，(-1)^[d*x]为=1+2*(2[d*x/2]-[d*x])，那么相当于求：