Dynamic programming and markov pot.th. by Hordyk