题目链接:http://poj.org/problem?id=2115
A Compiler Mystery: We are given a C-language style for loop of type
for (variable = A; variable != B; variable += C) statement;
I.e., a loop which starts by setting variable to value A and while variable is not equal to B, repeats statement followed by increasing the variable by C. We want to know how many times does the statement get executed for particular values of A, B and C, assuming that all arithmetics is calculated in a k-bit unsigned integer type (with values 0 <= x < 2 k) modulo 2 k.
Input
The input consists of several instances. Each instance is described by a single line with four integers A, B, C, k separated by a single space. The integer k (1 <= k <= 32) is the number of bits of the control variable of the loop and A, B, C (0 <= A, B, C < 2 k) are the parameters of the loop.
The input is finished by a line containing four zeros.
Output
The output consists of several lines corresponding to the instances on the input. The i-th line contains either the number of executions of the statement in the i-th instance (a single integer number) or the word FOREVER if the loop does not terminate.
Sample Input
3 3 2 16 3 7 2 16 7 3 2 16 3 4 2 16 0 0 0 0
Sample Output
0 2 32766 FOREVER
题目翻译:
一个C语言的for循环:
for(int i=A;i!=B;i+=C)st;
其中i
表示变量,A
、B
和C
分别表示初值、终值和步长,st
表示循环体。
要求计算当循环变量i
运算在k
位无符号整数体系下(运算值范围:0~2^k-1,此时,i+=c
溢出后截断),循环体st
会执行多少次?
输入格式
输入每组数据包括4个整数A
,B
,C
和k
。
输出格式
对于每组数据,输出循环次数,如果永远不能结束,输出FOREVER
。
可以推出一个同余方程: A + Cx = B ( mod 2^k ),可以化简成 Cx = B - A ( mod 2^k),之后就是很经典的求解一元线性同余方程的问题了,可以转换成ax=b(mod n)标准形式来写(a=C,b=B-A,n=2^k),等价于ax+ny=b;
d=gcd(a,n),如果 不满足 d | b,那么无解。否则 a = a0*d,n = n0*d,原方程变为a0*x+b0*y=b/d,用扩展欧几里得可以求出解x,但是解不唯一,但都属于同一个模m剩余系,所以解为 x,x+n0,x+2*n0......,在解中找出符合条件的结果就行。
#include<iostream>
#include<cstdio>
#define ll long long
using namespace std;
void ex_gcd(ll a,ll b,ll& d,ll& x,ll& y){
if(!b){x=1;y=0;d=a;}
else{ex_gcd(b,a%b,d,y,x),y-=(a/b)*x;}
}
int main(){
ll A,B,C,a,b,c,k,x,y,d;
while(~scanf("%lld%lld%lld%lld",&A,&B,&C,&k)){
if(!A&&!B&&!C&&!k) break;
ll a=C;
ll b=B-A;
ll n=(ll)1<<k;
ex_gcd(a,n,d,x,y);
if(b%d!=0) printf("FOREVER\n");
else{
ll res=x*(b/d);
res=res%(n/d)+n/d;
printf("%lld\n",res%(n/d));
}
}
return 0;
}