Computing functions with parallel queries to NP

Abstract

The characterizations of the class Theta /sub 2//sup p/ of languages polynomial-time truth-table reducible to sets in NP are surveyed studying the classes obtained when the characterizations are used to define functions instead of languages. It is shown that in this way three function classes are obtained. An overview of the known relationships between these classes, including some original results, is given.<>