"我要再和生活死磕几年.要么我就毁灭,要么我就注定铸就辉煌.如果有一天,你发现我在平庸面前低了头,请向我开炮."
这是一篇有详细证明的题解 $qwq$~
首先我们可以发现,这个题就是为了让我们解一个方程:
让我们把这个看上去很 zz 的方程变化一下:
那么就是:
对啊,所以我们所要做的就是对这个不定方程求出最小解.
那么其实,对于这个方程,我们是要解出步数的最小值,所以我们只需要求出$k$最小即可.我们可以通过扩展欧几里德算法求出一组特解,然后对于这组特解,我们再推导出最小解来.
但由于这个方程在解 $exgcd$ 的时候,那个方程转化成了:
那么我们求出的 $k_j$ 就是这个方程得一个特解.