Dynamic programming and markov pot.th. door Hordyk