AAAI Publications, Thirty-First AAAI Conference on Artificial Intelligence

Font Size: 
Plan Reordering and Parallel Execution — A Parameterized Complexity View
Meysam Aghighi, Christer Bäckström

Last modified: 2017-02-12

Abstract


Bäckström has previously studied a number of optimization problems for partial-order plans, like finding a minimum deordering (MCD) or reordering (MCR), and finding the minimum parallel execution length (PPL), which are all NP-complete. We revisit these problems, but applying parameterized complexity analysis rather than standard complexity analysis. We consider various parameters, including both the original and desired size of the plan order, as well as its width and height. Our findings include that MCD and MCR are W[2]-hard and in W[P] when parameterized with the desired order size, and MCD is fixed-parameter tractable (fpt) when parameterized with the original order size. Problem PPL is fpt if parameterized with the size of the non-concurrency relation, but para-NP-hard in most other cases. We also consider this problem when the number (k) of agents, or processors, is restricted, finding that this number is a crucial parameter; this problem is fixed-parameter tractable with the order size, the parallel execution length and k as parameter, but para-NP-hard without k as parameter.

Keywords


Partially ordered plan; Parameterized complexity; Complexity of planning; Plan reordering; Parallel plan execution

Full Text: PDF