题目描述

给出递推公式 $x_{i+1}=(ax_i+b)\mod p$ 中的 $p$、$a$、$b$、$x_1$ ,其中 $p$ 是质数。输入 $t$ ,求最小的 $n$ ,使得 $x_n=t$ 。若不存在则输出-1。

输入

输入含有多组数据,第一行一个正整数 T ,表示这个测试点内的数据组数。  
接下来 T 行,每行有五个整数 p,a,b,X1,t ,表示一组数据。保证 X1 和 t 都是合法的页码。

注意: p 一定为质数

输出

共T行,每行一个整数表示他最早读到第t页是哪一天。如果他永远不会读到第t页,输出-1。

样例输入

3
7 1 1 3 3
7 2 2 2 0
7 2 2 2 1

样例输出

1
3
-1


题解

BSGS思想的利用

(以下为思考过程)

早就知道网上的大部分题解:把通项公式变形为$x_{i+1}+c=a(x_i+c)\mod p$,然后转化为BSGS的经典方程$a^x\mod p=c$来求解。

然而这样需要exgcd之类的,还需要乱七八糟的特判,代码少说也有80+行。

考虑:直接利用BSGS的meet-in-the-middle思想,而不是无脑套方程求解。

(以上为思考过程)

为了方便,设$f(x)=(ax+b)\mod p$,$f^d(x)$表示$f(x)$的$d$次复合,即$f(f(...(x)))$,其中$f$的个数为$d$。

我们要求的就是满足$f^n(x_1)=t$的最小的$n$。

首先根据抽屉(鸽笼)原理,如果有解则一定不超过$p$。

把答案$n$写成$km-l$的形式,其中$m=\lceil\sqrt n\rceil$。

那么我们要求的就是$f^{km-l}(x_1)=t$。

我们把这个式子左右同时复合$l$层,变为$f^{km}(x_1)=f^l(t)$。

由于一次函数复合以后还是一次函数,因此可以直接处理出$f^l(x)$和$f^{km}(x)$中一次项和常数项的系数。具体方法:$a(cx+d)+b=acx+ad+b$。

然后把所有的$f^{km}(x_1)$按照处理出的系数算出来,放到哈希表中(代码中使用了map),其中值相同的只取$k$较小的。

再枚举$l$,按照处理出的系数算出$f^l(t)$,看哈希表中是否有这个数即可,如果有则用$km-l$更新答案。

思考一下为什么一般情况下这样是对的:因为$p$是足够大的质数,因此所有数在模意义下都是存在的,并且存在唯一的逆。所以对于已知的$(cx+d)\mod p=e$,知道$e$可以直接推出$x$。

这个做法当$a=0$时不成立,因为不存在唯一的逆。因此需要特殊处理。

时间复杂度$O(\sqrt n\log n)$

代码只有40行左右^_^

#include <map>
#include <cmath>
#include <cstdio>
using namespace std;
typedef long long ll;
map<ll , ll> mp;
map<ll , ll>::iterator it;
ll u[50010] , v[50010];
int main()
{
int T;
scanf("%d" , &T);
while(T -- )
{
ll p , a , b , x , t , m , i , ans = 1ll << 62;
scanf("%lld%lld%lld%lld%lld" , &p , &a , &b , &x , &t);
if(!a)
{
if(t == x) puts("1");
else if(t == b) puts("2");
else puts("-1");
}
else
{
mp.clear() , m = ceil(sqrt(p));
u[0] = 1 , v[0] = 0;
for(i = 1 ; i <= m ; i ++ ) u[i] = u[i - 1] * a % p , v[i] = (a * v[i - 1] + b) % p;
for(i = 1 ; i <= m ; i ++ )
{
x = (x * u[m] + v[m]) % p;
if((it = mp.find(x)) == mp.end())
mp[x] = i;
}
for(i = 1 ; i <= m ; i ++ )
if((it = mp.find((t * u[i] + v[i]) % p)) != mp.end())
ans = min(ans , it->second * m - i + 1);
if(ans == 1ll << 62) puts("-1");
else printf("%lld\n" , ans);
}
}
return 0;
}

最新文章

  1. 数字限时增长效果实现:numberGrow.js
  2. Android开发学习——ListView+BaseAdapter的使用
  3. 用Excel创建SQL server性能报告
  4. zabbix-proxy3.0.4编译安装
  5. java生成解析xml的另外两种方法Xstream
  6. 通过DAC来连接SQL Server
  7. VS2012JSON自动生成对应的类
  8. MongoDB学习笔记-维护
  9. IIS发布网站,浏览网站时候,出现 试图加载格式不正确的程序。
  10. Dynamics 365-N:N Relationship的记录处理
  11. [Swift]LeetCode400. 第N个数字 | Nth Digit
  12. Thrift架构介绍
  13. ORACLE透明加密
  14. linux 学习笔记 APACHE安装总结
  15. python使用mysql
  16. JS 单线程
  17. Windows10下搭建Android Studio3.12开发环境
  18. luogu3628 特别行动队 (斜率优化dp)
  19. jquery.validate,错误信息位置
  20. Android图片处理(Matrix,ColorMatrix) - 转载

热门文章

  1. docker安装MySQL 8.0及初始化错误处理
  2. windows下openresty中使用lua做接口转发、二次封装等
  3. 详解Linux运维工程师
  4. Qt on Android 蓝牙通信开发
  5. python七类之字典详解
  6. 006---Python基本数据类型--集合
  7. spring boot打包问题
  8. hadoop jar x.jar 执行过程
  9. Java——英文字母---18.10.11
  10. 【转】moodle中年级、班级、小组研讨