无后效性

一个状态一旦确定，后面怎么走不会反过来影响它。满足这一条才能用 DP。