Date:2022.04.13
题意描述:
对于 C 语言的循环语句,形如:
for (variable = A; variable != B; variable += C)
statement;
请问在 k 位存储系统中循环几次才会结束。
若在有限次内结束,则输出循环次数。否则输出死循环。
输入格式
多组数据,每组数据一行四个整数 A,B,C,k。
读入以 0 0 0 0 结束。
输出格式
若在有限次内结束,则输出循环次数。
否则输出 FOREVER。
数据范围
1≤k≤32,
0≤A,B,C<2^k
输入样例:
3 3 2 16
3 7 2 16
7 3 2 16
3 4 2 16
0 0 0 0
输出样例:
0
2
32766
FOREVER
思路:首先k 位存储系统即代表只取最后k位,即 ( a + x ∗ c ) % 2 k = = b % 2 k (a+x*c)\%2^k==b\%2^k (a+x∗c)%2k==b%2k。
x ∗ c + y ∗ 2 k ≡ b − a 【 m o d 2 k 】 ( I ) x*c+y*2^k \equiv b-a 【mod 2^k】(I) x∗c+y∗2k≡b−a【mod2k】(I)
问题转换为求满足线形同余方程的一个正整数解 x x x。
e x g c d ( c , 2 k , x , y ) exgcd(c,2^k,x,y) exgcd(c,2k,x,y)求出 x ∗ c + y ∗ 2 k ≡ g c d ( c , 2 k ) 【 m o d 2 k 】 ( I I ) x*c+y*2^k \equiv gcd(c,2^k) 【mod2^k】(II) x∗c+y∗2k≡gcd(c,2k)【mod2k】(I