题目描述

X^A mod P = B,其中P为质数。给出P和A B,求< P的所有X。

例如:P = 11,A = 3,B = 5。

3^3 Mod 11 = 5

所有数据中,解的数量不超过Sqrt(P)。

分析

这道题包括几个知识点

离散对数(大步小步BSGS算法)

求关于x的同余方程\(y^x \equiv n \pmod{P}(P为质数)\)的解,

设\(m=\lceil \sqrt{n} \rceil,x=bm+r\),我们预处理出\(y^i(i\in[0,P-1])\),用map或hash储存起来

我们从小到大枚举b,就可以根据\(y^{(b+1)m} \cdot n^{-1} \equiv y^{m-r}\pmod{P}\),在有序表中找到\(y^{m-r}\)来的到指数r

N次剩余

求关于x的同余方程\(x^y \equiv n \pmod{P}(P为质数)\)的解

设P的原根为g,因为\(\varphi(P)=P-1\),根据原根的性质\(\{1,2,3...P-1\}\)一一与\(\{g^1,g^2,g^3...g^{P-1}\}\)对应

令\(x=g^s,n=g^t\)

通过BSGS,我们可以求出t,

于是\(s \cdot y \equiv t \pmod{P-1}\),用扩展欧几里得解方程。

#include <cmath>
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <queue>
#include <map>
#include <bitset>
#include <set>
#include <vector>
const int inf=2147483647;
const int mo=1e6+7;
const int N=100005;
using namespace std;
struct arr{
long long x,id;
bool operator<(const arr &b)const{
if (x == b.x) return id < b.id;
return x<b.x;
}
}E[100500];
int T;
long long sol[N],P,A,B,G,m,num,ans[N],d[N];
long long ksm(long long x,long long y)
{
long long s=1;
for(;y;y>>=1,x=x*x%P)
if(y&1) s=s*x%P;
return s;
}
bool check(int G)
{
int tmp=P-1;
for(int i=2;i*i<=tmp;i++)
{
if(tmp%i) continue;
if(ksm(G,i)==1 || ksm(G,tmp/i)==1) return false;
}
return true;
}
void pre()
{
for(G=2;!check(G);G++);
m=ceil(sqrt(P));
long long v=1;
for(int i=0;i<=m;i++)
{
arr tmp;
tmp.x=v,tmp.id=i;
E[i]=tmp;
v=v*G%P;
}
sort(E,E+m);
}
long long BSGS(long long y)
{
long long ny=ksm(y,P-2),sum=1,s=ksm(G,m);
for(int i=0;i<m;i++)
{
long long val=(sum=sum*s%P)*ny%P;
arr tmp;
tmp.x=val,tmp.id=-1;
long long pos=lower_bound(E,E+m+1,tmp)-E;
if(E[pos].x==val) return i*m+m-E[pos].id;
}
return 0;
}
int exgcd(int a,int b,int &x,int &y)
{
if(!b)
{
x=1,y=0;
return a;
}
long long r=exgcd(b,a%b,y,x);
y-=x*(a/b);
return r;
}
void residue(long long a,long long b,long long m)
{
int x=0,y=0,d=exgcd(a,m,x,y);
if(b%d) return;
num=d;
sol[0]=x*(b/d)%m;
for(int i=1;i<d;i++) sol[i]=(sol[i-1]+m/d)%m;
for(int i=0;i<d;i++) sol[i]=(sol[i]+m)%m;
}
void solve()
{
pre();
num=0,residue(A,BSGS(B),P-1);
if(!num) printf("No Solution\n");
else
{
for(int i=0;i<num;i++) ans[i]=ksm(G,sol[i]);
sort(ans,ans+num);
for(int i=0;i<num;i++) printf("%lld ",ans[i]);
putchar('\n');
}
}
int main()
{
for(scanf("%d",&T);T--;)
{
scanf("%lld%lld%lld",&P,&A,&B);
solve();
}
}

【51nod 1038】X^A Mod P的更多相关文章

  1. 【51Nod 1769】Clarke and math2

    [51Nod 1769]Clarke and math2 题面 51Nod 题解 对于一个数论函数\(f\),\(\sum_{d|n}f(d)=(f\times 1)(n)\). 其实题目就是要求\( ...

  2. 【51NOD 1847】奇怪的数学题(莫比乌斯反演,杜教筛,min_25筛,第二类斯特林数)

    [51NOD 1847]奇怪的数学题(莫比乌斯反演,杜教筛,min_25筛,第二类斯特林数) 题面 51NOD \[\sum_{i=1}^n\sum_{j=1}^nsgcd(i,j)^k\] 其中\( ...

  3. 【BZOJ 1038】[ZJOI2008]瞭望塔

    [题目链接]:http://www.lydsy.com/JudgeOnline/problem.php?id=1038 [题意] [题解] 可以看到所有村子的瞭望塔所在的位置只会是在相邻两个村子所代表 ...

  4. 【BZOJ 1038】 1038: [ZJOI2008]瞭望塔

    1038: [ZJOI2008]瞭望塔 Description 致力于建设全国示范和谐小村庄的H村村长dadzhi,决定在村中建立一个瞭望塔,以此加强村中的治安.我们将H村抽象为一维的轮廓.如下图所示 ...

  5. 51NOD 1038:X^A Mod P——题解

    http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1038 X^A mod P = B,其中P为质数.给出P和A B,求< ...

  6. 【51nod 1251】 Fox序列的数量(以及带限制插板法讲解)

    为什么网上没有篇详细的题解[雾 可能各位聚聚觉得这道题太简单了吧 /kk 题意 首先题目是求满足条件的序列个数,条件为:出现次数最多的数仅有一个 分析 感谢 刚睡醒的 JZ姐姐在咱写题解忽然陷入自闭的 ...

  7. 【51nod 1355】 斐波那契数的最小公倍数

    题目 51nod的数学题都还不错啊 首先直接算显然是没有办法算的,因为\(fib\)的lcm这个东西还是太鬼畜了 我们考虑到\(fib\)数列的一个非常好的性质是\(gcd(fib_i,fib_{j} ...

  8. 【51Nod 1244】莫比乌斯函数之和

    http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1244 模板题... 杜教筛和基于质因子分解的筛法都写了一下模板. 杜教筛 ...

  9. 【51Nod 1501】【算法马拉松 19D】石头剪刀布威力加强版

    http://www.51nod.com/onlineJudge/questionCode.html#!problemId=1501 dp求出环状不连续的前缀和,剩下东西都可以算出来,比较繁琐. 时间 ...

随机推荐

  1. 解决Python查询Mysql中文乱码问题

    前段时间,自己瞎动手用Django写了一个更新zip包和sql到远程服务器的工具.但Python从Mysql中读取出来的中文字符会乱码,如下图: 解决办法:Python连接Mysql时指定charse ...

  2. 七牛云图床及MPIC工具使用

    考虑到图片更容易被人接受,但是大量图片又会延迟博客加载速度.因此,个人感觉可以把静态文件资源托管在云端,这样加载的话就不至于太慢. 注册七牛云 实名验证通过 创建文件存储 内容管理-上传图片 下载Mp ...

  3. Jenkins+Github持续环境搭建

    ⒈前提要求 Jenkins与Github配合实现持续集成需要注意以下几点: 1.Jenkins需要部署在外网上,因为内网地址是无法访问Github的.这一点可以通过租用阿里云.腾讯云等云平台提供的云服 ...

  4. C++变量的声明和定义

    1.变量的定义:变量的定义用于为变量分配存储控件,还可以为变量指定初始值.在一个程序中,变量有且仅有一个定义. 2.变量的声明:用于向程序表名变量的类型和名字.程序中变量可以声明多次,但只能定义一次. ...

  5. uname、hostname命令

    一.uname:显示系统信息. 语法:       uname [OPTION] ... 描述        打印某些系统信息. 没有选项,与-s相同. -a,--all               ...

  6. day03-04

    光驱 历史的东西 远程管理卡 ​ 它的作用是通过网络远程(异地)开关服务器,并可以查看服务器开关的过程等信息,早期(2010年以前),服务器托管在IDC机房,出问题,还得跑机房或者请机房的人管理,有了 ...

  7. FTP-实例(Md5验证)

    import socket, os, hashlib server = socket.socket() server.bind(("localhost", 9999)) serve ...

  8. JSON函数表2

    [class] Json::Reader [public] [将字符串或者输入流转换为JSON的Value对象] bool parse( const std::string &document ...

  9. 在Win10上运行ESXI-Comstomer

    在Win10上运行ESXI-Comstomer 来源 https://www.v-front.de/p/esxi-community-packaging-tools.html ESXi-Customi ...

  10. Python活力练习Day7

    Day7:写出一个程序,接受一个由字母和数字组成的字符串和一个字符,输出输入字符串中含有该字符的个数,不区分大小写 eg:input : a = '123ASVFBVESS'  b = 's' out ...