liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Computational Complexity of Computing Symmetries in Finite-Domain Planning
Department of Mechanical and Industrial Engineering, University of Toronto, Canada.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0002-5288-3330
2021 (English)In: The journal of artificial intelligence research, ISSN 1076-9757, E-ISSN 1943-5037, Vol. 70, p. 1183-1221Article in journal (Refereed) Published
Abstract [en]

Symmetry-based pruning is a powerful method for reducing the search effort in finitedomain planning. This method is based on exploiting an automorphism group connected to the ground description of the planning task - these automorphisms are known as structural symmetries. In particular, we are interested in the STRUCTSYM problem where the generators of this group are to be computed. It has been observed in practice that the STRUCTSYM problem is surprisingly easy to solve. We explain this phenomenon by showing that STRUCTSYM is GI-complete, i.e., the graph isomorphism problem is polynomial-time equivalent to it and, consequently, solvable in quasi-polynomial time. This implies that it is solvable substantially faster than most computationally hard problems encountered in AI. We accompany this result by identifying natural restrictions of the planning task and its causal graph that ensure that STRUCTSYM can be solved in polynomial time. Given that the STRUCTSYM problem is GI-complete and thus solvable quite efficiently, it is interesting to analyse if other symmetries (than those that are encompassed by the STRUCTSYM problem) can be computed and/or analysed efficiently, too. To this end, we present a highly negative result: checking whether there exists an automorphism of the state transition graph that maps one state s into another state t is a PSPACE-hard problem and, consequently, at least as hard as the planning problem itself.

Place, publisher, year, edition, pages
Palo Alto, CA, United States: AI Access Foundation, Inc. , 2021. Vol. 70, p. 1183-1221
National Category
Discrete Mathematics
Identifiers
URN: urn:nbn:se:liu:diva-182818DOI: 10.1613/jair.1.12283ISI: 000743970700005Scopus ID: 2-s2.0-85104323369OAI: oai:DiVA.org:liu-182818DiVA, id: diva2:1639033
Note

Funding Agencies: Adams Fellowship Program of the Israel Academy of Sciences and Humanities; Swedish Research Council (VR) [2017-04112]

Available from: 2022-02-18 Created: 2022-02-18 Last updated: 2022-03-11Bibliographically approved

Open Access in DiVA

fulltext(488 kB)82 downloads
File information
File name FULLTEXT01.pdfFile size 488 kBChecksum SHA-512
a1183a5f852e732a02d831caf9f99041d4f16f640df8f03ab8f51a0f7b21f66954292de9116cfb797dc6bb5835f06cbbcc58c74aeced3d30243388969aaed225
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records

Jonsson, Peter

Search in DiVA

By author/editor
Jonsson, Peter
By organisation
Software and SystemsFaculty of Science & Engineering
In the same journal
The journal of artificial intelligence research
Discrete Mathematics

Search outside of DiVA

GoogleGoogle Scholar
Total: 83 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 113 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf