Polynomial hierarchy (source code)

= Polynomial hierarchy
{title2=$\mathbf{PH}$}
{wiki}

The polynomial hierarchy consists of decision problems described by a constant number of alternating polynomially bounded existential and universal quantifiers with a polynomial-time predicate.