A novel characterization of the complexity class Θ2P based on counting and comparison

The complexity class Θ2P, which is the class of languages recognizable by deterministic Turing machines in polynomial time with at most logarithmic many calls to an NP oracle, received extensive attention in the literature. Its complete problems can be characterized by different specific tasks, such...

Descrizione completa

Dettagli Bibliografici
Autori principali: Lukasiewicz, T, Malizia, E
Natura: Journal article
Pubblicazione: Elsevier 2017