Presentation is loading. Please wait.

Presentation is loading. Please wait.

Tractable Class of a Problem of Finding Supports Pavel Surynek Roman Barták Charles University, Prague Czech Republic.

Similar presentations


Presentation on theme: "Tractable Class of a Problem of Finding Supports Pavel Surynek Roman Barták Charles University, Prague Czech Republic."— Presentation transcript:

1 Tractable Class of a Problem of Finding Supports Pavel Surynek Roman Barták Charles University, Prague Czech Republic

2 Problem of finding supports Problem: select a set of non-mutex (non- conflicting) actions supporting a goal Problem: select a set of non-mutex (non- conflicting) actions supporting a goal Must be solved many times within GraphPlan Must be solved many times within GraphPlan CP Doctoral Consortium 2007Pavel Surynek, Roman Barták supports load(box_2, transporter_C) load(box_3, transporter_C) supports load(box_1, transporter_B) load(box_2, transporter_B) load(box_1, transporter_A) load(box_2, transporter_A) load(box_3, transporter_A) free-capacity(transporter_B)=0 free-capacity(transporter_C)=0 free-capacity(transporter_A)=0

3 Mutex graph - clique cover CP Doctoral Consortium A B 4 5 X Y Z Pavel Surynek, Roman Barták

4 Clique counting arguments CP Doctoral Consortium 2007 Clique decomposition C 1, C 2,..., C k Clique decomposition C 1, C 2,..., C k Contribution of an action a Contribution of an action a c(a) = number of supported atoms Contribution of a clique C Contribution of a clique C c(C) = max a  C c(a) Counting argument (simplest form) Counting argument (simplest form) if ∑ i=1...k c(C i ) < size of the goal ►►► ►►► the goal is unsatisfiable Pavel Surynek, Roman Barták

5 Tractable class (diagram of supported atoms) CP Doctoral Consortium 2007Pavel Surynek, Roman Barták Atoms in positive effects C1C1 C3C3 C4C4 C 5 C6C6 C7C7 C8C8 C3C3 C4C4 C 10 C 11 C9C9 Action cliques C2C2 C5C5 C 12

6 Tractable class (clique intersection graph) CP Doctoral Consortium 2007Pavel Surynek, Roman Barták C1C1 C3C3 C6C6 C5C5 C7C7 C4C4 C2C2 C 12 C8C8 C 10 C 11 C9C9

7 Difficult (artificial) problems CP Doctoral Consortium 2007Pavel Surynek, Roman Barták Encodes Dirichlet’s box principle (pigeon holes) Encodes Dirichlet’s box principle (pigeon holes) Difficult for today’s state-of-the-art planners Difficult for today’s state-of-the-art planners Three types of problems Three types of problems –standard pigeon holes (unsolvable) –pigeon holes as bottleneck (solvable) –pigeon holes as two stage bottleneck (unsolvable)

8 Experiments CP Doctoral Consortium 2007Pavel Surynek, Roman Barták Instance Our planner (seconds) Speedup ratio w.r.t SGPlan 5.1 Speedup ratio w.r.t IPP 4.1 Speedup ratio w.r.t MaxPlan Speedup ratio w.r.t SATPlan Speedup ratio w.r.t CPT Speedup ratio w.r.t LPG-td ujam-02_ N/A 1.00N/A ujam-03_ N/A N/A 9.25 ujam-04_ N/A N/A 1.76 ujam-05_ N/A N/A 0.37 ujam-06_ N/A> 3.37 N/A > 3.37 jam-06_ N/A N/A jam-07_ N/A> > N/A jam-08_ N/A> > N/A jam-09_ N/A> > 68.42N/A jam-10_ N/A> N/A holes-06_ N/A N/A holes-07_ N/A3.44> N/A holes-08_ N/A28.09> N/A holes-09_ N/A276.25> N/A > holes-10_ N/A> N/A >

9 Conclusions CP Doctoral Consortium 2007Pavel Surynek, Roman Barták Acyclic clique intersection graph Acyclic clique intersection graph –problem of supports solvable using counting arguments (in polynomial time) Successful on difficult planning problems Successful on difficult planning problems –difficult for today’s state-of-the-art planners (however, problems are artificial) Significant improvements of time to find a solution Significant improvements of time to find a solution


Download ppt "Tractable Class of a Problem of Finding Supports Pavel Surynek Roman Barták Charles University, Prague Czech Republic."

Similar presentations


Ads by Google