solving delete-relaxed planning tasks by using cut...
TRANSCRIPT
![Page 1: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/1.jpg)
Solving Delete-Relaxed
Planning Tasks by Using Cut SetsBACHELOR THESIS PRESENTATION
BY MARVIN BUFF
![Page 2: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/2.jpg)
Overview
Classical Planning
What is the Problem?
The Flow-Cut Algorithm
Experiments /Results
Conclusion
![Page 3: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/3.jpg)
Classical Planning
City
B
City
D
City
C
City
E
City
F
Island Problem
City
A
Island 1
Island 2
Island 3
City
G
![Page 4: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/4.jpg)
Classical Planning
Fact B
Fact D
Fact C
Fact E
Fact F
Fact A
Causal Graph
GFact
![Page 5: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/5.jpg)
What is the Problem?
Exponential Growth!
City
A
City
B
Island Problem – 10 Cities
City
…
City
J➢ ~3 mio expanded states
City
K➢ ~40 mio expanded states
City
L➢ ~500 mio expanded states
![Page 6: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/6.jpg)
Flow-Cut Algorithm
The Idea
O(2𝑛)
Island Problem
Island Problem 1
Island Problem 2
O(2𝑛/2)
O(2𝑛/2)
SplittingSplit Problem
O(2 ∗ 2𝑛/2)
![Page 7: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/7.jpg)
Flow-Cut Algorithm
Given Problem
City
B
City
D
City
C
City
E
City
F
City
A
Island 1
Island 2
Island 3
City
G
![Page 8: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/8.jpg)
Flow-Cut Algorithm
Derive Causal Graph
Fact B
Fact D
Fact C
Fact E
Fact F
Fact A
Fact G
![Page 9: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/9.jpg)
Flow-Cut Algorithm
Determine SCC’s
Fact B
Fact D
Fact C
Fact E
Fact F
Fact A
Fact G
![Page 10: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/10.jpg)
Flow-Cut Algorithm
Simplify
Fact B
Fact D
Fact C
Fact E
Fact F
Fact A
Fact G
Fact X
![Page 11: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/11.jpg)
Flow-Cut Algorithm
Initial Cut
Fact B
Fact D
Fact C
Fact E
Fact F
Fact A
Fact G
Left SCC Middle SCCs Right SCC= Initial Cut
Fact D
Fact E
Fact F
![Page 12: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/12.jpg)
Flow-Cut Algorithm
Minimize Cut
Fact B
Fact D
Fact C
Fact E
Fact F
Fact A
Fact G
Fact D
Fact E
Fact F
![Page 13: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/13.jpg)
Flow-Cut Algorithm
Create Sub-Problems
Fact B
Fact D
Fact C
Fact E
Fact F
Fact A
Fact G
Fact D
Left ProblemRight Problem
Fact H
![Page 14: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/14.jpg)
Flow-Cut Algorithm
Create Sub-Problems
Left Problem 1 Cut = {} Right Problem 1
![Page 15: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/15.jpg)
Flow-Cut Algorithm
Create Sub-Problems
Left Problem 2 Cut = {D} Right Problem 2
Solution = 3 + 2
![Page 16: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/16.jpg)
Flow-Cut Algorithm
Create Sub-Problems
Left Problem 3 Cut = {H} Right Problem 3
Solution = 3 + 2
![Page 17: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/17.jpg)
Flow-Cut Algorithm
Create Sub-Problems
Left Problem 4 Cut = {D,H} Right Problem 4
Solution = 4 + 2
![Page 18: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/18.jpg)
Experiments
Setup
Implemented in C++
Tested on IPC Benchmark
Run over 60 minutes per problem
Results
Type A: Solvable
Type B: Big Cut
Type C: No Cut
![Page 19: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/19.jpg)
Experiments
Type A: Solvable
Suitable Domains
miconic
pathways
satellite
40% 40%
Cut RightLeft
20%
![Page 20: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/20.jpg)
Experiments
Type A: Solvable
Unbalanced Domains
Mystery
Rovers
trucks-strips
50%
Cut RightLeft
49%1%
![Page 21: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/21.jpg)
Experiments
Type B: Big Cut
Domains with Big Cut
childsnack
no-mystery
parcprinter
tidybot
40% 40%
Cut > 20 RightLeft
20%
![Page 22: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/22.jpg)
Experiments
Type B: Big Cut
Domains with Big Cut
childsnack
no-mystery
parcprinter
tidybot
Cut = 1 SCC RightLeft
98%1% 1%
![Page 23: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/23.jpg)
Experiments
Type B: Big Cut
Domains with Big Cut
childsnack
no-mystery
parcprinter
tidybot
Cut = x SCCs RightLeft
98%1% 1%
![Page 24: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/24.jpg)
Experiments
Type C: No Cut
Single SCCsOnly One SCCs No Middle SCC’s
Single Single Left RightSingle
![Page 25: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/25.jpg)
Conclusion
What did we do?
Algorithm to compute ℎ+
What could be done different?
No SCCs
Undirected Structure
Multiple Left- /Right-Parts
![Page 26: Solving Delete-Relaxed Planning Tasks by Using Cut Setsai.cs.unibas.ch/papers/theses/buff-bachelor-17-slides.pdf · Solving Delete-Relaxed Planning Tasks by Using Cut Sets ... B City](https://reader035.vdocuments.mx/reader035/viewer/2022062413/5a6fa86a7f8b9aa7538b4b73/html5/thumbnails/26.jpg)
Questions?