前置芝士:

1.快速幂(用于求一个数的幂次方)

2.STL里的map(快速查找)

详解

BSGS 算法适用于解决高次同余方程 \(a^x\equiv b (mod p)\)

由费马小定理可得 x <= p-1

我们设 \(m = sqrt(p)\) 至于为什么写,下文会讲到。

那么\(x\)就可以用 \(m\) 表示出来。

即 x = \(k \times m - j\)

移项可得 \(a^t \equiv b\times a^j\) 其中 t = \(k \times m\)

这也就是我们为什么把\(x\)用 \(k \times m - j\)来表示。

因为改为加\(j\)后,移项后要求逆元,就会变得很麻烦。

这样,我们就可以枚举每个\(k\)和\(j\),来判断左右两边得值是否相等就行了。

首先,我们可以枚举j 将 \(b\times a^j\)放入map中。

然后,从小到大枚举\(k\),在哈希表中,找到最大的\(j\)满足 \(a^t \equiv b\times a^j\) 其中 t = \(k \times m\)

若存在\(k\times m -j\)就是方程的解

关于上文中,为什么要设\(m = sqrt(p)\)

是为了保证BSGS的复杂度,是左右两边的数尽可能的均匀。

例题

P3846 [TJOI2007] 可爱的质数

模板题,水过去了

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<map>
#include<cmath>
using namespace std;
#define LL long long
int a,b,p;
LL ksm(LL a, LL b)
{
LL res = 1;
for(; b; b >>= 1)
{
if(b & 1) res = res * a % p;
a = a * a % p;
}
return res;
}
int BSGS(int a,int b,int p)
{
map<LL,int> hash; hash.clear();
int m = (int)sqrt(p);
for(int i = 0; i <= m; i++)
{
LL val = ksm(a,i) * b % p;//b * a ^ i
hash[val] = i;//放入map中
}
a = ksm(a,m);//a ^ m
for(int i = 0; i <= m; i++)
{
LL val = ksm(a,i);//(a^m)^i
int j = hash.find(val) == hash.end() ? -1 : hash[val];//如果没有j就为-1
if(j >= 0 && i * m - j >= 0) return i * m - j;//找到一组解
}
return -1;
}
int main()
{
scanf("%d%d%d",&p,&a,&b);
LL ans = BSGS(a,b,p);
if(ans == -1) cout<<"no solution"<<endl;
else printf("%lld\n",ans);
return 0;
}

P2485 [SDOI2011]计算器

一道很多算法综合在一起的模板题,水过去了。

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cmath>
#include<map>
using namespace std;
#define LL long long
int t,opt,a,b,p,x,y;
inline int read()
{
int s = 0, w = 1; char ch = getchar();
while(ch < '0' || ch > '9'){if(ch == '-') w = -1; ch = getchar();}
while(ch >= '0' && ch <= '9'){s = s * 10+ch -'0'; ch = getchar();}
return s * w;
}
LL gcd(LL a, LL b)
{
if(b == 0) return a;
else return gcd(b,a%b);
}
LL ksm(LL a, LL b)//快速幂
{
LL res = 1;
for(; b; b >>= 1)
{
if(b & 1) res = res * a % p;
a = a * a % p;
}
return res;
}
LL exgcd(int a,int b, int &x,int &y)//扩展欧几里得
{
if(b == 0)
{
x = 1;
y = 0;
return a;
}
LL gcd = exgcd(b,a%b,y,x);
y -= a / b * x;
return gcd;
}
LL BSGS(LL a,LL b,LL p)//BSGS
{
map<LL,int> hash; hash.clear();
int m = (int) sqrt(p);
b % p;
for(int i = 0; i <= m; i++)
{
LL tmp = ksm(a,i) * b % p;
hash[tmp] = i;
}
a = ksm(a,m);
if(a == 0) return b == 0 ? 1 : -1;//特判当a为0的情况
for(int i = 0; i <= m; i++)
{
LL tmp = ksm(a,i);
int j = hash.find(tmp) == hash.end() ? -1 : hash[tmp];
if(j >= 0 && i * m - j >= 0) return i * m - j;
}
return -1;
}
int main()
{
t = read(); opt = read();
while(t--)
{
a = read(); b = read(); p = read();
if(opt == 1)
{
LL ans = ksm(a,b);
printf("%lld\n",ans);
}
if(opt == 2)
{
LL k = exgcd(a,p,x,y);
if(b % k) cout<<"Orz, I cannot find x!"<<endl;
else printf("%lld\n",(x * (b/k) % p + p)%p);
}
if(opt == 3)
{
LL ans = BSGS(a,b,p);
if(ans == -1) cout<<"Orz, I cannot find x!"<<endl;//无解情况
else printf("%lld\n",ans);
}
}
return 0;
}

ENDING

BSGS算法解析的更多相关文章

  1. 【codevs 1565】【SDOI 2011】计算器 快速幂+拓展欧几里得+BSGS算法

    BSGS算法是meet in the middle思想的一种应用,参考Yveh的博客我学会了BSGS的模版和hash表模板,,, 现在才会hash是不是太弱了,,, #include<cmath ...

  2. 地理围栏算法解析(Geo-fencing)

    地理围栏算法解析 http://www.cnblogs.com/LBSer/p/4471742.html 地理围栏(Geo-fencing)是LBS的一种应用,就是用一个虚拟的栅栏围出一个虚拟地理边界 ...

  3. KMP串匹配算法解析与优化

    朴素串匹配算法说明 串匹配算法最常用的情形是从一篇文档中查找指定文本.需要查找的文本叫做模式串,需要从中查找模式串的串暂且叫做查找串吧. 为了更好理解KMP算法,我们先这样看待一下朴素匹配算法吧.朴素 ...

  4. bzoj2242: [SDOI2011]计算器 && BSGS 算法

    BSGS算法 给定y.z.p,计算满足yx mod p=z的最小非负整数x.p为质数(没法写数学公式,以下内容用心去感受吧) 设 x = i*m + j. 则 y^(j)≡z∗y^(-i*m)) (m ...

  5. Peterson算法与Dekker算法解析

    进来Bear正在学习巩固并行的基础知识,所以写下这篇基础的有关并行算法的文章. 在讲述两个算法之前,需要明确一些概念性的问题, Race Condition(竞争条件),Situations  lik ...

  6. [BSGS算法]纯水斐波那契数列

    学弟在OJ上加了道"非水斐波那契数列",求斐波那契第n项对1,000,000,007取模的值,n<=10^15,随便水过后我决定加一道升级版,说是升级版,其实也没什么变化,只 ...

  7. python常见排序算法解析

    python——常见排序算法解析   算法是程序员的灵魂. 下面的博文是我整理的感觉还不错的算法实现 原理的理解是最重要的,我会常回来看看,并坚持每天刷leetcode 本篇主要实现九(八)大排序算法 ...

  8. BSGS算法

    BSGS算法 我是看着\(ppl\)的博客学的,您可以先访问\(ppl\)的博客 Part1 BSGS算法 求解关于\(x\)的方程 \[y^x=z(mod\ p)\] 其中\((y,p)=1\) 做 ...

  9. Java虚拟机对象存活标记及垃圾收集算法解析

    一.对象存活标记 1. 引用计数算法 给对象中添加一个引用计数器,每当有一个地方引用它时,计数器就加1:当引用失效时,计数器就减1:任何时刻计数器都为0的对象就是不可能再被使用的. 引用计数算法(Re ...

随机推荐

  1. C#还原对图像做的修改

    在C#程序中对图像进行处理,有的时候需要将处理后的图像还原,便于观察两者之间的区别,避免重新运行程序造成的麻烦.我是将之前写的Tab页中打开的图像进行还原,将原始图像数据保存在数据流中,然后从数据流中 ...

  2. Pytest allure自定义特性场景功能

    @allure.feature @allure.story allure支持用户对测试用例进行功能模块的自定义,并展示在报告中 需要在测试用例代码中加上装饰器@allure.feature[加在测试类 ...

  3. Codeforces 1250E The Coronation

    解题思路 用2-SAT的思路将题目转化为:已知\(n\)个二元组\(<x,y>\),可以算出有多少属于不同二元组的元素\((a,b)\)存在冲突,要在每个二元组\(<x,y>\ ...

  4. C#操作Excel开发报表系列整理

    C#操作Excel进行报表开发系列共写了八篇,也已经有很久没有新东西了,现在整理一下,方便以后查阅,如果有写新的,会同时更新.需要注意的是因为Office的版本不同,实际的代码可能会有所不同,但是都是 ...

  5. (高难度SQL)从产品表中找出相同前缀 (都云作者痴 谁解其中味)

    --期盼值 找出AA,3;PDST,3;QPL-,3;TP-,2; --基本表 create table tb_product( id number(9,0) primary key, name nv ...

  6. Ant Jmeter Jenkins生成html测试报告

    Ant配置1. 将jmeter安装目录或者源码目录下\apache-jmeter-3.1\extras的ant-jmeter-1.1.1.jar复制到ant安装目录下apache-ant-1.10.3 ...

  7. unzip命令笔记

    unzip命令 文件压缩与解压 unzip命令用于解压缩由zip命令压缩的".zip"压缩包. 语法 unzip(选项)(参数) 选项 -c:将解压缩的结果显示到屏幕上,并对字符做 ...

  8. xargs命令学习,于阮一峰博客

    一.标准输入与管道命令 Unix 命令都带有参数,有些命令可以接受"标准输入"(stdin)作为参数. $ cat /etc/passwd | grep root 上面的代码使用了 ...

  9. md5命令

    AIX 系统md5命令之csum #csum filename (默认使用md5算法) #csum -h SHA1 filename (使用sha1算法)Linux系统命令之md5sum 1. 背景 ...

  10. Java中读取配置文件中的内容,并将其赋值给静态变量的方法

    应用场景 项目开发中某个功能需要抽取成方法写成一个工具类,提供给别人使用.写过工具类的人都知道,工具类中的方法一般都是静态方法,可以直接使用类名点方法名调用, 使用很方便,比如判断某个对象是否为空的方 ...