Algebraic techniques in parameterized algorithms
Łukasz Kowalik
University of Warsaw
FPT School, Będlewo, August 2014
Łukasz Kowalik (UW) Algebraic techniques August 2014 1 / 37
Algebraic techniques in parameterized algorithms ukasz Kowalik - - PowerPoint PPT Presentation
Algebraic techniques in parameterized algorithms ukasz Kowalik University of Warsaw FPT School, Bdlewo, August 2014 ukasz Kowalik (UW) Algebraic techniques August 2014 1 / 37 Overview Inclusion-exclusion principle (Tuesday)
Łukasz Kowalik (UW) Algebraic techniques August 2014 1 / 37
Łukasz Kowalik (UW) Algebraic techniques August 2014 2 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 3 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 4 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 5 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 6 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 6 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 7 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 7 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 7 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 7 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 7 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 7 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 8 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 8 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 9 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 9 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 10 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 11 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 11 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 11 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 11 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 11 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 12 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 13 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 13 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 13 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 13 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 13 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 13 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 13 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 13 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 14 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 14 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 15 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 15 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 15 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 16 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 17 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 17 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 18 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 18 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 19 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 20 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 21 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 21 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 21 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 21 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 21 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 22 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 22 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 23 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 24 / 37
Algebraic techniques I August 2014 25 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 26 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 26 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 26 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 26 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 26 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 27 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 28 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 29 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 29 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 29 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 29 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 29 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 29 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 29 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 30 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 30 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 31 / 37
1 Compute ζf using Yates’ algorithm in time 2nnO(1), 2 Compute ζg using Yates’ algorithm in time 2nnO(1), 3 Compute h = ζ(f ∗c g) using pointwise multiplication in time 2nnO(1), 4 Compute f ∗c g = µh using Yates’ algorithm in time 2nnO(1). Łukasz Kowalik (UW) Algebraic techniques I August 2014 31 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 32 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 32 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 32 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 32 / 37
A∩B=∅
Łukasz Kowalik (UW) Algebraic techniques I August 2014 33 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 34 / 37
A∩B=∅
Łukasz Kowalik (UW) Algebraic techniques I August 2014 34 / 37
1 Compute and store fi ∗c gj(Y ) for all i, j = 0, . . . , n and Y ⊆ 2V . 2 Compute (f ∗ g)(Y ) for all Y ⊆ 2V using (∗).
Łukasz Kowalik (UW) Algebraic techniques I August 2014 35 / 37
A∩B=∅
Łukasz Kowalik (UW) Algebraic techniques I August 2014 36 / 37
Łukasz Kowalik (UW) Algebraic techniques I August 2014 37 / 37