Contains MA-EXP, and is contained in EH and indeed S2-EXP · PNP. ... Defined in [Can96], where it was also observed that Φ2P = S2P.
確定! 回上一頁