Printable PDF
Department of Mathematics,
University of California San Diego

****************************

Special Logic/Complexity

Rod Downey

Victoria University, New Zealand

Recent progress parametric complexity

Abstract:

Paramaterized Complexity looks at the time requirements for problems as a function of both instance size and other measures of the difficulty of an instance. For example, while finding an independent set of size $K$ in a graph is an $NP$-complete problem, for each fixed $K$, the problem is clearly solvable in polynomial time through exhaustive search. Parameterized complexity answers such questions as: can this problem can be solved in polynomial-time for $K$ a growing function $K(n)$; and, to what extent can the naive $n^{O(K)}$ algorithm be improved? There have been a number of very interesting connections made recently between parameterized complexity, the exponential time hypothesis (that 3SAT requires time $2^\Omega(n)$) and several other classical notions. I will discuss some of these, giving the necessary background material. If time permits I will also talk about applications to online models.

Host: Jeff Remmel

February 8, 2005

1:00 PM

AP&M 4882

****************************