|
|
|
|
|
|
by c_lebesgue
3979 days ago
|
|
|
Nitpick: you need a potentially unbounded number of alternations between existential and universal quantifiers to get PSPACE. Otherwise it is just somewhere in the polynomial hierarchy. Otherwise you are right, "outsmarting" the rest of the world is probably in PSPACE. |
|
|