http://www.lydsy.com/JudgeOnline/problem.php?id=2219

弄了一个晚上加一个午休再加下午一个钟。。终于ac。。TAT

数论渣渣求轻虐!!

题意:求解 x^A=B(mod n) 在0~n内解的个数。其中1 <= A, B <= 10^9, 1 <= K <= 5 * 10^8  (n=2*K+1)

首先先说这一题的弱化版:bzoj1319 http://www.lydsy.com/JudgeOnline/problem.php?id=1319

bzoj1319这题是保证了P为质数。

找到p的一个原根g,因为g^x构成一个缩系,g^x可以表示0~p-1所有数。
g^j=a(%p), g(%p)=1, (g^i)^k=1(%p)
g^ik=g^j (%p)
ik=j(%phi(p))
用BSGS求出j,exgcd求出所有i,x就是g^i。

分析这一题:P不一定是质数。

取模数不是质数,无法利用通常的方式解方程;

但是有中国剩余定理这个东西,定理的推论告诉我们:

一个取模数互质的同余方程组(未必线性),组合起来之后,这个同余方程解的个数为各方程解的个数的乘积

(组合起来的方程的取模数为所有数的积;实际上这里解的范围都是属于[0 ,自己取模数) )

这点十分重要呢,它不仅证明了解的求法,而且如果有任意一个方程无解,那么整个就都是无解的;

————引用自http://blog.csdn.net/ww140142/article/details/47814003

把n分解质因数。

接下来我们只需要处理方程x^A==B(%p^a)

再次引用题解。。只有第三种情况是我自己搞的。。

引用自大牛http://blog.csdn.net/regina8023/article/details/44863519

但是第三种情况我没看懂它怎么搞。。

这个时候就可以用bzoj1319的解法了!

找到p^a的一个原根g,因为g^x构成一个缩系,g^x可以表示0~p^a-1所有数。

有一个推论(我也不知道为什么)g是p的原根,则g是p^a的原根。就可以很快找出来啦。

解释一下情况1和情况2为什么范围扩大之后就直接乘:

例如情况1:t=(a-1)/A+1,[0,p^t]中有一个解,范围[0,p^a)中有p^(a-t)个这样的范围。

假设p^t就是解。那下一个小区间中的p^(2t)也是解,以此类推。

PS:找原根的方法:

 预判n有没有原根,有原根的数为:、、、P^a,*P^a,P为任意奇素数

 快速求所有原根:
m=phi(n)
找到m所有的质因子y
找出n最小的原根a:gcd(a,n)== && a^(m/y) %n都!=
则a^x%n(<=x<m,gcd(x,m)==) 是n所有原根。

依照上题,化成

g^ik=g^j (%p^a)
ik=j(%phi(p^a))
用BSGS求出j,解i的个数就是答案。

这里又有一个可爱的推论。。我还是不知道为什么。。

ax-py=gcd(a,p)

解的个数为gcd(a,p)。

然后这题就做完了。

 #include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<algorithm>
using namespace std; typedef long long LL;
const LL N=,Inf=(LL)1e12;
struct node{LL d,id;}num[N];
LL nl,fl,pxl,px[N],r[N],f[N]; void find_px(LL n)
{
pxl=;
for(LL i=;i*i<=n;i++)
{
if(n%i==) px[++pxl]=i,r[pxl]=;
while(n> && n%i==) n/=i,r[pxl]++;
if(n==) break;
}
if(n>) px[++pxl]=n,r[pxl]=;//debug
} LL gcd(LL a,LL b)
{
if(b==) return a;
return gcd(b,a%b);
} LL quickpow(LL x,LL y,LL n)
{
LL ans=%n;
while(y)
{
if(y&) ans=(ans*x)%n;
x=(x*x)%n;y>>=;
}
return ans;
} bool cmp(node x,node y){
if(x.d!=y.d) return x.d<y.d;
return x.id<y.id;
} LL find_j(LL t)
{
LL l=,r=nl,mid;
while(l<=r)
{
mid=(l+r)>>;
if(num[mid].d==t) return num[mid].id;
if(num[mid].d<t) l=mid+;
if(num[mid].d>t) r=mid-;
}
return -;
} LL BSGS(LL a,LL b,LL n,LL phi)//a^x==b(%n)
{
LL m,x,am,now,t;
m=(LL)ceil(sqrt((double)n));
x=%n;
nl=;num[++nl].d=,num[nl].id=;
for(int i=;i<=m;i++)
{
x=(x*a)%n;
num[++nl].d=x;num[nl].id=i;
}
am=x;
sort(num+,num++nl,cmp);
now=;
for(int i=;i<=nl;i++)
{
if(num[i].d!=num[i-].d) num[++now]=num[i];
}
nl=now;
am=quickpow(am,phi-,n);
t=b%n;
for(int i=;i<=m;i++)
{
x=find_j(t);
if(x!=-) return i*m+x;
t=(t*am)%n;
}
return -;
} LL find_root(LL p)
{
LL x=p-;
fl=;
for(int i=;i*i<=p-;i++)
{
if((p-)%i==) f[++fl]=i,f[++fl]=(p-)/i;//debug不是找质因子啊。。
}
for(int i=;i<p-;i++)
{
bool bk=;
for(int j=;j<=fl;j++)
if(quickpow(i,(p-)/f[j],p)==) {bk=;break;}
if(bk) return i;
}
} LL solve_3(LL A,LL B,LL p,LL a)
{
LL phi,g,gc,j,pa;
pa=quickpow(p,a,Inf);
phi=(p-)*quickpow(p,a-,Inf);
g=find_root(p);
j=BSGS(g,B,pa,phi);
gc=gcd(A,phi);
// printf("phi = %lld j = %lld g = %lld pa = %lld\n",phi,j,g,pa);
// printf("s3 %lld %lld %lld %lld = %lld\n\n",A,B,p,a,gc);
if(j%gc) return ;
return gc;
} LL solve(LL A,LL B,LL p,LL a)
{
LL g,pa,x,y,b,cnt;
pa=quickpow(p,a,Inf);
g=gcd(pa,B);
//case 1
if(B%pa==) return quickpow(p,a-(((a-)/A)+),Inf);
//case 2
if(g>)
{
b=B/g;
cnt=;x=g;
while(x%p==) x/=p,cnt++;
if(cnt%A) return ;
return solve_3(A,b,p,a-cnt)*quickpow(p,cnt-(cnt/A),Inf);
}
//case 3
return solve_3(A,B,p,a);
} int main()
{
freopen("a.in","r",stdin);
// freopen("me.out","w",stdout);
int T;
scanf("%d",&T);
LL A,B,n,ans;
while(T--)
{
scanf("%lld%lld%lld",&A,&B,&n);
n=*n+;
find_px(n);
ans=;
for(LL i=;i<=pxl;i++)
{
ans*=solve(A,B,px[i],r[i]);
if(ans==) break;
}
printf("%lld\n",ans);
}
return ;
}

【bzoj2219-数论之神】求解x^a==b(%n)-crt推论-原根-指标-BSGS的更多相关文章

  1. bzoj2219: 数论之神

    #include <iostream> #include <cstdio> #include <cstring> #include <cmath> #i ...

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

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

  3. BZOJ2219 数论之神 数论 中国剩余定理 原根 BSGS

    原文链接https://www.cnblogs.com/zhouzhendong/p/BZOJ2219.html 题目传送门 - BZOJ2219 题意 求同余方程 $x^A\equiv B \pmo ...

  4. 【BZOJ】【2219】数论之神

    中国剩余定理+原根+扩展欧几里得+BSGS 题解:http://blog.csdn.net/regina8023/article/details/44863519 新技能get√: LL Get_yu ...

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

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

  6. 牛客国庆集训派对Day5 数论之神

    题目描述 终于活成了自己讨厌的样子. 这是她们都还没长大的时候发生的故事.那个时候,栗子米也不需要为了所谓的爱情苦恼. 她们可以在夏日的午后,花大把的时间去研究生活中一些琐碎而有趣的事情,比如数论. ...

  7. BZOJ 2219 数论之神 (CRT推论+BSGS+原根指标)

    看了Po神的题解一下子就懂了A了! 不过Po神的代码出锅了-solve中"d-temp"并没有什么用QwQQwQQwQ-应该把模数除以p^temp次方才行. 来自BZOJ讨论板的h ...

  8. 【hdu 3579】Hello Kiki(数论--拓展欧几里德 求解同余方程组)

    题意:Kiki 有 X 个硬币,已知 N 组这样的信息:X%x=Ai , X/x=Mi (x未知).问满足这些条件的最小的硬币数,也就是最小的正整数 X. 解法:转化一下题意就是 拓展欧几里德求解同余 ...

  9. 【poj 2891】Strange Way to Express Integers(数论--拓展欧几里德 求解同余方程组 模版题)

    题意:Elina看一本刘汝佳的书(O_O*),里面介绍了一种奇怪的方法表示一个非负整数 m .也就是有 k 对 ( ai , ri ) 可以这样表示--m%ai=ri.问 m 的最小值. 解法:拓展欧 ...

随机推荐

  1. kafka监听类

    package com.datad.dream.service; import com.alibaba.fastjson.JSON; import com.datad.dream.dao.KafkaI ...

  2. win10 无法修改默认程序 默认打开方式的解决方法

    此时是2018年11月24日 win10 pro 64位 版本是1803  具体版本号是17134 情景: 我的状况是.json文件的默认打开方式被新安装的应用霸占了,然后无论是通过“右键-属性-更改 ...

  3. ORB-SLAM 代码笔记(四)tracking代码结构

    首先要清楚ORB-SLAM视觉跟踪的原理,然后对tracking.cc中的函数逐个讲解 代码的前面部分是从配置文件中读取校准好的相机参数(内参和畸变参数,以及双目的深度测量设定),并且加载ORB特征点 ...

  4. 复制MySQL数据库A到另外一个MySQL数据库B(仅仅针对innodb数据库引擎)

    方案一:(不用太大的变化my.ini文件) copy 原数据库A中的   数据库(database)  ib_logfile1  ib_logfile0   ibdata1: 关闭目的数据库B: 备份 ...

  5. springmvc常用jar包

    <dependency> <groupId>org.springframework</groupId> <artifactId>spring-beans ...

  6. Eclipse+APKTool动态调试APK

    1. 所需工具 Eclipse. Apktool v2.0.6. 安卓SDK工具. 2. 重编译APK apktool d -d -o test test.apk 此时当前test目录下就是apkto ...

  7. 生产者与消费者-N:1-基于list

    多个生产者/一个消费者: /** * 生产者 */ public class P { private MyStack stack; public P(MyStack stack) { this.sta ...

  8. 企业级Tomcat部署配置

    1.1 Tomcat简介 Tomcat是Apache软件基金会(Apache Software Foundation)的Jakarta 项目中的一个核心项目,由Apache.Sun和其他一些公司及个人 ...

  9. mysql 数据库 exists 和count

    由于最近在使用exists是出现了一个小问题,但是在调试的时候费了不少时间,因为自己只是牢固造成,所以在在此记录,已提醒自己. mysql中exists 用法: 通过和主查询管理 以达到过滤的效果,如 ...

  10. Java串口编程学习2-读串口

    如果读串口出现乱码,则: 1.可能是波特率设置不对 2.可能是数据编码格式不对 import gnu.io.*; import java.awt.*; import java.awt.event.Ac ...