| • Science | • People | • Locations | • Timeline |
The main idea is to consider parameters. Many problems have the following general form: given an object and a nonnegative integer , does have some property that depends on ? For instance, for Vertex Cover, the parameter can be the number of vertices in the cover. In many applications, for example when modelling error correction, one can assume the parameter to be “small” compared to the total input size. Then it is interesting to see whether we can find an algorithm which is exponential only in , and not in the input size.
In this way, parameterized complexity can be seen as two-dimensional complexity theory. This concept is formalized as follows:
For example there is an algorithm which solves Vertex Cover in time, where is the number of vertices and the size of the vertex cover. This proves that Vertex Cover is fixed-parameter tractable with respect to this parameter.