liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A complete parameterized complexity analysis of bounded planning
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
Masaryk University, Czech Republic.
Vienna University of Technology, Austria.
2015 (Engelska)Ingår i: Journal of computer and system sciences (Print), ISSN 0022-0000, E-ISSN 1090-2724, Vol. 81, nr 7, s. 1311-1332Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

The propositional planning problem is a notoriously difficult computational problem, which remains hard even under strong syntactical and structural restrictions. Given its difficulty it becomes natural to study planning in the context of parameterized complexity. In this paper we continue the work initiated by Downey, Fellows and Stege on the parameterized complexity of planning with respect to the parameter "length of the solution plan." We provide a complete classification of the parameterized complexity of the planning problem under two of the most prominent syntactical restrictions, i.e., the so called PUBS restrictions introduced by Backstrom and Nebel and restrictions on the number of preconditions and effects as introduced by Bylander. We also determine which of the considered fixed-parameter tractable problems admit a polynomial kernel and which do not. (C) 2015 Elsevier Inc. All rights reserved.

Ort, förlag, år, upplaga, sidor
Elsevier , 2015. Vol. 81, nr 7, s. 1311-1332
Nyckelord [en]
Complexity of automated planning; Parameterized complexity; Kernelization
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:liu:diva-120202DOI: 10.1016/j.jcss.2015.04.002ISI: 000356644600014OAI: oai:DiVA.org:liu-120202DiVA, id: diva2:842703
Anmärkning

Funding Agencies|European Research Council [239962]; Employment of Newly Graduated Doctors of Science for Scientific Excellence [CZ.1.07/2.3.00/30.0009]; Austrian Science Fund [P 26200]

Tillgänglig från: 2015-07-21 Skapad: 2015-07-20 Senast uppdaterad: 2018-01-11

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Person

Bäckström, ChristerJonsson, Peter

Sök vidare i DiVA

Av författaren/redaktören
Bäckström, ChristerJonsson, Peter
Av organisationen
Programvara och systemTekniska fakulteten
I samma tidskrift
Journal of computer and system sciences (Print)
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 150 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf