>>Должна быть иерархия
NP \subseteq P/Poly \Rightarrow PH = \Sigma_2

//о чём это я? )

__________________
Bedankt euch dafür bei euch selbst.

H_2(S^3/((z1, z2)~(exp(2pi*i/p)z1, exp(2pi*q*i/p)z2)))=Z/pZ