Valiant-Vazirani Lemmata for Various Logics

  • Moritz Müller
  • Published 2008 in Electronic Colloquium on Computational Complexity


We show analogues of a theorem due to Valiant and Vazirani [16] for intractable parameterized complexity classes such as W[P], W[SAT] and the classes of the W-hierarchy as well as those of the A-hierarchy. We do so by proving a general “logical” version of it which may be of independent interest. 


  • Presentations referencing similar topics