Matches in SemOpenAlex for { <https://semopenalex.org/work/W2577387029> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2577387029 endingPage "724" @default.
- W2577387029 startingPage "716" @default.
- W2577387029 abstract "There is an extensive literature on the complexity of planning, but explicit bounds on time and space complexity are very rare. On the other hand, problems like the constraint satisfaction problem have been thoroughly analysed in this respect. We provide a number of upper and lower bound results for both plan satisfiability (PSAT) and length-optimal planning (LOP), with an emphasis on monotone planning (where actions have only positive effects) which is used in, for instance, h(+) and similar heuristics. Let v and a be the number of variables and actions, respectively. We consider both restrictions on the number and polarity of preconditions and effects of actions and the PUBS restrictions in SAS(+). For all such classes, we show that PSAT and LOP is either tractable or cannot be solved in subexponential time 2(o(v)) or time 2(o(a)), unless the so-called Exponential Time Hypothesis (ETH) is false. There is also a sharp transition: monotone LOP can be solved in time 2(o(v)) if a is an element of o(v/log v) but not if a is an element of Omega(v). We also study upper bounds and discuss the trade-off between time and space, providing a polynomial-space algorithm for monotone LOP that beats depth-first search in most cases. This raises the important question how lower bounds are affected by polynomial space restrictions." @default.
- W2577387029 created "2017-01-26" @default.
- W2577387029 creator A5076149336 @default.
- W2577387029 creator A5088263183 @default.
- W2577387029 date "2016-01-01" @default.
- W2577387029 modified "2023-09-26" @default.
- W2577387029 title "Upper and Lower Time and Space Bounds for Planning" @default.
- W2577387029 doi "https://doi.org/10.3233/978-1-61499-672-9-716" @default.
- W2577387029 hasPublicationYear "2016" @default.
- W2577387029 type Work @default.
- W2577387029 sameAs 2577387029 @default.
- W2577387029 citedByCount "1" @default.
- W2577387029 countsByYear W25773870292017 @default.
- W2577387029 crossrefType "proceedings-article" @default.
- W2577387029 hasAuthorship W2577387029A5076149336 @default.
- W2577387029 hasAuthorship W2577387029A5088263183 @default.
- W2577387029 hasConcept C105795698 @default.
- W2577387029 hasConcept C111919701 @default.
- W2577387029 hasConcept C11413529 @default.
- W2577387029 hasConcept C114614502 @default.
- W2577387029 hasConcept C118615104 @default.
- W2577387029 hasConcept C126255220 @default.
- W2577387029 hasConcept C127705205 @default.
- W2577387029 hasConcept C134306372 @default.
- W2577387029 hasConcept C168773769 @default.
- W2577387029 hasConcept C17744445 @default.
- W2577387029 hasConcept C179799912 @default.
- W2577387029 hasConcept C197685441 @default.
- W2577387029 hasConcept C199539241 @default.
- W2577387029 hasConcept C199622910 @default.
- W2577387029 hasConcept C200288055 @default.
- W2577387029 hasConcept C2524010 @default.
- W2577387029 hasConcept C2776036281 @default.
- W2577387029 hasConcept C2778572836 @default.
- W2577387029 hasConcept C2834757 @default.
- W2577387029 hasConcept C311688 @default.
- W2577387029 hasConcept C33923547 @default.
- W2577387029 hasConcept C41008148 @default.
- W2577387029 hasConcept C49937458 @default.
- W2577387029 hasConcept C71017364 @default.
- W2577387029 hasConcept C77553402 @default.
- W2577387029 hasConceptScore W2577387029C105795698 @default.
- W2577387029 hasConceptScore W2577387029C111919701 @default.
- W2577387029 hasConceptScore W2577387029C11413529 @default.
- W2577387029 hasConceptScore W2577387029C114614502 @default.
- W2577387029 hasConceptScore W2577387029C118615104 @default.
- W2577387029 hasConceptScore W2577387029C126255220 @default.
- W2577387029 hasConceptScore W2577387029C127705205 @default.
- W2577387029 hasConceptScore W2577387029C134306372 @default.
- W2577387029 hasConceptScore W2577387029C168773769 @default.
- W2577387029 hasConceptScore W2577387029C17744445 @default.
- W2577387029 hasConceptScore W2577387029C179799912 @default.
- W2577387029 hasConceptScore W2577387029C197685441 @default.
- W2577387029 hasConceptScore W2577387029C199539241 @default.
- W2577387029 hasConceptScore W2577387029C199622910 @default.
- W2577387029 hasConceptScore W2577387029C200288055 @default.
- W2577387029 hasConceptScore W2577387029C2524010 @default.
- W2577387029 hasConceptScore W2577387029C2776036281 @default.
- W2577387029 hasConceptScore W2577387029C2778572836 @default.
- W2577387029 hasConceptScore W2577387029C2834757 @default.
- W2577387029 hasConceptScore W2577387029C311688 @default.
- W2577387029 hasConceptScore W2577387029C33923547 @default.
- W2577387029 hasConceptScore W2577387029C41008148 @default.
- W2577387029 hasConceptScore W2577387029C49937458 @default.
- W2577387029 hasConceptScore W2577387029C71017364 @default.
- W2577387029 hasConceptScore W2577387029C77553402 @default.
- W2577387029 hasLocation W25773870291 @default.
- W2577387029 hasOpenAccess W2577387029 @default.
- W2577387029 hasPrimaryLocation W25773870291 @default.
- W2577387029 hasRelatedWork W1519384730 @default.
- W2577387029 hasRelatedWork W2029080607 @default.
- W2577387029 hasRelatedWork W2029502307 @default.
- W2577387029 hasRelatedWork W2055706406 @default.
- W2577387029 hasRelatedWork W2132552936 @default.
- W2577387029 hasRelatedWork W2132958733 @default.
- W2577387029 hasRelatedWork W2147229148 @default.
- W2577387029 hasRelatedWork W2313786188 @default.
- W2577387029 hasRelatedWork W2395986200 @default.
- W2577387029 hasRelatedWork W2568676844 @default.
- W2577387029 hasRelatedWork W2592527085 @default.
- W2577387029 hasRelatedWork W2618304594 @default.
- W2577387029 hasRelatedWork W2782739645 @default.
- W2577387029 hasRelatedWork W2808662678 @default.
- W2577387029 hasRelatedWork W2949948555 @default.
- W2577387029 hasRelatedWork W2950290816 @default.
- W2577387029 hasRelatedWork W2951895925 @default.
- W2577387029 hasRelatedWork W3021572079 @default.
- W2577387029 hasRelatedWork W3102868732 @default.
- W2577387029 hasRelatedWork W3135784370 @default.
- W2577387029 hasVolume "285" @default.
- W2577387029 isParatext "false" @default.
- W2577387029 isRetracted "false" @default.
- W2577387029 magId "2577387029" @default.
- W2577387029 workType "article" @default.