BSGS ! x
一.引入:
若存在一个式子a^b ≡ c (mod p) (p ≡ 1000000007,且0<a,b,c<p)
已知a,b,求c.
这不就是快速幂嘛!
已知a,c,求b.
这就是我们需要研究的问题!用到了BSGS!
题目链接:poj 2417 bsgs
二.概念
BSGS:
又名大步小步算法.具体的我也不清楚啦~
那么发明来做什么事情呢?
如上所述:
就是用来求解a^x ≡ b (mod p)这样的式子
PS:已知a,b,p
求最小x
三.做法
首先,我们将x用i*m-j来表示,其中我们的m=seil(sqrt(p)),(seil为向上取整)
然后我们用i*m-j代替掉x,所以原式就变成了这个样子
a^(i * m-j) ≡ b (mod p)
又因为a^(i * m-j) => a^(i * m)/a^j
所以原式又变了模样:
a^(i * m)/a^j ≡ b (mod p)
又因为在"≡"(同余号)的两侧同时乘以一个相同的数依旧是成立的,如果不明白可以手动模拟一下,
给出个栗子~
3 ≡ 10 (mod 7),当两边同乘以5时式子变成: 15 ≡ 50 (mod 7)
因为15%7==1&&50%7==1,所以原式依旧成立
所以将式子两边同时乘以a^j
那么式子就又发生了改变:
a^(i * m) ≡ b * a^j (mod p)
= (a^m)^i ≡ b * a^j (mod p)
所以问题就简单多了!
因为a^m是常数,b是常数,p也是常数,所以只有 i 跟 j 是未知的,暴力枚举!
但是有一点是我们不能够忘记的:
m的取值范围:1 —— p(p是当b==0时),所以
首先将 j 从1 到 p-1 进行枚举一遍,求出b * a^j 的值丢到hash(大佬是用map做的)里面咯(讲真hash不会用...怪我咯?)
思路是这样的:(其实就是hash啦~)
(b*a^j)%p(如果p太小换成另外一个比较大的质数)作为下标,里面存着当前计算出来的数,以及当前的 j (可以用vector~)
然后,枚举 j ,我们大可以设a^m==c
将 i 从 1 到p-1枚举一遍,如果求出的数在hash里面找到了,则说明当前的数就是 i (能够成立的) 最小值,跳出循环,用当前的i,以及记录下来的 j 计算对应的 i 求出 x
则x就是最小的解
C++代码实现:
(map方法:)
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<map>
#include<cmath> using namespace std;
typedef long long LL; LL a,b,c;
map<LL,LL> mp; LL qsm(LL m)
{
LL n = a; if(m == ) return ; LL t = qsm(m/); t = 1LL*t*t%c;
if(m&) t = 1LL*t*n%c; return t;
} int main()
{
//a^im=b*a^j(mod c)
while (scanf("%lld%lld%lld",&c,&a,&b)!=EOF)
{
mp.clear(); //清空
if (a%c==) //判断a,c 是否互质,因为c 是质数,所以直接判断是否整除即可
{
printf("no solution\n");
continue;
}
LL m=ceil(sqrt(c));
LL ans;
for (LL j=; j<=m; j++)
{
if (j==)
{
//当j=0时,a^j=1, b*a^j=b
ans=b%c;
mp[ans]=j;
continue;
}
ans=(ans*a)%c;
//括号里的ans指a^(j-1)*b,(a^(j-1)*b)*a=(a^j)*b
mp[ans]=j;//在((a^j)*b)%c的位置记录下j
}
LL t=qsm(m);//t=a^m
ans=;
bool p=false;
for (LL i=; i<=m; i++)
{
ans=(ans*t)%c;//括号里的ans指的是((a^m)^(i-1))*(a^m)=(a^m)^i=a^(im)
if (mp[ans])
{
LL t=i*m-mp[ans];//t=x,因为我们设的x=i*m-j
printf("%lld\n",t);
p=true;
break;
}
}
if (!p)
printf("no solution\n");
}
}
End.
最新文章
- 列属性:RowGUIDCol、Identity 和 not for replication
- Eclipse自动编译问题
- IIS32位,64位模式下切换
- Solaris系统管理(二)资源管理与网络配置
- thymeleaf条件表达式
- Spring3.0 入门进阶(三):基于XML方式的AOP使用
- Qt中暂停线程的执行(利用QMutex,超级简单明了)
- FeatureClass的";import";(转换)功能
- HTML标签实现图片滚动显示
- hibernate初体验
- 【转】Win7下VS2010中配置Opencv2.4.4的方法(32位和64位都有效)(亲测成功)
- C++学习之虚继承
- 2077 汉诺塔IV
- hadoop2.7.2完全分布式环境搭建
- VM及centOS系统安装
- 转:swing 中paint与paintComponent的区别(jcomponent)
- python3.x执行post请求时报错“POST data should be bytes or an iterable of bytes...”的解决方法
- 关于<;Servlet>;定义
- gevent模块学习(二)
- EBS 多sheet页Excel动态报表开发过程