A、B系统构成一个有限状态机,终条件是B=6
每个状态对应6个操作:
A->0/5,
B->0/7,
A->min(5, A+B)
B->max(0,A+B-5),
A->max(0, A+B-7) ,
B->min(7,A+B),
那么寻找所有可能的B=6乃至任意值的终态,本质上就是以(0,0)为起点作一个点数为(A+1)*(B+1)的图的遍历。
--------
5x%7=6,得到x=4。
A、B系统构成一个有限状态机,终条件是B=6
每个状态对应6个操作:
A->0/5,
B->0/7,
A->min(5, A+B)
B->max(0,A+B-5),
A->max(0, A+B-7) ,
B->min(7,A+B),
那么寻找所有可能的B=6乃至任意值的终态,本质上就是以(0,0)为起点作一个点数为(A+1)*(B+1)的图的遍历。
--------
5x%7=6,得到x=4。