刚学了这方面的知识,总结一下。推荐学习数论方面的知识还是看书学习,蒟蒻看的是《初等数论》学的。

这里也推荐几个总结性质的博客,学习大佬的代码和习题。

原根:https://blog.csdn.net/fuyukai/article/details/50894609

BSGS:https://www.cnblogs.com/cjyyb/p/8810050.html

https://blog.csdn.net/sodacoco/article/details/81515576

然后也没什么好说的啦,以下是模板代码:

求一个数的最小原根

#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
LL prm[],tot,N,root; LL Power(LL x,LL p,LL MOD) {
LL ret=;
for (;p;p>>=) {
if (p&) ret=(ret*x)%MOD;
x=(x*x)%MOD;
}
return ret;
} LL GetRoot(LL n) {
LL tmp=n-,tot=;
for (LL i=;i<=sqrt(tmp);i++) {
if(tmp%i==) {
prm[++tot]=i;
while(tmp%i==) tmp/=i;
}
}
if (tmp!=) prm[++tot] = tmp; //质因数分解
for (LL g=;g<=n-;g++) {
bool flag = ;
for(int i=;i<=tot;i++) //检测是否符合条件
if(Power(g,(n-)/prm[i],n)==) { flag=; break; }
if (flag)return g;
}
return ; //无解
} int main() {
cin >> N;
cout<<GetRoot(N)<<endl;
return ;
}

普通BSGS:计算a^x≡b(mod p),要求a和p互质。

#include<bits/stdc++.h>
#define MOD 76543 //这是哈希表大小
using namespace std; int hs[MOD],head[MOD],nxt[MOD],id[MOD],top;
void insert(int x,int y) {
int k=x%MOD;
hs[top]= x,id[top]=y,nxt[top]=head[k],head[k]=top++;
} int find(int x) {
int k=x%MOD;
for(int i=head[k];i!=-;i=nxt[i])
if(hs[i]==x) return id[i];
return -;
} //普通BSGS:计算A^X=B(mod C)求X(A和C互质)
int BSGS(int a,int b,int c) {
top=; memset(head,-,sizeof(head)); //清空哈希表
a%=c; b%=c; //先取模
if(b==) return ;
int m=sqrt(c*1.0),j;
long long x=,p=;
for(int i=;i<m;++i,p=p*a%c)
insert(p*b%c,i);//小步:存的是(a^j*b, j)
for(long long i=m;;i+=m) {
if((j=find(x=x*p%c))!=-) return i-j; //大步:a^(ms-j)=b(mod c)
if(i>c) break;
}
return -; //无解
} int main()
{
int a,b,c; cin>>a>>b>>c;
cout<<BSGS(a,b,c)<<endl;
return ;
}

拓展BSGS,计算a^x≡b(mod p),但不要求a和p互质。代码学习yyb大佬的,测试:SPOJ-MOD 。

#include<bits/stdc++.h>
#define MOD 76543 //这是哈希表大小
using namespace std;
typedef long long LL; LL power(LL x,LL p,LL mod) {
LL ret=;
for (;p;p>>=) {
if (p&) ret=(ret*x)%mod;
x=(x*x)%mod;
}
return ret;
} int hs[MOD],head[MOD],nxt[MOD],id[MOD],top;
void insert(int x,int y) {
int k=x%MOD;
hs[top]= x,id[top]=y,nxt[top]=head[k],head[k]=top++;
} int find(int x) {
int k=x%MOD;
for(int i=head[k];i!=-;i=nxt[i])
if(hs[i]==x) return id[i];
return -;
} //拓展BSGS:计算A^X=B(mod C)求X(不要求A,C互质)
int exBSGS(int y,int z,int p) {
y%=p; z%=p;
if (z==) return ;
int k=,a=;
while() { //消因子
int d=__gcd(y,p); if(d==)break;
if(z%d) return -; //无解
z/=d; p/=d; ++k; a=1LL*a*y/d%p;
if(z==a) return k;
}
top=; memset(head,-,sizeof(head)); //清空哈希表,BSGS
int m=sqrt(p)+;
for(int i=,t=z;i<m;++i,t=1LL*t*y%p) insert(t,i);
for(int i=,tt=power(y,m,p),t=1LL*a*tt%p;i<=m;++i,t=1LL*t*tt%p) {
int B=find(t); if(B==-) continue;
return i*m-B+k;
}
return -;
} int main()
{
int a,b,c;
while (scanf("%d%d%d",&a,&c,&b)==) {
if (a== && b== && c==) break;
int t=exBSGS(a,b,c);
if (t==-) puts("No Solution"); else printf("%d\n",t);
}
return ;
}

题目练习:

洛谷P2485

简单题,分别是求快速幂,逆元,BSGS。

#include<bits/stdc++.h>
#define MOD 76543 //这是哈希表大小
using namespace std;
typedef long long LL; LL power(LL x,LL p,LL mod) {
LL ret=;
for (;p;p>>=) {
if (p&) ret=(ret*x)%mod;
x=(x*x)%mod;
}
return ret;
} int hs[MOD],head[MOD],nxt[MOD],id[MOD],top;
void insert(int x,int y) {
int k=x%MOD;
hs[top]= x,id[top]=y,nxt[top]=head[k],head[k]=top++;
} int find(int x) {
int k=x%MOD;
for(int i=head[k];i!=-;i=nxt[i])
if(hs[i]==x) return id[i];
return -;
} //普通BSGS:计算A^X=B(mod C)求X(A和C互质)
int BSGS(int a,int b,int c) {
top=; memset(head,-,sizeof(head)); //清空哈希表
a%=c; b%=c; //先取模
if(b==) return ;
int m=sqrt(c*1.0),j;
long long x=,p=;
for(int i=;i<m;++i,p=p*a%c)
insert(p*b%c,i);//小步:存的是(a^j*b, j)
for(long long i=m;;i+=m) {
if((j=find(x=x*p%c))!=-) return i-j; //大步:a^(ms-j)=b(mod c)
if(i>c) break;
}
return -; //无解
} int main()
{
int T,k; cin>>T>>k;
while (T--) {
int y,z,p; scanf("%d%d%d",&y,&z,&p);
if (k==) printf("%lld\n",power(y,z,p));
if (k==) {
if (y%p==) puts("Orz, I cannot find x!");
else printf("%lld\n",z%p*power(y,p-,p)%p);
}
if (k==) {
if (y%p==) {puts("Orz, I cannot find x!"); continue;}
int t=BSGS(y,z,p);
if (t==-) puts("Orz, I cannot find x!");
else printf("%d\n",t);
}
}
return ;
}

洛谷P3306

完全不会做qwq,蒟蒻只能自闭半天之后看题解,跟着大佬推。这道题很好,细节也很多,值得多思考。

#include<bits/stdc++.h>
#define MOD 76543 //这是哈希表大小
using namespace std;
typedef long long LL; LL power(LL x,LL p,LL mod) {
LL ret=;
for (;p;p>>=) {
if (p&) ret=(ret*x)%mod;
x=(x*x)%mod;
}
return ret;
} int hs[MOD],head[MOD],nxt[MOD],id[MOD],top;
void insert(int x,int y) {
int k=x%MOD;
hs[top]= x,id[top]=y,nxt[top]=head[k],head[k]=top++;
} int find(int x) {
int k=x%MOD;
for(int i=head[k];i!=-;i=nxt[i])
if(hs[i]==x) return id[i];
return -;
} //普通BSGS:计算A^X=B(mod C)求X(A和C互质)
LL BSGS(int a,int b,int c) {
top=; memset(head,-,sizeof(head)); //清空哈希表
a%=c; b%=c; //先取模
if(b==) return ;
int m=sqrt(c*1.0),j;
long long x=,p=;
for(int i=;i<m;++i,p=p*a%c)
insert(p*b%c,i);//小步:存的是(a^j*b, j)
for(long long i=m;;i+=m) {
if((j=find(x=x*p%c))!=-) return i-j; //大步:a^(ms-j)=b(mod c)
if(i>c) break;
}
return -; //无解
} int main()
{
int T; cin>>T;
LL p,a,b,x1,t;
while (T--) {
scanf("%lld%lld%lld%lld%lld",&p,&a,&b,&x1,&t);
if (x1==t) { puts(""); continue; }
if (a==) {
if (b==t) puts(""); else puts("-1");
continue;
}
if (a==) {
if (b==) puts("-1");
else printf("%lld\n",((t-x1)%p+p)%p*power(b,p-,p)%p+);
continue;
}
int tmp=(t-t*a)%p; tmp=(tmp+p)%p;
tmp-=b; tmp%=p; tmp=(tmp+p)%p;
int ttmp=(x1-x1*a)%p; ttmp=(ttmp+p)%p;
ttmp-=b; ttmp%=p; ttmp=(ttmp+p)%p;
tmp=tmp*power(ttmp,p-,p)%p; printf("%lld\n",BSGS(a,tmp,p)+);
}
return ;
}

BZOJ 1319

[数论]原根与指标,BSGS的更多相关文章

  1. 数论算法 剩余系相关 学习笔记 (基础回顾,(ex)CRT,(ex)lucas,(ex)BSGS,原根与指标入门,高次剩余,Miller_Rabin+Pollard_Rho)

    注:转载本文须标明出处. 原文链接https://www.cnblogs.com/zhouzhendong/p/Number-theory.html 数论算法 剩余系相关 学习笔记 (基础回顾,(ex ...

  2. 求同余方程x^A=B(mod m)的解个数(原根与指标)

    求方程:的解个数 分析:设,那么上述方程解的个数就与同余方程组:的解等价. 设同于方程的解分别是:,那么原方程的解的个数就是 所以现在的关键问题是求方程:的解个数. 这个方程我们需要分3类讨论: 第一 ...

  3. uoj86 mx的组合数 (lucas定理+数位dp+原根与指标+NTT)

    uoj86 mx的组合数 (lucas定理+数位dp+原根与指标+NTT) uoj 题目描述自己看去吧( 题解时间 首先看到 $ p $ 这么小还是质数,第一时间想到 $ lucas $ 定理. 注意 ...

  4. BZOJ2219数论之神——BSGS+中国剩余定理+原根与指标+欧拉定理+exgcd

    题目描述 在ACM_DIY群中,有一位叫做“傻崽”的同学由于在数论方面造诣很高,被称为数轮之神!对于任何数论问题,他都能瞬间秒杀!一天他在群里面问了一个神题: 对于给定的3个非负整数 A,B,K 求出 ...

  5. 【bzoj2219-数论之神】求解x^a==b(%n)-crt推论-原根-指标-BSGS

    http://www.lydsy.com/JudgeOnline/problem.php?id=2219 弄了一个晚上加一个午休再加下午一个钟..终于ac..TAT 数论渣渣求轻虐!! 题意:求解 x ...

  6. BZOJ1319Sgu261Discrete Roots——BSGS+exgcd+原根与指标+欧拉定理

    题目描述 给出三个整数p,k,a,其中p为质数,求出所有满足x^k=a (mod p),0<=x<=p-1的x. 输入 三个整数p,k,a. 输出 第一行一个整数,表示符合条件的x的个数. ...

  7. 51Nod1039 N^3 Mod P 数论 原根 BSGS

    原文链接https://www.cnblogs.com/zhouzhendong/p/51Nod1039.html 题目传送门 - 51Nod1039 题意 题解 这题我用求高次剩余的做法,要卡常数. ...

  8. 51Nod1038 X^A Mod P 数论 原根 BSGS

    原文链接https://www.cnblogs.com/zhouzhendong/p/51Nod1038.html 题目传送门 - 51Nod1038 题意 题解 在模质数意义下,求高次剩余,模板题. ...

  9. [UOJ86]mx的组合数——NTT+数位DP+原根与指标+卢卡斯定理

    题目链接: [UOJ86]mx的组合数 题目大意:给出四个数$p,n,l,r$,对于$\forall 0\le a\le p-1$,求$l\le x\le r,C_{x}^{n}\%p=a$的$x$的 ...

随机推荐

  1. Vue项目【饿了么App】mock数据【data.json】

    1.前后端分离式开发,约定好数据字段接口! 2.前端mock静态数据,开发完毕后,与后端进行数据联调! 3.vue.config.js 配置 devServer const appData = req ...

  2. PHP中什么是数组

    PHP 中的数组实际上是一个有序映射.映射是一种把 values 关联到 keys 的类型. 此类型在很多方面做了优化,因此可以把它当成真正的数组,或列表(向量),散列表(是映射的一种实现),字典,集 ...

  3. Xcode编辑器之快捷键的使用

    一,快捷键图标 图标 键盘 ⌘ Command ⌃ Control ⌥ Option ⇧ Shift 二, 常用快捷键 文件快捷键 快捷键 键盘  描述 ⌘N  command + N 新文件 ⇧⌘N ...

  4. [CSP-S模拟测试]:建设城市(city)(组合数学+容斥)

    题目传送门(内部题8) 输入格式 一行三个整数$n,m,k$. 输出格式 一行一个整数表示答案.对$998244353$取模. 样例 样例输入 3 7 3 样例输出 数据范围与提示 对于10%的数据, ...

  5. Spring中@Async-异步处理

    在Java应用中,绝大多数情况下都是通过同步的方式来实现交互处理的:但是在处理与第三方系统交互的时候,容易造成响应迟缓的情况,之前大部分都是使用多线程来完成此类任务,其实,在spring 3.x之后, ...

  6. HDU6669 Game(思维,贪心)

    HDU6669 Game 维护区间 \([l,r]\) 为完成前 \(i\) 步使用最少步数后可能落在的区间. 初始时区间 \([l,r]\) 为整个坐标轴. 对于第 \(i\) 个任务区间 \([a ...

  7. Keras 层layers总结

    https://blog.csdn.net/u010159842/article/details/78983841

  8. vue.jsc初体验

    Vue 1.安装脚手架 (1)npm install -g vue-cli (2)Vue -v //查看是否安装成功 (3)Vue init webpack name(名称) (4)Npm insta ...

  9. C语言readdir()函数:读取目录函数

    相关函数:open, opendir, closedir, rewinddir, seekdir, telldir, scandir 头文件:#include <sys/types.h> ...

  10. poj2010 Moo University - Financial Aid 优先队列

    Description Bessie noted that although humans have many universities they can attend, cows have none ...