1. Turing Kernelization for Finding Long Paths and Cycles in Restricted Graph Classes Bart M. P. Jansen September 8th, ESA 2014, Wrocław

2. Finding long paths and cycles 2

3. YearAuthors 1985Monien 1993Bodlaender 1995Alon et al. 1995Alon et al. 2006Kneis et al. 2007Chen et al. 2007Chen et al. 2008Koutis 2009Williams 2010Björklund et al. 2013Fomin et et al. 3

4. Preprocessing for path and cycle problems 4

5. Relaxed notions of preprocessing 5

6. Turing kernelization 6

7. Our results 7 The difficult part of finding long paths and cycles in these graph classes can be confined to small subtasks

8. Adaptivity The kernel crucially exploits the possibility of an adaptive interaction with the oracle –The next queries depend on previous answers –Compare to the non-adaptive list of small output instances Rare phenomenon; only other adaptive Turing kernelization is due to Thomassé et al. [WG 2014] 8

9. 9

10. 10

11. 11

12. 12

13. Decompose-Query-Reduce 13

14. Circumference of triconnected graphs 14

15. Decomposition into triconnected components 15 Every graph can be decomposed into triconnected components [Tutte 1966]

16. Decomposition into triconnected components 16

17. Reducing using the decomposition 17

18. Finding a 2-separation to reduce (I) 18

19. Finding a 2-separation to reduce (II) 19

20. Summary of the kernelization 20

21. Extensions 21

22. Lower bounds for Turing kernels 22

23. 23

24. Colored paths are harder to find 24

25. Conclusion 25 Is there a non-adaptive Turing kernel?