摘要： 记$l_{x}$为经过$x$的守卫路径长度，若不存在此类守卫则定义$l_{x}=1$ 注意到若能在时刻$t$到达$x$，显然也能在时刻$t+l_{x}$到达$x$（顺着守卫的方向走），因此定义$d_{x,s}$为最早到达$x$​且$\equiv s(mod\ l_{x})$的时刻，即具备单调性，进而 阅读全文