【一本通】C循环【exgcd】

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\ast c)\%2^k==b\%2^k$。
$x\ast c+y\ast 2^k\equiv b-a【mod{2}^k】(I)$
问题转换为求满足线形同余方程的一个正整数解$x$。
$exgcd(c,2^k,x,y)$求出$x\ast c+y\ast 2^k\equiv gcd(c,2^k)【mod{2}^k】(I$