Theoretical Foundations of Sequential Dynamic Programming

Many economic problems have several controls per period, whose joint choice is subject to the curse of dimensionality. Solving them in stages is computationally cheaper, but no general result says when staging is exact. I develop a separability theory, discrete choices and non-concave objectives included: staging is exact if utility, transitions, and constraints depend on earlier decisions only through a state passed forward. For each ordering the smallest such state exists and is unique up to relabeling. Any state that keeps staging exact for all preferences over later decisions and the future must carry everything the smallest one carries for the transition. For affine primitives, the smallest state consists of the linear combinations, such as cash-on-hand, on which later outcomes depend. Its dimensions pick the order whose largest stage is smallest. In a six-choice household model, each stage chooses one variable on a three-dimensional state, the joint problem all six.