Valiant-Vazirani Lemmata for Various Logics

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

Abstract

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. 

Topics

  • Presentations referencing similar topics