停时

停时

不会。

目前的理解。

应用于一个存在终止状态，需要计算到达终止状态步数的期望 DP。

设计势能函数 \(\Phi\)。使其对任意状态 \(S\) 满足 \(E(\Phi(S'))=\Phi(S)+1\)。其中 \(S'\) 为 \(S\) 的后继状态。

那么有结论：步数期望 = \(\Phi(T)-\Phi(S)\)。其中 \(T\) 为结束状态，\(S\) 为起始状态。

---

理论证明不写，有点太半吊子了。