In this paper we go one step further in the automatic generation of FPTASes for multi-stage stochastic dynamic programs with scalar state and action spaces, in where the cost-to-go functions have a monotone structure in the state variable. While there exist a few frameworks for automatic generation of FPTASes, so far none of them is general and simple enough to be extensively used. We believe that our framework has this two attributes, and has great potential to attract interest from both the operations research and theoretical computer science communities. Moreover, it seems very reasonable that many intractable problems, that currently do not admit an FPTAS, can be formulated as DPs that fit into our framework, and therefore will admit a first FPTAS. Our results are achieved by a combination of Bellman equation formulations, the technique of K-approximation sets and functions, and in particular -- the calculus of K-approximation functions.
Article
View Automatic generation of FPTASes for stochastic monotone dynamic programs made easier