RT。

看到题解里几乎都在说 顺推会因为刷表时有些状态不能到达而出现正确性问题/yun

个人理解应该是因为状态不能到达的时候不能用于更新其他状态。

所以在刷表的时候记录一个 $vis$ 代表某个状态能不能到达能保证正确性吗