Finding Optimal Strategies of Almost Acyclic Simple Stochatic Games

The optimal value computation for turned-based stochastic games with reachability objectives, also known as simple stochastic games, is one of the few problems in NP ∩ coNP which are not known to be in P. However, there are some cases where these games can be easily solved, as for instance when the underlying graph is acyclic. In this work, we try to extend this tractability to several classes of games that can be thought as "almost" acyclic. We give some fixed-parameter tractable or polynomial algorithms in terms of different parameters such as the number of cycles or the size of the minimal feedback vertex set.

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00941144
Author Auger, David, Coucheney, Pierre, Strozecki, Yann
Maintainer CCSD
Last Updated May 7, 2026, 03:31 (UTC)
Created May 7, 2026, 03:31 (UTC)
Identifier hal-00941144
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Models, Algorithms, and Games for Molecules Analysis and Telecommunications (MAGMAT) ; Parallélisme, Réseaux, Systèmes, Modélisation (PRISM) ; Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Centre National de la Recherche Scientifique (CNRS)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Centre National de la Recherche Scientifique (CNRS)
creator Auger, David
date 2014-02-03T00:00:00
harvest_object_id 743d5df6-7beb-4347-a57c-19c41632734f
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-02-20T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1402.0471
set_spec type:UNDEFINED