(C1), (C2) は, 変分量子アルゴリズムに限らず, 一般の
数理最適化問題が満たすべき条件である.
量子コンピュータ上の測定とは (4.1) の
Tr OiU (γ) ρiU (γ)† の期待値計算に対応し,
古典コンピュータ上の後処理とは, (4.1) の fi (·) の
計算や i についての足し合わせ計算987