Editing Parameterized complexity (section)

=== ''W'' hierarchy ===
The '''''W'' hierarchy''' is a collection of computational complexity classes. A parameterized problem is in the class ''W''[''i''], if every instance <math>(x, k)</math> can be transformed (in fpt-time) to a combinatorial circuit that has [[weft (circuit)|weft]] at most ''i'', such that <math>(x, k)\in L</math> if and only if there is a satisfying assignment to the inputs that assigns 1 to exactly ''k'' inputs. The '''weft''' is the largest number of logical units with fan-in greater than two on any path from an input to the output. The total number of logical units on the paths (known as depth) must be limited by a constant that holds for all instances of the problem.

Note that <math>\mathsf{FPT} = W[0]</math> and <math>W[i] \subseteq W[j]</math> for all <math>i\le j</math>.  The classes in the ''W'' hierarchy are also closed under fpt-reduction.

A complete problem for ''W''[''i''] is '''Weighted ''i''-Normalized Satisfiability''':<ref>{{cite journal |last1=Downey |first1=Rod G. |last2=Fellows |first2=Michael R. |title=Fixed-Parameter Tractability and Completeness I: Basic Results |journal=SIAM Journal on Computing |date=August 1995 |volume=24 |issue=4 |pages=873–921 |doi=10.1137/S0097539792228228 |url=https://doi.org/10.1137/S0097539792228228 |language=en |issn=0097-5397}}</ref> given a Boolean formula written as an AND of ORs of ANDs of ... of possibly negated variables, with <math>i+1</math> layers of ANDs or ORs (and ''i'' alternations between AND and OR), can it be satisfied by setting exactly ''k'' variables to 1?

Many natural computational problems occupy the lower levels, ''W''[1] and ''W''[2].

==== ''W''[1] ====
{{Redirect|W(1)|the mathematical constant|omega constant}}
Examples of ''W''[1]-complete problems include
* deciding if a given graph contains a [[Clique (graph theory)|clique]] of size ''k''
* deciding if a given graph contains an [[Independent set (graph theory)|independent set]] of size ''k''
* deciding if a given nondeterministic single-tape Turing machine accepts within ''k'' steps ("short Turing machine acceptance" problem).  This also applies to nondeterministic [[Turing machine|Turing machines]] with ''f''(''k'') tapes and even ''f''(''k'') of ''f''(''k'')-dimensional tapes, but even with this extension, the restriction to ''f''(''k'') tape alphabet size is fixed-parameter tractable. Crucially, the branching of the Turing machine at each step is allowed to depend on ''n'', the size of the input. In this way, the Turing machine may explore ''n''<sup>O(''k'')</sup> computation paths.

==== ''W''[2] ====
Examples of ''W''[2]-complete problems include
* deciding if a given graph contains a [[dominating set]] of size ''k''
* deciding if a given nondeterministic [[Turing machine equivalents#Multi-tape Turing machines|multi-tape Turing machine]] accepts within ''k'' steps ("short multi-tape Turing machine acceptance" problem). Crucially, the branching is allowed to depend on ''n'' (like the W[1] variant), as is the number of tapes. An alternate ''W''[2]-complete formulation allows only single-tape Turing machines, but the alphabet size may depend on ''n''.

==== ''W''[''t''] ====
<math>W[t]</math> can be defined using the family of Weighted Weft-{{mvar|t}}-Depth-{{mvar|d}} SAT problems for <math>d\geq t</math>:
<math>W[t,d]</math> is the class of parameterized problems that fpt-reduce to this problem, and <math>W[t] = \bigcup_{d\geq t} W[t,d]</math>.

Here, '''Weighted Weft-{{mvar|t}}-Depth-{{mvar|d}} SAT''' is the following problem:

* Input: A Boolean formula of depth at most {{mvar|d}} and weft at most {{mvar|t}}, and a number {{mvar|k}}. The ''depth'' is the maximal number of gates on any path from the root to a leaf, and the ''weft'' is the maximal number of gates ''of fan-in at least three'' on any path from the root to a leaf.
* Question: Does the formula have a satisfying assignment of [[Hamming weight]] exactly {{mvar|k}}?

It can be shown that for <math>t\geq2</math> the problem Weighted {{mvar|t}}-Normalize SAT is complete for <math>W[t]</math> under fpt-reductions.<ref>{{cite journal |last1=Buss |first1=Jonathan F |last2=Islam |first2=Tarique |title=Simplifying the weft hierarchy |journal=[[Theoretical Computer Science (journal)|Theoretical Computer Science]] |year=2006 |volume=351 |number=3 |pages=303–313 |doi=10.1016/j.tcs.2005.10.002|doi-access=free }}</ref>
Here, '''Weighted {{mvar|t}}-Normalize SAT''' is the following problem:

* Input: A Boolean formula of depth at most {{mvar|t}} with an AND-gate on top, and a number {{mvar|k}}.
* Question: Does the formula have a satisfying assignment of Hamming weight exactly {{mvar|k}}?

==== ''W''[''P''] ====
''W''[''P''] is the class of problems that can be decided by a nondeterministic <math>h(k) \cdot {|x|}^{O(1)}</math>-time Turing machine that makes at most <math>O(f(k)\cdot \log n)</math> nondeterministic choices in the computation on <math>(x,k)</math> (a ''k''-restricted Turing machine). {{harvtxt|Flum|Grohe|2006}}

It is known that FPT is contained in W[P], and the inclusion is believed to be strict. However, resolving this issue would imply a solution to the [[P versus NP]] problem.

Other connections to unparameterised computational complexity are that FPT equals ''W''[''P''] if and only if [[circuit satisfiability]] can be decided in time <math>\exp(o(n))m^{O(1)}</math>, or if and only if there is a computable, nondecreasing, unbounded function f such that all languages recognised by a nondeterministic polynomial-time Turing machine using {{tmath|f(n)\log n}} nondeterministic choices are in&nbsp;''P''.

''W''[''P''] can be loosely thought of as the class of problems where we have a set {{mvar|S}} of {{mvar|n}} items, and we want to find a subset <math>T \subset S</math> of size {{mvar|k}} such that a certain property holds. We can encode a choice as a list of {{mvar|k}} integers, stored in binary. Since the highest any of these numbers can be is {{mvar|n}}, <math>\lceil\log_2 n\rceil</math> bits are needed for each number. Therefore <math>k \cdot \lceil\log_2 n\rceil </math> total bits are needed to encode a choice. Therefore we can select a subset <math>T\subset S</math> with <math>O(k\cdot \log n)</math> nondeterministic choices.