Skip to main content
Bumped by Community user
Bumped by Community user
Bumped by Community user
Bumped by Community user
Bumped by Community user
Bumped by Community user
Bumped by Community user
Bumped by Community user
Tweeted twitter.com/StackCompSci/status/943040965190848512
deleted 97 characters in body
Source Link
Turbo
  • 2.9k
  • 14
  • 27

From $P\subseteq \oplus P \subseteq PSPACE$ and $P\subseteq PP \subseteq PSPACE$ we infer $\oplus P\neq PP$ gives that $$P\neq PSPACE$$ $$P\neq PP \mbox{ }(PP^{PP}=PP^P=PP=P=CH\mbox{ and }\oplus P\subseteq CH\implies \oplus P=PP).$$$$P\neq PSPACE.$$

Are there any other consequences?

From $P\subseteq \oplus P \subseteq PSPACE$ and $P\subseteq PP \subseteq PSPACE$ we infer $\oplus P\neq PP$ gives that $$P\neq PSPACE$$ $$P\neq PP \mbox{ }(PP^{PP}=PP^P=PP=P=CH\mbox{ and }\oplus P\subseteq CH\implies \oplus P=PP).$$

Are there any other consequences?

From $P\subseteq \oplus P \subseteq PSPACE$ and $P\subseteq PP \subseteq PSPACE$ we infer $\oplus P\neq PP$ gives that $$P\neq PSPACE.$$

Are there any other consequences?

added 99 characters in body
Source Link
Turbo
  • 2.9k
  • 14
  • 27

From $P\subseteq \oplus P \subseteq PSPACE$ and $P\subseteq PP \subseteq PSPACE$ we infer that $$\oplus P\neq PP\implies P\neq PSPACE.$$$\oplus P\neq PP$ gives that $$P\neq PSPACE$$ $$P\neq PP \mbox{ }(PP^{PP}=PP^P=PP=P=CH\mbox{ and }\oplus P\subseteq CH\implies \oplus P=PP).$$

Are there any other consequences?

From $P\subseteq \oplus P \subseteq PSPACE$ and $P\subseteq PP \subseteq PSPACE$ we infer that $$\oplus P\neq PP\implies P\neq PSPACE.$$

Are there any other consequences?

From $P\subseteq \oplus P \subseteq PSPACE$ and $P\subseteq PP \subseteq PSPACE$ we infer $\oplus P\neq PP$ gives that $$P\neq PSPACE$$ $$P\neq PP \mbox{ }(PP^{PP}=PP^P=PP=P=CH\mbox{ and }\oplus P\subseteq CH\implies \oplus P=PP).$$

Are there any other consequences?

Source Link
Turbo
  • 2.9k
  • 14
  • 27

What is the consequence of $\oplus P\neq PP$?

From $P\subseteq \oplus P \subseteq PSPACE$ and $P\subseteq PP \subseteq PSPACE$ we infer that $$\oplus P\neq PP\implies P\neq PSPACE.$$

Are there any other consequences?