Computational complexity BQP (3) Approximate counting, Sharp and GapP