不会。
目前的理解。
应用于一个存在终止状态,需要计算到达终止状态步数的期望 DP。
设计势能函数 \(\Phi\)。使其对任意状态 \(S\) 满足 \(E(\Phi(S'))=\Phi(S)+1\)。其中 \(S'\) 为 \(S\) 的后继状态。
那么有结论:步数期望 = \(\Phi(T)-\Phi(S)\)。其中 \(T\) 为结束状态,\(S\) 为起始状态。
理论证明不写,有点太半吊子了。