1: \begin{definition}

2: \label{def:postBQP_asize}

3: The definition of ${\rm postBQP}_{\rm asize}$ is the same as that

4: of ${\rm postBQP}_{\rm aFP}$

5: except that the ${\rm FP}$ function $f(w)$ is replaced with

6: $g(1^{|w|})$, where $g$ is a ${\rm GapP}$ function.

7: %From Theorem~\ref{PGapP}, ${\rm postBQP}_{\rm asize}$

8: %is an approximate version of ${\rm postBQP}_{\rm size}$.

9: \end{definition}