Equivalence of NCk and ACk - 1 closures of NP and other classes

Research output: Contribution to journalArticle

7 Scopus citations

Abstract

Gottlob (1993, in “Proceedings, 34th IEEE Symposium on Foundations of Computer Science," pp. 42-51) showed that any set recognized by polynomial-size, log-depth trees with queries to SAT is ≤ptt-reducible to NP. Based on his technique, it is shown for any set A and any k ≥ 1 that NCk (A) ⊆ ACk - 1(RNPctt(A)) where RNPctt(A) is the ≤NPctt-closure of A. As a consequence, it is shown for any class C that is closed under ≤NPctt-reductions, such as NP and C=P, and for any k ≥ 1 that NCk(C) = ACk - 1 (C), which resolves a question that has remained open for a long time.

Original languageEnglish (US)
Pages (from-to)55-58
Number of pages4
JournalInformation and Computation
Volume120
Issue number1
DOIs
StatePublished - Jul 1995
Externally publishedYes

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics

Fingerprint Dive into the research topics of 'Equivalence of NC<sup>k</sup> and AC<sup>k - 1</sup> closures of NP and other classes'. Together they form a unique fingerprint.

  • Cite this