分析随笔_3

在做srm560div1的中等的时候，遇到个问题，抽象点是这样的，

一个路径：

r1,r2,r3......nk...

知道了ri到ri+1的方法，现在知道某个状态nk，求k最大可以是多少？

 

由于数据比较小，yy了一种暴力方法，就是ni往ni-1回走一步，然后看是否可以从ri-1走回ri。。

但是这个方法在原始问题上是错误的，原因是ri-1可能走不回ri，但却有可能走回rk..

只有当ri-1能否走回ri等价于ri-1能否走回rk，这个方法才是正确的。

 

我们最终目的是走回rk，所以我们应该去寻找能走回rk的充要性质。