*
Ok I get it. Somehow I jumped to the conclusion that P ^{PP}
was PP. There is one more for your blog: A⊆ B implies B⊆
A^{B} but not A^{B}⊆ B (duh!) *

He goes on
to say he made his quantum leap to conclusions since for the quantum
class BQP, P^{BQP}=BQP, he thought the same property must hold
for all classes.

I present this because he suggested it for my weblog and as a public
service for those who might make a similar mistake. Yes, in case you
were wondering, for reasonable classes A (like A=P), B⊆A^{B} without
needing to assume A⊆B.

## No comments:

## Post a Comment