scholarly journals Subclasses of presburger arithmetic and the polynomial-time hierarchy

1988 ◽  
Vol 56 (3) ◽  
pp. 289-301 ◽  
Author(s):  
Erich Grädel
Keyword(s):  
Polynomial Time ◽  
Presburger Arithmetic ◽  
Polynomial Time Hierarchy

The polynomial-time hierarchy and sparse oracles

1986 ◽  
Vol 33 (3) ◽  
pp. 603-617 ◽  
Author(s):  
Jose L. Balcázar ◽  
Ronald V. Book ◽  
Uwe Schöning
Keyword(s):  
Polynomial Time ◽  
Polynomial Time Hierarchy

ON HIGHER ARTHUR-MERLIN CLASSES

2004 ◽  
Vol 15 (01) ◽  
pp. 3-19
Author(s):  
JIN-YI CAI ◽  
DENIS CHARLES ◽  
A. PAVAN ◽  
SAMIK SENGUPTA
Keyword(s):  
Polynomial Time ◽  
Upper Bounds ◽  
Complexity Classes ◽  
Polynomial Time Hierarchy

We study higher Arthur-Merlin classes defined via several natural probabilistic operators BP, R and coR. We investigate the complexity classes they define, and a number of interactions between these operators and the standard polynomial time hierarchy. We prove a hierarchy theorem for these higher Arthur-Merlin classes involving interleaving operators, and a theorem giving non-trivial upper bounds to the intersection of the complementary classes in the hierarchy.

Sign in / Sign up

Export Citation Format

Share Document