The Analytic Polynomial-Time Hierarchy
β
Herbert Baier; Klaus W. Wagner
π
Article
π
1998
π
John Wiley and Sons
π
English
β 863 KB
Motivated by results on interactive proof systems we investigate an 3-V-hierarchy over P using word quantifiers as well as two types of set quantifiers. This hierarchy, which extends the (arithmetic) polynomial-time hierarchy, is called the analytic polynomial-time hierarchy. It is shown that every