S2P (complexity)

In computational complexity theory, SP2 is a complexity class, intermediate between the first and second levels of the polynomial hierarchy. A language L is in if there exists a polynomial-time predicate P such that * If , then there exists a y such that for all z, , * If , then there exists a z such that for all y, , where size of y and z must be polynomial of x.

S2P (complexity)

In computational complexity theory, SP2 is a complexity class, intermediate between the first and second levels of the polynomial hierarchy. A language L is in if there exists a polynomial-time predicate P such that * If , then there exists a y such that for all z, , * If , then there exists a z such that for all y, , where size of y and z must be polynomial of x.