Timeline for A query regarding the definition of Polynomial Hierarchy and PSPACE
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 29, 2021 at 14:07 | vote | accept | J.Doe | ||
| Oct 29, 2021 at 14:06 | comment | added | J.Doe | aah I understand. thank a lot. | |
| Oct 29, 2021 at 14:03 | comment | added | Yuval Filmus | I'm not sure how you would deduce $\Delta_2^P \neq \Sigma_2^P$; for all we know, it could be that P equals NP. | |
| Oct 29, 2021 at 14:03 | comment | added | Yuval Filmus | Given an inclusion $A \subseteq B$, the opposite inclusion is $B \subseteq A$. | |
| Oct 29, 2021 at 14:02 | comment | added | J.Doe | Thank you. I am unclear about the statement: "..opposite inclusion..". If I am correct it means that it cannot tell if the inclusion $\Delta_2^P \subseteq \Sigma_2^P$ is proper or not? | |
| Oct 29, 2021 at 13:57 | history | answered | Yuval Filmus | CC BY-SA 4.0 |