题意

已知kkk, aaa, ppp. 求 xk≡a (mod p)x^k\equiv a\ (mod\ p)xk≡a (mod p) 的所有根. 根的范围[0,p−1][0,p-1][0,p−1]. ppp为质数

分析

因为ppp是质数,那么一定有原根.设为ggg.

原根的性质如下:

  • 对于[1,p−1][1,p-1][1,p−1]的所有iii,一定存在x∈[1,p−1]x\in[1,p-1]x∈[1,p−1]使得gx≡i (mod p)g^x\equiv i\ (mod\ p)gx≡i (mod p). 此时设xxx为I(i)I(i)I(i).

1.1.1.那么当aaa等于000

  • 只有一个根就是000

2.2.2.当a∈[1,p−1]a\in[1,p-1]a∈[1,p−1]

  • 画画柿子xk≡a (mod p)(gI(x))k≡a (mod p)(gk)I(x)≡a (mod p)\begin{aligned}x^k&\equiv a\ (mod\ p)\\(g^{I(x)})^k&\equiv a\ (mod\ p)\\(g^{k})^{I(x)}&\equiv a\ (mod\ p)\end{aligned}xk(gI(x))k(gk)I(x)​≡a (mod p)≡a (mod p)≡a (mod p)​

    我们知道gkg^kgk,知道aaa,知道ppp.直接BSGSBSGSBSGS就行了.
#include<bits/stdc++.h>
using namespace std;
typedef long long LL;
int g, prime[100], cnt;
inline int qpow(int a, int b, int c) {
int re = 1;
while(b) {
if(b&1) re = 1ll * re * a % c;
a = 1ll * a * a % c; b >>= 1;
}
return re;
}
inline void Factor(int N) {
int tmp = N;
for(int i = 2; i*i <= N; ++i)
if(tmp % i == 0) {
prime[++cnt] = i;
while(tmp % i == 0) tmp /= i;
}
if(tmp > 1) prime[++cnt] = tmp;
}
inline int Get_g(int p) { //找原根
Factor(p-1);
for(int g = 2; ; ++g) {
bool flg = true;
for(int i = 1; i <= cnt; ++i)
if(qpow(g, (p-1)/prime[i], p) == 1)
{ flg = 0; break; }
if(flg) return g;
}
}
map<int, int>myhash;
vector<int>ans;
inline void Baby_Step_Giant_Step(int a, int b, int p) {
if(b == 1) ans.push_back(0);
myhash.clear();
int m = int(sqrt(p) + 1);
LL base = b;
for(int i = 0; i < m; ++i) {
myhash[base] = i;
base = 1ll * base * a % p;
}
base = qpow(a, m, p);
LL tmp = 1;
for(int i = 1; i <= m+1; ++i) {
tmp = 1ll * tmp * base % p;
if(myhash.count(tmp))
ans.push_back(i*m - myhash[tmp]);
}
}
int main() {
int p, k, a, g;
scanf("%d%d%d", &p, &k, &a);
if(!a) return puts("1"), puts("0"), 0;
//(g^I(x))^k = a (mod p)
//(g^k)^I(x) = a
Baby_Step_Giant_Step(qpow(g = Get_g(p), k, p), a, p);
for(int i = 0, siz = ans.size(); i < siz; ++i)
ans[i] = qpow(g, ans[i], p);
sort(ans.begin(), ans.end());
int siz = ans.size();
siz = unique(ans.begin(), ans.end()) - ans.begin();
printf("%d\n", siz);
for(int i = 0; i < siz; ++i)
printf("%d\n", ans[i]); }

BZOJ 1420: Discrete Root (原根+BSGS)的更多相关文章

  1. bzoj 1420 Discrete Root - 原根 - exgcd - BSGS

    题目传送门 戳我来传送 题目大意 给定$k, p, a$,求$x^{k}\equiv a \pmod{p}$在模$p$意义下的所有根. 考虑模$p$下的某个原根$g$. 那么$x  = g^{ind_ ...

  2. BZOJ 1420 Discrete Root

    思路:数学大汇总 提交:\(3\)次 错因:有一个\(j\)写成\(i\) 题解: 求:\(x^k \equiv a \mod p\) 我们先转化一下:求出\(p\)的原根\(g\) 然后我们用\(B ...

  3. BZOJ 3239 Discrete Logging(BSGS)

    [题目链接] http://www.lydsy.com/JudgeOnline/problem.php?id=3239 [题目大意] 计算满足 Y^x ≡ Z ( mod P) 的最小非负整数 [题解 ...

  4. BSGS 扩展大步小步法解决离散对数问题 (BZOJ 3239: Discrete Logging// 2480: Spoj3105 Mod)

    我先转为敬? orz% miskcoo 贴板子 BZOJ 3239: Discrete Logging//2480: Spoj3105 Mod(两道题输入不同,我这里只贴了3239的代码) CODE ...

  5. 【BZOJ 1319】 Sgu261Discrete Rootsv (原根+BSGS+EXGCD)

    1319: Sgu261Discrete Roots Time Limit: 1 Sec  Memory Limit: 64 MBSubmit: 389  Solved: 172 Descriptio ...

  6. bzoj 3239: Discrete Logging && 2480: Spoj3105 Mod【BSGS】

    都是BSGS的板子题 此时 \( 0 \leq x \leq p-1 \) 设 \( m=\left \lceil \sqrt{p} \right \rceil ,x=i*m-j \)这里-的作用是避 ...

  7. bzoj1420/1319 Discrete Root

    传送门:http://www.lydsy.com/JudgeOnline/problem.php?id=1420 http://www.lydsy.com/JudgeOnline/problem.ph ...

  8. POJ2417 Discrete Logging【BSGS】

    Discrete Logging Time Limit: 5000MS   Memory Limit: 65536K Total Submissions: 5577   Accepted: 2494 ...

  9. 51Nod1123 X^A Mod B 数论 中国剩余定理 原根 BSGS

    原文链接https://www.cnblogs.com/zhouzhendong/p/51Nod1123.html 题目传送门 - 51Nod1123 题意 $T$ 组数据. 给定 $A,B,C$,求 ...

随机推荐

  1. [转帖]开始使用Chronograf

    地址:https://docs.influxdata.com/chronograf/v1.6/introduction/getting-started/ https://www.cnblogs.com ...

  2. .NET 表达式计算:Expression Evaluator

    Expression Evaluator 是一个轻量级的可以在运行时解析C#表达式的开源免费组件.表达式求值应该在很多地方使用,例如一些工资或者成本核算系统,就需要在后台动态配置计算表达式,从而进行计 ...

  3. 模仿ORM

    ORM 对象关系映射 类 ---------->映射--------->    表 对象 ------>映射---------->   一条记录 对象点属性 --->映射 ...

  4. drf-更新四大接口-单改整体-单改局部-群改整体-群改局部-04

    目录 复习 基于前一天序列化基础 整体单改 单与整体局部修改 复习 """ 1.ModelSerializer序列化类 models.py class BaseModel ...

  5. Codeforces 1238G. Adilbek and the Watering System

    传送门 最关键的想法就是每个位置一定用的是当前能用的最便宜的水,因为到后面可能有更便宜的 然后其他还没用上的水我们也留着,假装此时已经买了,但是如果发现后面有更优的再反悔也不迟 每相邻两个朋友之间我们 ...

  6. Scalar Queries CodeForces - 1167F (计数,树状数组)

    You are given an array $a_1,a_2,…,a_n$. All $a_i$ are pairwise distinct. Let's define function $f(l, ...

  7. JSON函数表

    jsoncpp 主要包含三个class:Value.Reader.Writer.注意Json::Value 只能处理 ANSI 类型的字符串,如果 C++ 程序是用 Unicode 编码的,最好加一个 ...

  8. Winfrom 定时锁屏

    #region 锁屏 public struct LASTINPUTINFO { [MarshalAs(UnmanagedType.U4)] public int cbSize; [MarshalAs ...

  9. 题解 CF670C 【Cinema】

    题目链接: https://www.luogu.org/problemnew/show/CF670C 思路: step-1: 语言的数据范围是10^9,所以我们采取用map离散化,这样就能方便且不ML ...

  10. shiro学习(二)

    自定义realm(主要就是自定义的realm要继承AuthorizingRealm 类,重写两个方法(一是认证,而是授权,两个方法一般要查询数据库,这里用的是模拟数据) ) public class ...