Contraction Mappings in the Theory Underlying Dynamic Programming | Synapse