A technique for the reduction of dimensionality in dynamic programming