Proceedings of the 25th International Conference on Machine Learning - ICML '08 2008
DOI: 10.1145/1390156.1390243
|View full text |Cite
|
Sign up to set email alerts
|

On the hardness of finding symmetries in Markov decision processes

Abstract: In this work we address the question of finding symmetries of a given MDP. We show that the problem is Isomorphism Complete, that is, the problem is polynomially equivalent to verifying whether two graphs are isomorphic. Apart from the theoretical importance of this result it has an important practical application. The reduction presented can be used together with any off-the-shelf Graph Isomorphism solver, which performs well in the average case, to find symmetries of an MDP. In fact, we present results of us… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
4
0

Year Published

2012
2012
2024
2024

Publication Types

Select...
4
3
2

Relationship

0
9

Authors

Journals

citations
Cited by 11 publications
(5 citation statements)
references
References 7 publications
1
4
0
Order By: Relevance
“…Therefore, we can conclude that lifting an LP is beneficial regardless of whether the problem is sparse or dense, thus one might view symmetry as a dimension orthogonal to sparsity. Remarkably, the results follow closely what has been achieved with MDP-specific symmetry finding and model minimization approaches [47,48,49].…”
Section: Lifted Linear Programming For Solving Markov Decision Processessupporting
confidence: 85%
“…Therefore, we can conclude that lifting an LP is beneficial regardless of whether the problem is sparse or dense, thus one might view symmetry as a dimension orthogonal to sparsity. Remarkably, the results follow closely what has been achieved with MDP-specific symmetry finding and model minimization approaches [47,48,49].…”
Section: Lifted Linear Programming For Solving Markov Decision Processessupporting
confidence: 85%
“…a priori knowledge of symmetry, as we do; see Ravindran and Barto (2001) and Narayanamurthy and Ravindran (2008).…”
Section: Introductionmentioning
confidence: 56%
“…Zinkevich and Balch (2001) formalized the concept of symmetry in MDPs and proved that if such consolidation of symmetrical state–actions is performed accurately, then the optimal function and the optimal policy are not altered. However, automatically identifying symmetries is computationally complex (Narayanamurthy & Ravindran, 2008), especially when the symmetry is only assumed . For example, in the Pursuit domain, one may consider the 90°, 180° and 270° transpositions of the state around its center (along with the direction of the action) as being similar (see Figure 1 (b)).…”
Section: The Sass Approachmentioning
confidence: 99%