First version of the description of the algorithms based on backward induction.