A calculus of relations is used to reason about specifications and algorithms for optimisation problems. It is shown how certain greedy algorithms can be seen as refinements of dynamic programming. Throughout, the maximum lateness problem is used as a motivating example.
CITATION STYLE
Bird, R., & Moor, O. (1993). From dynamic programming to greedy algorithms (pp. 43–61). https://doi.org/10.1007/3-540-57499-9_16
Mendeley helps you to discover research relevant for your work.