我到哪里去： 不重不漏
图论，自上而下，反之，两种
记忆化搜索，不用考虑顺序，不会去非法状态
动态规划，注意转移方程中用到的是否处理过，即注意状态转移的的顺序。

设计状态，变化的是什么
当某个性质成为了你的拦路虎，尝试将它加到状态(数组下标)里

松弛操作
Spfa mfort