解説
f(i,j):= 人間i人,人狼j匹の状態から始めたときの,事件が起こらなくなった時点での生存している人間の期待値
とします.
事件が起こらなくなる条件は,j=0またはi≤j∧0<jです.このとき,以下が成り立ちます.
f(i,0)=i
f(i,j)=0(i≤j∧0<j)
遷移は,以下のようになります.
f(i,j)=⎩⎨⎧f(i−1,j)i+jif(i−1,j)+i+jjf(i,j−1)(i+j≡V+W(mod2))(else)
f(V,W)が求める答えで,計算量はO(VW)です.