Backward induction (source code)

= Backward induction
{wiki=Backward_induction}