，其中，状态集formula_27为存在状态，状态集 formula_28 为全称状态（或者相反）。并且，不存在从 formula_29 到 formula_30 的状态转移满足 formula_31。例如，考虑以下电路最小化问题：给定一个能够计算布尔函数formula_32 的电路 formula_33 和一个整数 formula_34，确定是否存在一个最多包含formula_34个门的电路formula_36可以计算formula_32。一台2次交替图灵机从一个存在状态出发可以在多项式时间内解决这