#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
using namespace std;
typedef long long int64;
int ca,top,prim[];
int64 A,B,K,pi,pk,ans,ti,q;
int64 ksm(int64 x,int64 y){
if (y==) return ;
if (y==) return x;
int64 d=ksm(x,y/);
if (y%==) return d*d*x;
else return d*d;
}
int64 exgcd(int64 a,int64 b,int64 &x,int64 &y){
if (b==){
x=,y=;
return a;
}
int64 temp=exgcd(b,a%b,x,y),tmp;
tmp=x,x=y,y=tmp-a/b*y;
return temp;
}
int64 YuanGen(int64 x){
bool flag;
top=;
int64 temp=x-;
for (int i=;i<=sqrt(x-);i++){
if (temp%i==){
prim[++top]=i;
while (temp%i==) temp/=i;
}
}
if (temp>) prim[++top]=temp;
for (int i=;;i++){
flag=;
for (int j=;j<=top;j++){
if (ksm(i,(x-)/prim[j])%x==){
flag=;
break;
}
}
if (flag) return i;
}
}
#define maxn 100005
#define maxm 400005
int now[maxn],prep[maxm];
int64 val[maxm];
void insert(int x,int64 y){
int64 pos=y%maxn;
prep[x]=now[pos],now[pos]=x,val[x]=y;
}
int find(int64 x){
int64 pos=x%maxn; int ans=maxm*;
for (int i=now[pos];i!=-;i=prep[i]){
if (val[i]==x) ans=min(ans,i);
}
if (ans==maxm*) return -;
else return ans;
}
int64 BSGS(int64 A,int64 B,int64 C){
memset(now,-,sizeof(now));
int64 pos,temp=ceil(sqrt(C*1.0)),D=,R=;
for (int i=;i<temp;i++){
insert(i,D);
D=D*A%C;
}
int64 tmp,x,y;
for (int i=;i<temp;i++){
tmp=exgcd(R,C,x,y);
x=(x*(B/tmp)%C+C)%C;
pos=find(x);
if (pos!=-) return i*temp+pos;
R=R*D%C;
}
return -;
}
int64 calc(int64 A,int64 B,int64 C){
q=YuanGen(pi);
int64 a,b,t,x,y,c=C-C/pi;
b=BSGS(q,B,C);
t=exgcd(A,c,x,y);
c/=t;
x=(x*(b/t)%c+c)%c;
int sum=;
for (int i=x;i<c*t;) sum++,i+=c;
return sum;
}
int64 work(int64 A,int64 B){
B%=pk; int64 a,b,c,x;
if (B==){
a=(ti-)/A+;
return pk/ksm(pi,a);
}
b=,c=;
while (B%pi==){
b++,c*=pi;
B/=pi;
}
if (b%A!=) return ;
x=b/A;
return calc(A,B,pk/c)*ksm(pi,b-x);
}
int main(){
int64 temp;
scanf("%d",&ca);
while (ca--){
scanf("%lld%lld%lld",&A,&B,&K);
K=K*+,temp=K; ans=;
for (int i=;i<=sqrt(K);i++){
if (temp%i==){
pi=i,pk=,ti=;
while (temp%i==){
pk*=i; ti++;
temp/=i;
}
ans*=work(A,B);
}
}
if (temp>){
pi=pk=temp; ti=;
ans*=work(A,B);
}
printf("%lld\n",ans);
}
return ;
}

题目链接:http://www.lydsy.com/JudgeOnline/problem.php?id=2219

题目大意:在ACM_DIY群中,有一位叫做“傻崽”的同学由于在数论方面造诣很高,被称为数轮之神!对于任何数论问题,他都能瞬间秒杀!一天他在群里面问了一个神题: 对于给定的3个非负整数 A,B,K 求出满足 (1) X^A = B(mod 2*K + 1) (2) X 在范围[0, 2K] 内的X的个数!自然数论之神是可以瞬间秒杀此题的,那么你呢?

第一行有一个正整数T,表示接下来的数据的组数( T <= 1000) 之后对于每组数据,给出了3个整数A,B,K (1 <= A, B <= 10^9, 1 <= K <= 5 * 10^8)

输出一行,表示答案。

做法:这题很像之前写过的一个题,用原根+指标+bsgs即可,但是那一题B,C互质,且C一定存在原根。这题不一样了,设C=2*k+1,C不一定存在原根,但是我们可以将其标准分解,这些pi^ti一定存在原根,因为C%2==1,一定不会有2的幂,而奇素数的a次幂,a>=1,一定存在原根。我们对每个x^A=B(mod pi^ti)(0=<x<pi^ti)求出解的个数后乘起来就是原来的解,至于为什么,右转百度搜中国剩余定理推论。

怎么求x^A=B(mod pi^ti)(0=<x<pi^ti)的解的个数呢?我们将B%pi^ti,为了一些边界情况,我们要分情况讨论,当B=0时,那么x^A一定是pi^ti的倍数,我们x中存在因子p^a,且a*A>=ti,那么只要是p^a的倍数就行,可以手推式子。

当B>0时,我们将B分解为pi^b  * T,我们要想办法把pi^b约去,那么x^A中也要刚好有pi^b次方,否则之后同余不成立,所以当A不整除b时无解,令k=b/A,那么x=p^k  * G,G属于[0,p^(ti-k)),约去后化简为G^A = T (mod pi^(ti-b)),G属于[0,pi^(ti-b)),mod数存在原根,T与mod数互质,转化为了弱化版,可以用bsgs+原根求解,设解数为ans,最后应该ans*=p^(b-k),因为定义域缩小了,且存在大小为p^(ti-b)的循环节,除一下就知道最后要扩大的倍数了。

那么怎么求x^A=B(mod C)呢?  C存在原根,且(B,C)=1。我们找到C的原根g,找到B在原根g下modC的指标,x也必定为原根g的若干次方%C,式子变为

g^(aA)=g^b(mod C),由于循环节phi(C),变为aA=b(mod phi(C)),0=<a<phi(C),用扩展欧几里得算法即可实现。

bzoj2219: 数论之神的更多相关文章

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

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

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

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

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

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

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

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

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

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

  6. BZOJ 2219: 数论之神

    题目:http://www.lydsy.com/JudgeOnline/problem.php?id=2219 N次剩余+CRT... 就是各种奇怪的分类讨论.. #include<cstrin ...

  7. 10月wish me luck

    10/13 明天开始的三天 就要跟历史地理化学说拜拜了 以诚待之 好运 10/20 P三角形计数:一看就是叉积.因为去年迪子讲过.但是我已经忘记了.所以重新写了一遍.把所有的点有序化,将三角形面积转化 ...

  8. ZJOI2019游记

    Day-2 本蒟蒻有幸能去参加ZJOI2019,然而出发前就做好了爆0的准备. 坐了差不多6,7个小时的车,车上基本就是在颓知乎和打雀,然后就到了酒店. 招宝山酒店--本人住过的第一个四星级酒店,看上 ...

  9. hdu4048

    题意:给定m个数,还有n,n表示有一个长度为n的环,现在要求从M个数中选出若干个数,要求选出的数最大公约数为1,填充在n个位置中,选出的数可以重复,求多少种种方案.旋转当成一样的 . 思路:假设现在选 ...

随机推荐

  1. TP框架实现分页

    TP框架自带分页的实现方法,所以使用这个分页方案,不用再重新造轮子 1,先看效果图 2,源码 /** * TODO 基础分页的相同代码封装,使前台的代码更少 * @param $m 模型,引用传递 * ...

  2. JS给文本框赋值后,在页面后台取不到文本框值的解决方法

    转自:http://www.cnblogs.com/qiaohd/archive/2012/03/23/2413660.html (ReadOnly.disabled 都有可能造成取值取不到) 开发一 ...

  3. VS2010/VS2013怎么复制项目/拷贝项目/克隆项目

    本文以vs2013为例,讲述了如何复制项目.vs2008,vs2010,vs2012等版本应操作类似 vs中的项目位于解决方案中,简单的复制粘贴是不能实现项目复制的 一.准备 原项目名称:test 目 ...

  4. 在 C# App 中嵌入 Chrome 浏览器使用 CefSharp

    介绍 以前曾试过在app中整合一个可靠又快速的web浏览器吗? 在本文中,你会学到如何轻松地将奇妙的CefSharp网页浏览器组件(基于Chromium)集成到你的C# app中. 然后,你可以使用此 ...

  5. elk-redis

    yum install redis -y vim /etc/redis [root@linux-node1 etc]# grep '^[a-z]' /etc/redis.conf daemonize ...

  6. Xamarin.Android 反复报 Please Download android_m2repository_rxx.zip 的解决办法

    我原来一直用的是老版本的 Xamarin , android_m2repository_rxx.zip 早已在 C:\Users\XXX\AppData\Local\Xamarin\Android.S ...

  7. c:forEach 标签中varStatus的用法

    c:forEach varStatus属性 current 当前这次迭代的(集合中的)项index  当前这次迭代从 0 开始的迭代索引count  当前这次迭代从 1 开始的迭代计数first 用来 ...

  8. Android中的Semaphore

    信号量,了解过操作系统的人都知道,信号量是用来做什么的··· 在Android中,已经提供了Semaphore来帮助我们使用~ 那么,在开发中这家伙有什么用呢? 用的地方不多,但是却真的是好用至极! ...

  9. 微软分布式云计算框架Orleans(1):Hello World

    自从写了RabbitHub框架系列后的一段时间内一直在思索更加轻量简便,分布式高并发的框架(RabbitHub学习成本较高),无意间在网上级联看到了很多新框架:从helios到Akka.NET在到Or ...

  10. 处理Linux下subversion尝试连接自建的VisualSVN server报“Key usage violation in certificate has been detected”错误的问题

    在Linux下使用subversion尝试链接VisualSVN server搭建的svn库,可能会报下面错误, svn: OPTIONS of 'https://server.domain.loca ...