在做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的充要性质。