Efficient Solving of Large Single Input Superstate Decomposable Markovian Decision Process

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Mahjoub, Youssef Ait El, Fourneau, Jean-Michel, Alouah, Salma
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866908475666202624
author Mahjoub, Youssef Ait El
Fourneau, Jean-Michel
Alouah, Salma
author_facet Mahjoub, Youssef Ait El
Fourneau, Jean-Michel
Alouah, Salma
contents Solving Markov Decision Processes (MDPs) remains a central challenge in sequential decision-making, especially when dealing with large state spaces and long-term optimization criteria. A key step in Bellman dynamic programming algorithms is the policy evaluation, which becomes computationally demanding in infinite-horizon settings such as average-reward or discounted-reward formulations. In the context of Markov chains, aggregation and disaggregation techniques have for a long time been used to reduce complexity by exploiting structural decompositions. In this work, we extend these principles to a structured class of MDPs. We define the Single-Input Superstate Decomposable Markov Decision Process (SISDMDP), which combines Chiu's single-input decomposition with Robertazzi's single-cycle recurrence property. When a policy induces this structure, the resulting transition graph can be decomposed into interacting components with centralized recurrence. We develop an exact and efficient policy evaluation method based on this structure. This yields a scalable solution applicable to both average and discounted reward MDPs.
format Preprint
id arxiv_https___arxiv_org_abs_2508_00816
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Efficient Solving of Large Single Input Superstate Decomposable Markovian Decision Process
Mahjoub, Youssef Ait El
Fourneau, Jean-Michel
Alouah, Salma
Optimization and Control
Machine Learning
Performance
Solving Markov Decision Processes (MDPs) remains a central challenge in sequential decision-making, especially when dealing with large state spaces and long-term optimization criteria. A key step in Bellman dynamic programming algorithms is the policy evaluation, which becomes computationally demanding in infinite-horizon settings such as average-reward or discounted-reward formulations. In the context of Markov chains, aggregation and disaggregation techniques have for a long time been used to reduce complexity by exploiting structural decompositions. In this work, we extend these principles to a structured class of MDPs. We define the Single-Input Superstate Decomposable Markov Decision Process (SISDMDP), which combines Chiu's single-input decomposition with Robertazzi's single-cycle recurrence property. When a policy induces this structure, the resulting transition graph can be decomposed into interacting components with centralized recurrence. We develop an exact and efficient policy evaluation method based on this structure. This yields a scalable solution applicable to both average and discounted reward MDPs.
title Efficient Solving of Large Single Input Superstate Decomposable Markovian Decision Process
topic Optimization and Control
Machine Learning
Performance
url https://arxiv.org/abs/2508.00816