On the computational power of PP and ⊕P says it gives strong evidence that PP is strictly harder than PH, which contains NP.
On the computational power of PP and ⊕P says it gives strong evidence that PP is strictly harder than PH, which contains NP.