CS266 -- Parameterized Algorithms and Complexity -- Autumn 2014

Instructor: Ryan Williams
Time: Fridays 2:15--4:45ish, Gates B12
Office Hours: By appointment/email

Description:

Many problems we want to solve are often NP-hard or worse, but somehow, they need to get solved anyway. What can we do? Over the years, multiple paradigms for coping with NP-hardness have been introduced: for instance, approximation algorithms, average-case analysis, and randomized algorithms were all borne out of a desire to solve hard problems by relaxing the problem or strengthening the model.

Within the last 20 years, a new paradigm has been introduced, where one measures the time complexity of an algorithm not just in terms of the input length but also a small side parameter. A priori, the parameter can be anything, but the interesting case is when complex instances of the problem still have relatively small parameter values. The overall goal is to identify interesting parameterizations of hard problems where we can design algorithms running in time polynomial in the input length but possibly exponential (or worse) in the small parameter. Such an algorithm is called "fixed-parameter tractable" and it is the gold standard for parameterized algorithms.

This is a subject which is still very new and fresh. Although many papers on the subject appear in the top theory conferences each year, there are few systematic courses within the United States. We will attempt to correct this. Parameterization has become an important topic that has bearing on other strands of theory as well (including circuit complexity). The course will be heavily research-oriented with lots of open problems, and it will introduce you to new ways of thinking about existing theory.

Workload for this course:

Prerequisites: This is technically a graduate course, but it is open to anyone. You should probably have had CS154 (undergrad automata) and CS161 (undergrad algorithms) or their equivalents -- otherwise, the course may be tough to follow in some places. We will try to recall the concepts needed along the way. There is no textbook for the course, but we will catalogue some reading material found on the web as we go.



Course outline (the rough plan)


Papers for presentations

You may pick one or more papers to present, or you may present your own work, if it falls within the scope of the course! Email Ryan with what you decide (first-come, first-serve); the deadline will be posted later. We currently expect your presentations to be at most 30 minutes long (note this estimate will only go down... it won't go up!).
The papers that have already been claimed will be crossed out.
  1. Determinant Sums for Undirected Hamiltonicity, Andreas Bjorklund.
    Summary: This paper presents an O*(1.66^n) time algorithm for Hamiltonian cycle in undirected graphs. This result was a breakthrough, giving the first improvement over the classic Held-Karp O*(2^n) time algorithm presented in class.
  2. 3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General, T. Hertli.
    Summary: This presents the fastest algorithm for 3SAT to date, by analyzing an algorithm from the 90s in a new way.
    (Claimed by Aran)
  3. Integer programming with a fixed number of variables, H.W. Lenstra.
    Summary: This is a classic paper giving an FPT algorithm for integer programming where the parameter is the number of variables.
  4. A Full Derandomization of Schoning's k-SAT Algorithm, R. Moser and D. Scheder.
    Summary: This paper presents a deterministic k-SAT algorithm that has roughly the same running time as the randomized local search algorithm presented in class.
    (Claimed by Dan Stubbs)
  5. Iterative Compression and Exact Algorithms, F. V. Fomin, S. Gaspers, D. Kratsch, M. Liedloff, S. Saurabh.
    Summary: This paper uses a technique called iterative compression to give new exact and parameterized algorithms for problems such as Max Independent Set and Min Hitting Set.
  6. Infeasibility of Instance Compression and Succinct PCPs for NP, L. Fortnow and R. Santhanam.
    Summary: This paper shows that several problems such as k-clique and k-dominating set do not have polynomial-size kernels under standard complexity assumptions (in particular, under the assumption that $coNP \not\subset NP/poly$).
    (Claimed by Daniel Steffee)
  7. New Limits to Classical and Quantum Instance Compression , A. Drucker.
    Summary: This paper strengthens the results in the above Fortnow-Santhanam paper, showing that polynomial-size "instance compression" for satisfiability problems is even more unlikely.
  8. Satisfiability Allows No Nontrivial Sparsification Unless The Polynomial-Time Hierarchy Collapses, H. Dell and D. van Melkebeek.
    Summary: This paper considers the problem of finding small kernels for $d$-SAT on $n$ variables. A kernel of size $O(n^d log n)$ is easy to construct, and this paper shows that there is no $O(n^{d-\varepsilon})$-size kernel (under standard complexity assumptions).
  9. On the Compressibility of NP Instances and Cryptographic Application, D. Harnik and M. Naor.
    Summary: This paper shows that certain strong compressibility results for SAT related to kernelization imply interesting things in cryptography.
    (Claimed by Rio)
  10. On Problems Without Polynomial Kernels, H. Bodlaender, R. G. Downey, M. R. Fellows, D. Hermelin.
    Summary: This paper shows that many FPT problems such as k-path don't admit polynomial kernels (under standard assumptions).
  11. Parameterized complexity and approximation algorithms, D. Marx.
    Summary: This paper presents relationships between parameterized complexity and approximation schemes.
    (Claimed by Mikaela)
  12. Fourier Meets Mobius: Fast Subset Convolution, A. Bjorklund, T. Husfeldt, P. Kaski, M. Koivisto.
    Summary: This paper presents an inclusion-exclusion based approach for obtaining $O^*(2^k)$ time algorithms for many problems where $O^*(3^k)$ is the easy algorithm. One example application is to $k$-Steiner tree.
    (Claimed by Arjun)
  13. Tight Lower Bounds for Certain Parameterized NP-Hard Problems, J. Chen. B. Chory, M. Fellows,X. Huang, D. Juedes, I. A. Kanj, G. Xia.
    Summary: This paper shows that $n^{o(k)}$ time algorithms for many natural parameterized problems such as $k$-clique would imply unexpected results in parameterized complexity.
  14. The parameterized complexity of counting problems, J. Flum and M. Grohe.
    Summary: This paper defines the #W[t] hierarchy which is the analogue to the W hierarchy for counting problems.
    (Claimed by Sam and Michael)
  15. Exponential Time Complexity of the Permanent and the Tutte Polynomial, H. Dell, T. Husfeldt, D. Marx, N. Taslaman, M. Wahlen.
    Summary: This paper presents several conditional lower bounds based on ETH and its counting version, #ETH.
    (Claimed by Sam and Michael)
  16. Fixed-Parameter Tractability and Parameterized Complexity, Applied to Problems From Computational Social Choice, C. Lindner and J. Rothe.
    Summary: This paper shows some applications of parameterized complexity to computational problems in social choice, such as algorithmic questions in election manipulation.
    (Claimed by Ilan)
  17. A Measure & Conquer Approach for the Analysis of Exact Algorithms, F. Fomin, F. Grandoni, D. Kratsch.
    Summary: The original paper introducing the Measure and Conquer Approach.
    (Claimed by Trey)
  18. On Problems as Hard as CNF-SAT, M. Cygan, H. Dell, D. Lokshtanov, D. Marx, J. Nederlof, Y. Okamoto, R. Paturi, S. Saurabh, M. Wahlstrom.
    Summary: This paper shows that designing $O^{*}((2-\varepsilon)^n)$ time algorithms for problems such as Hitting Set, Set Splitting, and NAE-Sat is equivalent to disproving the strong exponential time hypothesis (SETH).
  19. Known Algorithms on Graphs of Bounded Treewidth are Probably Optimal, D. Lokshtanov, D. Marx, S. Saurabh.
    Summary: This paper shows that the known algorithms for problems such as dominating set and independent set when parameterized by the graph treewidth are optimal unless the strong exponential time hypothesis fails.
  20. Saving Space by Algebraization, D. Lokshtanov and J. Nederlof.
    Summary: This paper gives interesting polynomial-space algorithms for problems such as Subset Sum, Knapsack, Traveling Salesman, Weighted Set Cover and Weighted Steiner Tree.
  21. Counting Matchings of Size k is #$W[1]$-Hard, R. Curticapean.
    Summary: This paper resolved a thorny open problem: is counting matchings of size $k$ in a graph as hard as finding a $k$-clique, or is it FPT?
  22. The Parameterized Complexity of Biclique, B. Lin.
    Summary: This paper resolved another longstanding open problem: is finding a $k$ by $k$ biclique in a bipartite graph FPT, or not? Ryan gave this problem to several PhD rotation students in the past...
    (Claimed by Ling-Ling)
  23. Threesomes, Degenerates, and Love Triangles, A. Gronlund and S. Pettie.
    Summary: A ridiculously titled paper containing a major advance in $k$-SUM algorithms. Appeared very recently.
    (Claimed by Andy)