The Complexity of Planning Revisited A Parameterized Analysis

advertisement
“poster” — 2012/7/18 — 14:14 — page 1 — #1
AAAI 2012, Toronto, Canada
The Complexity of Planning Revisited
A Parameterized Analysis
Christer Bäckström1, Yue Chen2, Peter Jonsson1, Sebastian Ordyniak2 and Stefan Szeider2
B OUNDED SAS+ P LANNING
Our Approach
+
Problem: Given an SAS instance P and a positive integer l find a plan of
length at most l (if such a plan exists).
Goal: Obtain a more fine grained Complexity Landscape for B OUNDED
+
SAS P LANNING by studying the parameterized complexity of B OUNDED
SAS+ P LANNING with respect to the length of the plan.
Syntactical Restrictions
Method: We revisit B OUNDED SAS+ P LANNING in the context of
Parameterized Complexity Theory. Using the length of a plan as a
parameter, we obtain a detailed map of the parameterized complexity of
B OUNDED SAS+ P LANNING. We complement the analysis by applying
the same syntactical restrictions as in the classical setting.
To identify tractable sub problems for B OUNDED SAS+ P LANNING several
syntactical restrictions have been introduced by Backstrom and Klein (CI
+
1991). A B OUNDED SAS P LANNING instance is:
(P) POST-UNIQUE if no two actions change the same variable to the
same value;
(U) UNARY if each action changes exactly one variable;
(B) BINARY if every variable has exactly 2 values;
(S) SINGLE-VALUED if every two actions that depend on the same
variable (but do not change that variable) require the same value
from that variable.
Our Results
Combined Classical and Parameterized Complexity Landscape with
respect to the restrictions P, U,B, S:
P SPACE-C
Additionally, restrictions on the number of preconditions and effects have
been studied by Bylander (AI 1994).
W[2]-C
Parameterized Complexity Theory
P
U
S
B
PS
PB
US
UB
PUS
PUB
PBS
UBS
Aim: Parameterized complexity theory provides a more fine-grained
analysis of the complexity of problems than classical complexity theory.
Method: Whereas in classical complexity the complexity of a problem is
merely measured relative to its input size, parameterized complexity
takes into account any number of additional parameters. This allows to
identify the crucial parts of a problem, i.e., the parts that make it
intractable.
PU
NP-H
in P
Parameterized Complexity Classes:
FPT: A parameterized problem is
fixed-parameter tractable (or FPT) if
it can be solved by an algorithm
whose running time depends
arbitrarily on the parameter but only
polynomially on the input size
(O(f (k) + p(n))).
FPT is considered to be the
parameterized analogue of P.
W[1]–W[P]: W[?]-complete problems
are unlikely to be fixed-parameter
tractable but there is a non-uniform
polynomial time algorithm for these
k
problems (O(n )).
The W[?] classes are considered to
be the parameterized analogue of
NP.
W[1]-C
PUBS
W[P]
W[2]
W[1]
FPT
References
I
C. Bäckström, I. Klein, Planning in polynomial time: the SAS-PUBS class (CI 1991).
I
T. Bylander, The computational complexity of propositional strips planning (AI 1994).
I
C. Bäckström, B. Nebel, Complexity results for SAS+ planning (CI 1995).
1
BS
in FPT
Combined Classical and Parameterized Complexity Landscape with
respect to restrictions on the number of preconditions (mp) and the
number of effects (me):
fix me > 1 arb. me
mp = 0 in P
in W[1]
W[2]-C
in P
NP-C
NP-C
mp = 1 W[1]-C
W[1]-C
W[2]-C
NP-H
NP-H
P SPACE-C
fix mp > 1 W[1]-C
W[1]-C
W[2]-C
NP-H
P SPACE P SPACE
arb. mp
W[1]-C
W[1]-C
W[2]-C
P SPACE-C P SPACE-C P SPACE-C
Linköping University.
2
Vienna University of Technology. Research supported by the European Research Council (COMPLEX REASON, 239962).
me = 1
Download