Causal graphs and structurally restricted planning

  • Authors:

  • Hubie Chen;Omer Giménez

  • Affiliations:

  • Dept. de Tecnologies de la Informació i les Comunicacions, Universitat Pompeu Fabra, Passeig de Circumval·lació, 8, 08003 Barcelona, Spain;Dept. de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Jordi Girona, 1-3, 08034 Barcelona, Spain

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

The causal graph is a directed graph that describes the variable dependencies present in a planning instance. A number of papers have studied the causal graph in both practical and theoretical settings. In this work, we systematically study the complexity of planning restricted by the causal graph. In particular, any set of causal graphs gives rise to a subcase of the planning problem. We give a complete classification theorem on causal graphs, showing that a set of graphs is either polynomial-time tractable, or is not polynomial-time tractable unless an established complexity-theoretic assumption fails; our theorem describes which graph sets correspond to each of the two cases. We also give a classification theorem for the case of reversible planning, and discuss the general direction of structurally restricted planning.