@lcj2class 你这样考虑，最开始的时候两个桶都是空的显然是可以的为1，
每个时刻有4种操作可以做，把某个桶装满，把一个桶的水倒进另一个桶。
直接搜索的话当然可以，但是你会发现，如果你已经知道ij这个状态的结果，就不用再去计算了，用数组记一下某个状态是否到达过就可以了，最后可以发现这个转移的过程其实就是在mod x意义下做扩展欧几里德。