PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019...
Transcript of PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019...
![Page 1: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/1.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
PACE 2019:The 4th Iteration
IPEC 2019, TU Munich, Germany
1
Johannes K. Fichte, TU DresdenMarkus Hecher, TU Wien & Univ. of Potsdam
![Page 2: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/2.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
History & Mission of PACEBart M.P. Jansen
2
![Page 3: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/3.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
History● Conceived in fall 2015
parameterized algorithmics should have a greater impact on practice● First iteration: 2015/16
○ Track A: Treewidth○ Track B: Feedback Vertex Set
● Second iteration: 2016/17○ Track A: Treewidth○ Track B: Minimum Fill-In
● Third iteration: 2017/18○ Track 1: Steiner tree exact with few terminals○ Track 2: Steiner tree exact with low treewidth○ Track 3: Steiner tree heuristic
● Currently: Fourth iteration3
![Page 4: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/4.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
MissionInvestigate applicability of algorithmic ideas
from parameterized complexity
1. Bridge gap between theory and practice2. Inspire new theoretical developments3. Investigate theoretical algorithms in practice4. Produce accessible implementations & benchmarks5. Encourage dissemination in scientific papers
4
![Page 5: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/5.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
5
![Page 6: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/6.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
6
![Page 7: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/7.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
7
![Page 8: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/8.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
8
![Page 9: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/9.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
9
![Page 10: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/10.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
10
![Page 11: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/11.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
11
![Page 12: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/12.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
12
![Page 13: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/13.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
13
![Page 14: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/14.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
14
![Page 15: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/15.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Outcome● Previous iterations inspired long list of follow-up works● Follow-up Applications and Frameworks● Increased awareness of Parameterized Complexity
○ SAT community was particularly interested (this year)
● Usage of Benchmark instances○ Almost 12,000 publicly available, citable instances published (this year)
● Scientific Papers
15
![Page 16: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/16.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
PACE 2019
16
![Page 17: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/17.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Program and Steering Committee
17
● Program Committee
Johannes K. Fichte TU DresdenMarkus Hecher TU Wien, University of Potsdam
Intern:Muhammad A. Dzulfikar University of Indonesia @TU Dresden
● Steering Committee
Édouard Bonnet Middlesex UniversityHolger Dell IT University of CopenhagenBart M. P. Jansen Eindhoven University of TechnologyThore Husfeldt IT University of Copenhagen and Lund UniversityPetteri Kaski Aalto UniversityChristian Komusiewicz Philipps-Universität MarburgFrances A. Rosamond University of BergenFlorian Sikora LAMSADE, Université Paris Dauphine
![Page 18: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/18.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
● … for computing resources
We would like to thank our Sponsors...
18
● … for prizes
![Page 19: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/19.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Thanks go to
19
● All the participants of PACE!
● Intern Muhammad A. Dzulfikar from the University of Indonesia○ Performing instance selection○ Support for validating results○ ….
● Jan Badura at optil.io, who quickly implemented our requests○ Using results of several runs for the final results○ Customizing our judges for optil.io○ …
![Page 20: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/20.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Tracks of PACE 2019
20
![Page 21: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/21.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Track 1: Vertex Cover● Among the famous 21 first NP-complete problems by Karp● One of the famous, if not the most famous, graph problems● Great tradition in parameterized complexity
○ Well studied problem variants○ Different parameters○ Kernelizations○ Applications○ ...
u
● Track 1a: Compute a Minimum Vertex Cover (Exact)
21
![Page 22: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/22.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Instance Selection for Vertex Cover● 9,591 instances among 8 different origins
○ PACE 2016○ TransitGraphs, Road-graphs○ SNAP○ frb○ ASP Horn backdoors, SAT Horn backdoors○ SAT2VC
● Classification by “Difficulty” (via Gurobi, numVC, Glucose) in intervals →
22
![Page 23: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/23.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Track 2: Hypertree Decompositions● Motivation: Success of PACE 2016 & 2017 (Treewidth)● Applications for (Hyper-)tree Decompositions
○ Databases○ Constraint Programming
● Track 2a (EXACT): Compute a hypertree decomposition of minimum width
● Track 2b (HEUR): Heuristically compute a hypertree decomposition of small width (HEUR)
23
![Page 24: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/24.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Hypertree Decompositions
● Given: Hypergraph H (higher arity edges)
● A Hypertree Decomposition D of H is, roughly speaking,○ A Tree Decomposition of H○ + a bag covering function (edge cover) over hyperedges○ + a certain monotonicity property (Descendent Condition) for the edge cover
● width(D) is size of the largest edge cover● htw(H) smallest width over all Hypertree Decompositions of H
24
![Page 25: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/25.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Instance Selection for Hypertree Decompositions● 2,191 instances from hyperbench, originating from the area of CSP
○ DaimlerChrysler○ Grid2D○ MaxSAT, csp_application, csp_random, csp_other○ CQ
● Classification of “Difficulty” by means of ○ htdecomp, kdetdecomp○ Frasmt using the more generalized (fractional / generalized) hypertree decompositions
25
hyperbench.dbai.tuwien.ac.at
![Page 26: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/26.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
PACE 2019: Submission Requirements
26
![Page 27: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/27.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Submission Requirements
27
1. Solvers + Dependencies have to be open source2. Source code of solver is maintained on public repository
+ long term data library3. A dedicated solver description is required4. Solvers for Tracks 1a and 2a are provably optimal
1. Submission on optil.io2. 30 minutes per instance3. 8 GB RAM per instance
Submission Limits
![Page 28: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/28.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Participants of PACE 2019
28
![Page 29: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/29.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Participants
29
● 18 teams and 33 participants from 10 countries
![Page 30: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/30.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of PACE 2019
30
![Page 31: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/31.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 1: Vertex Cover● Track 1a: Minimum Vertex Cover
31
![Page 32: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/32.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 1: Vertex Cover● Track 1a: Minimum Vertex Cover
32
![Page 33: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/33.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 33
![Page 34: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/34.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 1: Vertex Cover● Track 1a: Minimum Vertex Cover
34
![Page 35: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/35.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 35
225 €
![Page 36: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/36.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 1: Vertex Cover● Track 1a: Minimum Vertex Cover
36
![Page 37: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/37.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 37
250 €
![Page 38: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/38.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 1: Vertex Cover● Track 1a: Minimum Vertex Cover
38
![Page 39: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/39.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 39
275 €
![Page 40: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/40.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 1: Vertex Cover● Track 1a: Minimum Vertex Cover
40
![Page 41: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/41.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 41
300 €
![Page 42: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/42.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 1: Vertex Cover● Track 1a: Minimum Vertex Cover
42
![Page 43: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/43.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 43
450 €
![Page 44: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/44.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 1: Vertex Cover● Track 1a: Minimum Vertex Cover
44
![Page 45: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/45.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 45
450 €
![Page 46: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/46.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 1: Vertex Cover● Track 1a: Minimum Vertex Cover
47
![Page 47: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/47.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 48
750 €
![Page 48: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/48.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 1: Vertex Cover● Track 1a: Minimum Vertex Cover
49
![Page 49: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/49.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 2: Hypertree Decompositions
50
![Page 50: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/50.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 2: Hypertree Decompositions● Track 2a: MinHypertreeWidth
51
![Page 51: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/51.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 52
![Page 52: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/52.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 2: Hypertree Decompositions● Track 2a: MinHypertreeWidth
54
![Page 53: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/53.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 55
225 €
![Page 54: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/54.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 2: Hypertree Decompositions● Track 2a: MinHypertreeWidth
56
![Page 55: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/55.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 57
350 €
![Page 56: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/56.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 2: Hypertree Decompositions● Track 2a: MinHypertreeWidth
● Track 2b: HeurHypertreeWidth
58
![Page 57: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/57.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 59
150 €
![Page 58: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/58.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 2: Hypertree Decompositions● Track 2a: MinHypertreeWidth
● Track 2b: HeurHypertreeWidth
60
![Page 59: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/59.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 61
225 €
![Page 60: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/60.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Results of Track 2: Hypertree Decompositions● Track 2a: MinHypertreeWidth
● Track 2b: HeurHypertreeWidth
62
![Page 61: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/61.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 63
350 €
![Page 62: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/62.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Conclusion & Future of PACE
65
![Page 63: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/63.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Lessons Learned● Solver description and public library essential
○ Maybe set solver description (abstract) deadline even at the beginning
● Selecting instances of moderate difficulty (vertex cover)○ Possible, but not easy○ Requires to collect numerous instances
● Problems and instances should be ready by the end of September○ Some students lost attention due to late problem announcement
● Cluster resources essential○ optil.io troubles during final submission phase○ optil.io runtime difference was in some cases up to 7 minutes between same instance + solver
● Score hard to comprehend for submitters○ limitation of optil.io: normalized scoreboard 0..1 depending
on performance of individual solver and instance66
![Page 64: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/64.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
Future Editions● Next years PACE Deadline will be later● Process of selecting new PCs ongoing
Problems?
● Subscribe to the newsletterand stay tuned!
pacechallenge.org
Hope we see you at PACE 2020.67
![Page 65: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/65.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
The Winning Team of Track 1a (Vertex Cover)
68
![Page 66: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/66.jpg)
WeGotYouCovered
IPEC’19 · September 11, 2019Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash
KIT – University of the State of Baden-Wuerttemberg andNational Laboratory of the Helmholtz Association
INSTITUTE OF THEORETICAL INFORMATICS · ALGORITHMICS GROUP
www.kit.edu
The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track
![Page 67: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/67.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Vertex Cover and Complementary Problems
Input graph
Vertex cover Independent Set Clique
1
![Page 68: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/68.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Techniques
Kernelization
Iterated Local Search
Branch-and-Bound
Branch-and-Reduce
· · ·3
7
Branch
ReduceBacktrack
Reduce
(1,2)-Swap
2
![Page 69: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/69.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Kernelization [AI2016]
Reduce
Solver
Expand
Technique from FPT algorithmsApplies rich set of reduction rulesSignificantly reduces graph size
3
![Page 70: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/70.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Iterated Local Search [ARW2012]
(1,2)-Swap
Originally developed for independent sets
Can often find (near-)optimal solutions
Perturbation to escape local optima
4
![Page 71: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/71.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Branch and Reduce [AI2016]
Reduce graph after each branch
Additional branching rules to reduce graph size
Prune search based on lower bounds
Branch
ReduceBacktrack
5
![Page 72: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/72.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Branch and Bound [LJM2017]
· · ·3
7
Originally developed for maximum cliques
Incremental MaxSAT reasoning to prune search
Combination of static and dynamic vertex ordering
6
![Page 73: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/73.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Algorithm Overview
1.
Input Graph
Kernel
Branch-and-Reduceshort burst short burst
Branch-and-Reducelong run
Kernelization
2. Initial Solution
Branch-and-Boundlong run
Branch-and-Bound
6. 3. 4. 5.
Iterated Local Search
7
![Page 74: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/74.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Algorithm Overview
1.
Input Graph
Kernel
Branch-and-Reduceshort burst short burst
Branch-and-Reducelong run
Kernelization
2. Initial Solution
Branch-and-Boundlong run
Branch-and-Bound
6. 3. 4. 5.
Iterated Local Search
7
![Page 75: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/75.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Algorithm Overview
1.
Input Graph
Kernel
Branch-and-Reduceshort burst short burst
Branch-and-Reducelong run
Kernelization
2. Initial Solution
Branch-and-Boundlong run
Branch-and-Bound
6. 3. 4. 5.
Iterated Local Search
7
![Page 76: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/76.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Algorithm Overview
1.
Input Graph
Kernel
Branch-and-Reduceshort burst short burst
Branch-and-Reducelong run
Kernelization
2. Initial Solution
Branch-and-Boundlong run
Branch-and-Bound
6. 3. 4. 5.
Iterated Local Search
7
![Page 77: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/77.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Algorithm Overview
1.
Input Graph
Kernel
Branch-and-Reduceshort burst short burst
Branch-and-Reducelong run
Kernelization
2. Initial Solution
Branch-and-Boundlong run
Branch-and-Bound
6. 3. 4. 5.
Iterated Local Search
7
![Page 78: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/78.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Algorithm Overview
1.
Input Graph
Kernel
Branch-and-Reduceshort burst short burst
Branch-and-Reducelong run
Kernelization
2. Initial Solution
Branch-and-Boundlong run
Branch-and-Bound
6. 3. 4. 5.
Iterated Local Search
7
![Page 79: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/79.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
Instances Solved Over Time
1 10 100 1000Time t (s)
0
40
80
120
160
200
Inst
ance
sso
lved
BnBKern. + BnB
ILS + BnRBnR
WeGotYouCovered
8
![Page 80: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/80.jpg)
Demian Hespe, Sebastian Lamm, Christian Schulz, Darren Strash – WeGotYouCovered Institute of Theoretical InformaticsAlgorithmics Group
References
Akiba, Takuya, and Yoichi Iwata. “Branch-and-reduce exponential/FPTalgorithms in practice: A case study of vertex cover.” TheoreticalComputer Science 609 (2016): 211-225.
Li, Chu-Min, Hua Jiang, and Felip Manya. “On minimization of thenumber of branches in branch-and-bound algorithms for the maximumclique problem.” Computers & Operations Research 84 (2017): 1-15.
Andrade, Diogo V., Mauricio G. C. Resende, and Renato F. Werneck.“Fast local search for the maximum independent set problem.” Journalof Heuristics 18.4 (2012): 525-547.
Hespe, Demian, Sebastian Lamm, Christian Schulz and Darren Strash“WeGotYouCovered: The Winning Solver from the PACE 2019Implementation Challenge, Vertex Cover Track.” arXiv preprintarXiv:1908.06795 (2019).
9
![Page 81: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/81.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019 69
![Page 82: PACE 2019: The 4th Iteration - PACE challenge · The Winning Solver from the PACE 2019 Implementation Challenge, Vertex Cover Track Demian Hespe, Sebastian Lamm, Christian Schulz,](https://reader034.fdocuments.us/reader034/viewer/2022050714/5f09aafe7e708231d427f084/html5/thumbnails/82.jpg)
Johannes K. Fichte & Markus Hecher: PACE 2019
See you outside at the
70
Thanks again for participating
Poster Session & PACE2020