“我要再和生活死磕几年。要么我就毁灭,要么我就注定铸就辉煌。如果有一天,你发现我在平庸面前低了头,请向我开炮。”

这是一篇有详细证明的题解 $qwq$~

首先我们可以发现,这个题就是为了让我们解一个方程:

让我们把这个看上去很 zz 的方程变化一下:

那么就是:

对啊,所以我们所要做的就是对这个不定方程求出最小解。

那么其实,对于这个方程,我们是要解出步数的最小值,所以我们只需要求出$k$最小即可。我们可以通过扩展欧几里德算法求出一组特解,然后对于这组特解,我们再推导出最小解来。

但由于这个方程在解 $exgcd$ 的时候,那个方程转化成了:

那么我们求出的 $k_j$ 就是这个方程得一个特解。