Strictness conjecture for the A-hierarchy
The parameterized complexity classes form the hierarchy … The first levels satisfy W[1]=A[1]\mathsf{W}[1]=\mathsf{A}[1]W[1]=A[1] and W[i]⊆A[i]\mathsf{W}[i]\subseteq \mathsf{A}[i]W[i]⊆A[i] for every i≥2i\geq 2i≥2. Str…