用记忆化的 tj 大多是不能确定转移顺序。那我们来分析一下应该怎么转移。

要把后效性给消除掉，我们应该找到一个变量使得“从大到小”地转移（比如线性 dp）。设 dis 为两人之间最段路的长度，每个时刻，聪聪走两步会使 dis 至少减少 2，可可走一步会使 dis 最多加上 1，可得 dis 至少减少 1 。因此将状态按 dis 排序，从前往后 dp 即可。（我猜这也是出题人设定聪聪可以走两步的原因）

现有的题解大多没有证明这个题没有后效性。如果有后效性的话，是要用高斯消元的，这种不求甚解的态度不值得提倡，以此帖警示后人。