{"id":"arxiv/2611.01863","url":"https://arxiv.org/abs/2611.01863","tags":["math.OC"],"score":0,"title":"On Exact Dual and Mixed-Integer Reformulations for Finite Horizon Markov Decision Processes with Submodular Revenue Maximization","domain":"math.OC","source":"arxiv","authors":["Jia-Yu Chen","Hsin-Yuan Huang","Tzu-Yang Teng","Yun-Jen Tsai","Hao-Hsiang Wu"],"reviews":0,"subject":"math.OC","summary":"We study exact mixed-integer reformulations of a finite horizon Markov decision process (MDP) with transition revenues defined by local submodular revenue maximization problems. We start with the dual linear programming formulation of the MDP, where local optimal revenues appear in the objective function and the constraints describe the state probabilities from the initial state. We combine the dual formulation with the binary variables of the local problems and obtain an exact mixed-integer nonlinear formulation with bilinear terms. We use the submodular inequalities and an exact McCormick…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-01","reactions":{}}