文档章节

类欧几里得算法

o
 osc_gu9d45li
发布于 2019/04/03 16:22
字数 1737
阅读 12
收藏 0

类欧几里得算法

  • By Winniechen

一种用来快速求某些带有特殊性质的式子的和,一般复杂度为$O(\log n)$,有些特殊时刻,需要用到$\gcd$,因此为$O(\log^2 n)$

第一类

$f(a,b,c,n)=\sum\limits_{i=0}^n\lfloor\frac{a\times i+b}{c}\rfloor$

显然,若$a\ge c$,那么:​ $$ f(a,b,c,n)=\sum\limits_{i=0}^n\lfloor\frac{(c\times k+t)\times i+b}{c}\rfloor \ =\sum\limits_{i=0}^nk\times i+\lfloor\frac{t\times i+b}{c}\rfloor \ =\frac{i\times (i+1)\times k}{2}+\sum\limits_{i=0}^n\lfloor\frac{t\times i+b}{c}\rfloor \ =\frac{i\times (i+1)\times k}{2}+f(t,b,c,n) $$

同样,若$b\ge c$,那么:$f(a,b,c,n)=\sum\limits_{i=0}^n{\lfloor\frac{a\times i+c\times k+t}{c}\rfloor}=f(a,t,c,n)+k\times n$

因此,我们可以将上面两种情况转化为下面的这种:

$f(a,b,c,n),a< c,b<c$

$f(a,b,c,n)=\sum\limits_{i=0}^n\lfloor\frac{a\times i+b}{c}\rfloor=\sum\limits_{i=0}^n\sum\limits_{j=1}^m[\lfloor\frac{a\times i+b}{c}\rfloor\ge j],(m=\frac{a\times n+b}{c})$ $$ f(a,b,c,n) \\ =\sum\limits_{i=0}^n\sum\limits_{j=0}^{m-1}{[a\times i > j\times c+c-b-1]} \\ =\sum\limits_{i=0}^n\sum\limits_{j=0}^{m-1}[i> \frac{j\times c+c-b-1}{a}] \\ = \sum\limits_{j=0}^{m-1}n-\lfloor\frac{c\times j-b+c-1}{a}\rfloor \\ = n\times m-f(c,c-b-1,a,m-1)​ $$

显然,对于项:$a,c$,经过了类似$\gcd$的$a=c,c=a%c$

因此,复杂度得以保证。

第二类

$g(a,b,c,n)=\sum\limits_{i=0}^ni\times \lfloor\frac{a\times i+b}{c}\rfloor$

类似前面的,推出$a,b\ge c$的情况。

$g(a,b,c,n)=\frac{n\times (n + 1)\times (2\times n+1)}{6} k_a+\frac{n\times (n+1)}{2}k_b+g(t_a,t_b,c,n)$

$g(a,b,c,n)=\sum\limits_{i=0}^ni\times \lfloor\frac{a\times i+b}{c}\rfloor=\sum\limits_{i=0}^ni\sum\limits_{j=1}^m[\lfloor\frac{a\times i+n}{c}\rfloor\ge j]$,$m$同上

发现后面的同上,所有我就跳过几步.jpg $$ \ \ \ \ \ \ g(a,b,c,n)\\ =\sum\limits_{i=0}^ni\sum\limits_{j=0}^{m-1}[i>\lfloor\frac{c\times j+c-b-1}{a}\rfloor ] \\ =\sum\limits_{j=0}^{m-1} \frac{n\times (n+1)}{2}-\frac{x\times (x+1)}{2}(x=\lfloor\frac{c\times j+c-b-1}{a}\rfloor) \\ =\frac{n\times (n+1)\times m+\sum\limits_{j=0}^{m-1}x+x^2}{2}\\ = \frac{n\times (n+1)\times m-f(c,c-b-1,a,m-1)-h(c,c-b-1,a,m-1)}{2} $$

$h(a,b,c,n)=\sum\limits_{i=0}^n \lfloor\frac{a\times i+b}{c}\rfloor ^2$,这个马上介绍...

但是显然,这个$g(a,b,c,d)$就只差$h(a,b,c,d)$了,其他都没有问题,都可以在$\log n$内解决

第三类

$h(a,b,c,n)=\sum\limits_{i=0}^n \lfloor\frac{a\times i+b}{c}\rfloor ^2$

同样类似上面的那个... $$ h(a,b,c,n)=\ (a/c)^2n(n+1)(2n+1)/6+\ (b/c)^2(n+1)+(a/c)*(b/c)n(n+1)+\ h(a%c,b%c,c,n)+2(a/c)g(a%c,b%c,c,n)+\ 2(b/c)*f(a%c,b%c,c,n)$​ $$ 其实也没啥,就是麻烦了点...

就是需要稍微构造一下,因为正常推的话,显然是不能推的...

$n^2=2\times\frac{n\times (n+1)}{2}-n=2(\sum\limits_{i=0}^n i) -n$

$h(a,b,c,n)=\sum\limits_{i=0}^n2\sum\limits_{j=1}^xj-f(a,b,c,n)$

$h(a,b,c,n)=\sum\limits_{j=0}^{m-1}2\times (j+1)\sum\limits_{i=0}^n[\lfloor\frac{a\times i+b}{c}\rfloor \ge j+1]-f(a,b,c,n)$

$h(a,b,c,n)=2\sum\limits_{j=0}^{m-1}(j+1)\times(n- \lfloor\frac{c\times j+c-b-1}{a}])-f(a,b,c,n)$ $$ h(a,b,c,n)=\ n\times m\times (m+1) \ - 2\times g(c,c-b-1,a,m-1) \ - 2\times f(c,c-b-1,a,m-1) \ - f(a,b,c,n) $$ 完事了!

第一种,难写难调跑得慢...(并且复杂度多了一个$\log$

#include <cstdio>
#include <algorithm>
#include <cmath>
#include <cstring>
#include <cstdlib>
#include <queue>
#include <iostream>
#include <bitset>
#include <map>
using namespace std;
#define ll long long
#define mod 998244353
#define inv2 499122177
#define inv6 166374059
struct node
{
	ll a,b,c,d;
	node(){}
	node(ll x,ll y,ll z,ll w){a=x,b=y,c=z,d=w;}
	bool operator < (const node &t) const {return a==t.a?(t.b==b?(t.c==c?d<t.d:c<t.c):b<t.b):a<t.a;}
};
map<node ,ll >F,G,H;
ll f(ll n,ll a,ll b,ll c)
{
	if(F.find(node(n,a,b,c))!=F.end())return F[node(n,a,b,c)];
	if(b>=c)return F[node(n,a,b,c)]=(f(n,a,b%c,c)+(b/c)*(n+1)%mod)%mod;
	if(a>=c)return F[node(n,a,b,c)]=(f(n,a%c,b,c)+(a/c)*(n*(n+1)%mod*inv2%mod)%mod)%mod;
	if(!a)return 0;
	ll m=(a*n+b)/c;return F[node(n,a,b,c)]=(n*m%mod-f(m-1,c,c-b-1,a))%mod;
}
ll g(ll n,ll a,ll b,ll c);
ll h(ll n,ll a,ll b,ll c);
ll g(ll n,ll a,ll b,ll c)
{
	if(G.find(node(n,a,b,c))!=G.end())return G[node(n,a,b,c)];
	if(a>=c)return G[node(n,a,b,c)]=(g(n,a%c,b,c)+(a/c)*n%mod*(n+1)%mod*(n*2+1)%mod*inv6)%mod;
	if(b>=c)return G[node(n,a,b,c)]=(g(n,a,b%c,c)+(b/c)*n%mod*(n+1)%mod*inv2)%mod;
	if(!a)return 0;
	ll m=(a*n+b)/c;return G[node(n,a,b,c)]=(n*(n+1)%mod*m%mod-f(m-1,c,c-b-1,a)+mod-h(m-1,c,c-b-1,a)+mod)*inv2%mod;
}
ll h(ll n,ll a,ll b,ll c)
{
	if(H.find(node(n,a,b,c))!=H.end())return H[node(n,a,b,c)];
	if(a>=c||b>=c)
		return  H[node(n,a,b,c)]=((a/c)*(a/c)%mod*n%mod*(n+1)%mod*(n*2+1)%mod*inv6%mod+
				(b/c)*(b/c)%mod*(n+1)%mod+(a/c)*(b/c)%mod*n%mod*(n+1)%mod+
				h(n,a%c,b%c,c)%mod+2*(a/c)%mod*g(n,a%c,b%c,c)%mod+
				2*(b/c)*f(n,a%c,b%c,c)%mod)%mod;
	if(!a)return 0;
	ll m=(a*n+b)/c;
	return H[node(n,a,b,c)]=((n*m%mod*(m+1)%mod-2*g(m-1,c,c-b-1,a)-2*f(m-1,c,c-b-1,a))%mod-f(n,a,b,c)+mod+mod)%mod;
}
int main()
{
	int T;scanf("%d",&T);
	while(T--)
	{
		ll a,b,c,n;scanf("%lld%lld%lld%lld",&n,&a,&b,&c);
		printf("%lld %lld %lld\n",(f(n,a,b,c)+mod)%mod,(h(n,a,b,c)+mod)%mod,(g(n,a,b,c)+mod)%mod);
		F.clear();G.clear();H.clear();
	}
}
// TLE 
// 非常慢.jpg

第二种,好写好调跑得快...

#include <cstdio>
#include <algorithm>
#include <cmath>
#include <cstring>
#include <cstdlib>
#include <queue>
#include <iostream>
#include <bitset>
using namespace std;
#define ll long long
#define mod 998244353
#define inv2 499122177
#define inv6 166374059
struct node
{
	ll f,g,h;
	node(){f=0,g=0,h=0;}
	node(ll a,ll b,ll c){f=a,g=b,h=c;}
	void print(){printf("%lld %lld %lld\n",f,h,g);}
};
node solve(ll n,ll a,ll b,ll c)
{
	if(!a)return node((b/c)*(n+1)%mod,(n*(n+1)%mod*inv2)%mod*(b/c)%mod,(b/c)*(b/c)%mod*(n+1)%mod);
	node ret=node();
	if(a>=c||b>=c)
	{
		ll t1=a/c,t2=b/c,s1=n*(n+1)%mod*inv2%mod,s2=n*(n+1)%mod*(2*n+1)%mod*inv6%mod;
		node tmp=solve(n,a%c,b%c,c);
		ret.f=(tmp.f+(n+1)*t2%mod+s1*t1%mod)%mod;
		ret.g=(tmp.g+s1*t2%mod+s2*t1%mod)%mod;
		ret.h=(t1*t1%mod*s2%mod+(n+1)*t2%mod*t2%mod+2*t1*t2%mod*s1%mod+2*t1*tmp.g%mod+2*t2*tmp.f%mod+tmp.h)%mod;
		return ret;
	}
	ll m=(a*n+b)/c;node tmp=solve(m-1,c,c-b-1,a);
	ret.f=(n*m%mod-tmp.f+mod)%mod;
	ret.g=((n*(n+1)%mod*m%mod-tmp.f-tmp.h)%mod+mod)*inv2%mod;
	ret.h=((n*m%mod*m%mod-tmp.g*2%mod-tmp.f)%mod+mod)%mod;
	return ret;
}
ll a,b,c,n;
int main(){int T;scanf("%d",&T);while(T--)scanf("%lld%lld%lld%lld",&n,&a,&b,&c),solve(n,a,b,c).print();}
o
粉丝 0
博文 500
码字总数 0
作品 0
私信 提问
加载中
请先登录后再评论。

暂无文章

在virtualenv中使用Python 3 - Using Python 3 in virtualenv

问题: Using virtualenv , I run my projects with the default version of Python (2.7). 使用virtualenv ,我使用默认版本的Python(2.7)运行项目。 On one project, I need to use Pyth......

富含淀粉
38分钟前
9
0
Python的__init__和self是做什么的? - What __init__ and self do on Python?

问题: I'm learning the Python programming language and I've came across something I don't fully understand. 我正在学习Python编程语言,遇到了一些我不太了解的东西。 In a method ......

javail
今天
15
0
OSChina 周五乱弹 —— 你大妈还是你大妈

Osc乱弹歌单(2020)请戳(这里) 【今日歌曲】 @watergood:是时候分享一波我的这张纯音乐歌单了,过去的五年多时间里,我陆陆续续地把听到的好听的纯音乐添加了进去,目前一共65首,相信总...

小小编辑
今天
25
0
在Objective-C中生成随机数 - Generating random numbers in Objective-C

问题: I'm a Java head mainly, and I want a way to generate a pseudo-random number between 0 and 74. In Java I would use the method: 我主要是Java头,我想要一种生成0到74之间的伪随......

技术盛宴
今天
13
0
ftp-ftps-sftp的关系

Ftp FTP 是File Transfer Protocol(文件传输协议)的英文简称,而中文简称为“文传协议”。用于Internet上的控制文件的双向传输。同时,它也是一个应用程序(Application)。基于不同的操作...

独钓渔
今天
12
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部