这种题如何编程解决？

见到校友~赞一个~

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

@yangff 我大概知道你的意思了，那这个数组应该怎么构造呢？

算法表述非常清晰~~

@jok3r hackerrank 出过

acm里一般都会有这种题吧，描述题。

@lcj2class 搜索的时候记录一下当前的ij是否被算过，如果算过了就直接return这样最后得到的就是这个数组了。。

http://codeforces.com/problemset/problem/343/A
这题和你这题做法差不多。。

core.logic

也许可以参考一下张景中的书…他研究的一个方向就是用程序证明几何命题。

gcd

@yangff 你这不就是动态规划嘛，不过lisp中一般都是直接用递归或迭代解决问题的，怎么保存中间状态我还不清楚

@lcj2class 囧我写的就是dp啊

弱弱的说，ACM里面不是有很多这种东东么。。。