• Nem Talált Eredményt

TheOptimalityPrograminParameterizedAlgorithms P LENARYTALKS

N/A
N/A
Protected

Academic year: 2022

Ossza meg "TheOptimalityPrograminParameterizedAlgorithms P LENARYTALKS"

Copied!
1
0
0

Teljes szövegt

(1)

P

LENARY TALKS

The Optimality Program in Parameterized Algorithms

Dániel Marx

Institute for Computer Science and Control, Hungarian Academy of Sciences (MTA SZTAKI), Hungary

Parameterized complexity analyzes the computational complexity of NP-hard combinato- rial problems in finer detail than classical complexity: instead of expressing the running time as a univariate function of the size n of the input, one or more relevant parameters are defined and the running time is analyzed as a function depending on both the input size and these parameters. The goal is to obtain algorithms whose running time depends polynomially on the input size, but may have arbitrary (possibly exponential) dependence on the parameters.

Moreover, we would like the dependence on the parameters to be as slowly growing as pos- sible, to make it more likely that the algorithm is efficient in practice for small values of the parameters. In recent years, advances in parameterized algorithms and complexity have given us a tight understanding of how the parameter has to influence the running time for various problems. The talk will survey results of this form, showing that seemingly similar NP-hard problems can behave in very different ways if they are analyzed in the parameterized setting.

1

Hivatkozások

KAPCSOLÓDÓ DOKUMENTUMOK

As a first result towards settling this conjecture we show in Section 2 that determining whether a given color- ing of a graph is nonrepetitive is coNP-complete (in other words,

New result: Minimum sum multicoloring is NP-hard on binary trees, even if every demand is polynomially bounded (in the size of the tree).. Returning to minimum

To settle the classical complexity of the examined problems, first we observe (Thms. 1 and 2) that classical results imply polynomial-time al- gorithms for the edge-deletion

Many NP-hard (and some PSPACE-hard, or #P- hard) graph problems become polynomial or linear time solvable when restricted to graphs of bounded TW (or pathwidth or

Given two sequences S 1 and S 2 over some alphabet, the task of the Longest Common Subsequence (LCS) problem is to find the longest possible sequence that is the subsequence of both S

Patterns with small vertex cover number are is easy to count:. Theorem

Parameterized complexity gives a finer understanding of the com- plexity of problems: for example, the negative results not only tell us that Cliqe is not polynomial-time solvable,

⇒ Transforming an Independent Set instance (G , k) into a Vertex Cover instance (G , n − k) is a correct polynomial-time reduction.. However, Vertex Cover is FPT, but Independent Set