POJ 2115 C Looooops (扩展欧几里德 + 线性同余方程)
分析:这个题主要考察的是对线性同余方程的理解,根据题目中给出的a,b,c,d,不难的出这样的式子,(a+k*c) % (1<<d) = b; 题目要求我们在有解的情况下求出最小的解,我们转化一下形式。
上式可以用同余方程表示为 a + k*c = (b) % (1<<d) <--> k*c = (b-a) % (1<<d)(中间应该是全等号,打不出来…)。这就是我们想要的同余方程,根据我的个人习惯,我把它转化为线性方程的形式。
--> c*x + (1<<d)*y = (b-a); 此时就对应了线性方程中的a*x + b*y = c的形式,当且仅当 c % gcd(a,b) == 0时x有解,得到x的一个解以后,我们另x化为(x%mod + mod) % mod的形式,mod = b/gcd(a,b); 这个时候的x范围处于(1,mod-1)之间,正是我们要的最小解。
注意:注意LL的形式,在(1<<d)的时候,不要忘记改成(1LL << d),否则WA了,我被这里坑了……
代码如下:
- #include<iostream>
- #include<cstdio>
- #include<cstring>
- using namespace std;
- #define LL long long
- /**
- a + c*k = b % d
- -> c*k = (b-a) % d
- -> c*x + d*y = k*(b-a);
- -> if gcd(c,d) | (b-a);
- -> get x = k;
- -> else forever.
- */
- LL x,y;
- LL exgcd(LL a,LL b){
- if(!b){
- x = ; y = ;
- return a;
- }
- LL gcd = exgcd(b,a%b);
- LL tmp = x;
- x = y;
- y = tmp - a/b * y;
- return gcd;
- }
- int main(){
- LL a,b,c,d;
- while(~scanf("%I64d %I64d %I64d %I64d",&a,&b,&c,&d)){
- if(a+b+c+d == ) break;
- d = (1LL<<d);
- LL A,B,gcd,C,ans,k,mod;
- A = c; B = d; C = (b-a);
- gcd = exgcd(A,B);
- if(C % gcd != ){
- puts("FOREVER");
- }
- else {
- k = C / gcd;
- x = k*x;
- mod = B / gcd;
- ans = (x%mod + mod) % mod;
- printf("%I64d\n",ans);
- }
- }
- return ;
- }
POJ 2115 C Looooops (扩展欧几里德 + 线性同余方程)的更多相关文章
- poj 2115 C Looooops 扩展欧几里德
C Looooops Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 23616 Accepted: 6517 Descr ...
- POJ 2115 C Looooops扩展欧几里得
题意不难理解,看了后就能得出下列式子: (A+C*x-B)mod(2^k)=0 即(C*x)mod(2^k)=(B-A)mod(2^k) 利用模线性方程(线性同余方程)即可求解 模板直达车 #incl ...
- POJ 2115 C Looooops(扩展欧几里得应用)
题目地址:POJ 2115 水题. . 公式非常好推.最直接的公式就是a+n*c==b+m*2^k.然后能够变形为模线性方程的样子,就是 n*c+m*2^k==b-a.即求n*c==(b-a)mod( ...
- POJ 2115 C Looooops(扩展欧几里得)
辗转相除法(欧几里得算法) 时间复杂度:在O(logmax(a, b))以内 int gcd(int a, int b) { if (b == 0) return a; return gcd(b, a ...
- poj 2115 C Looooops(扩展gcd)
题目链接 这个题犯了两个小错误,感觉没错,结果怒交了20+遍,各种改看别人题解,感觉思路没有错误,就是wa. 后来看diccuss和自己查错,发现自己的ecgcd里的x*(a/b)写成了x*a/b.还 ...
- POJ - 2115 C Looooops(扩展欧几里德求解模线性方程(线性同余方程))
d.对于这个循环, for (variable = A; variable != B; variable += C) statement; 给出A,B,C,求在k位存储系统下的循环次数. 例如k=4时 ...
- POJ2115:C Looooops(一元线性同余方程)
题目: http://poj.org/problem?id=2115 要求: 会求最优解,会求这d个解,即(x+(i-1)*b/d)modm;(看最后那个博客的链接地址) 前两天用二元一次线性方程解过 ...
- poj2115-C Looooops(扩展欧几里德算法)
本题和poj1061青蛙问题同属一类,都运用到扩展欧几里德算法,可以参考poj1061,解题思路步骤基本都一样.一,题意: 对于for(i=A ; i!=B ;i+=C)循环语句,问在k位存储系统中循 ...
- POJ2115 C Looooops 扩展欧几里德
欢迎访问~原文出处——博客园-zhouzhendong 去博客园看该题解 题目传送门 - POJ2115 题意 对于C的for(i=A ; i!=B ;i +=C)循环语句,问在k位存储系统中循环几次 ...
随机推荐
- CentOS系统更换软件安装源aliyun的
CentOS系统更换软件安装源第一步:备份你的原镜像文件,以免出错后可以恢复. mv /etc/yum.repos.d/CentOS-Base.repo /etc/yum.repos.d/CentOS ...
- BFS详解
广度优先搜索详解 1. 也称宽度优先搜索,顾名思义,就是将一棵树一层一层往下搜.算法首先搜索和s距离为k的所有顶点,然后再去搜索和S距离为k+l的其他顶点.BFS是一种完备策略,即只 ...
- 【ADT】链表的基本C语言实现
什么是抽象数据类型?首先,这一概念是软件开发人员在力求编写的代码健壮.易维护且可以复用的过程中产生的.英文是AbstractData Type.有人将其比作"抽象"的墙壁,&quo ...
- 隔一段时间应用就会挂掉(进程在,但停止响应,也无log输出),必须重启tomcat
此处是转载的 是给自己做的备注 问题:隔一段时间应用就会挂掉(进程在,但停止响应,也无log输出),必须重启tomcat 原因查找:由于tomcat自身log中并无错误产生,磁盘空间足够,读写也正常 ...
- 写一个CGI程序并运行
准备Linux和Apache我在/var/www/cgi-bin/下建一个文件get.c #include <stdio.h> #include <stdlib.h> int ...
- Yii2.0 多条件搜索 带分页
方法一 在控制器中 ; if($titles!=""){ $where.=" and title lik ...
- Android:如何实现更换主题
关键代码:setTheme(int ID); 注意点: 1.设置主题必须要在setContentView() 之前调用,所以需要写个Intent去重新开启Activity. 2.为了切换主题保证流畅性 ...
- position:fixed 居中问题
设置Css属性position:fixed后如何使这个盒子居中呢?其实也很简单: 就是需要设置给这个div盒子设置属性: left:0; right:0; margin:0 auto; ******* ...
- oracle 存储过程(1)
--建一张user_info表create table user_info (id varchar2(10),name varchar2(20),password varchar2(20),addre ...
- Linux - CentOS6.5服务器搭建与初始化配置详解(下)
传送带:Linux - CentOS6.5服务器搭建与初始化配置详解(上) 继续接着上面的安装,安装完后会出现下面界面 点击reboot重启 重启后可以看到下面的tty终端界面 因为这就是最小化安装 ...