Abstract
Vikraman Arvind, Johannes Köbler,
Uwe Schöning, and Rainer Schuler
Abstract:
It is shown that the assumption of NP
having polynomial-size circuits implies
(apart from a collapse of the
polynomial-time hierarchy as shown by Karp
and Lipton) that the classes AM and
MA of Babai's Arthur-Merlin hierarchy
coincide. This means that also a certain
inner collapse of the remaining classes of
the polynomial-time hierarchy occurs.