printable pdf
比利时vs摩洛哥足彩 ,
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

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