選考後

確率論において、事後選択とは、与えられたイベントの発生に応じて確率空間を条件付けることです。記号では、あるイベントについて事後選択すると、他のイベントの確率が から条件付き確率に変化します。 ${\displaystyle E}$${\displaystyle F}$${\textstyle \operatorname {Pr} [F]}$ ${\displaystyle \operatorname {Pr} [F\,|\,E]}$

離散確率空間の場合、となり、したがって事後選択が明確に定義されるためには が厳密に正であることが必要になります。 ${\textstyle \operatorname {Pr} [F\,|\,E]={\frac {\operatorname {Pr} [F\,\cap \,E]}{\operatorname {Pr} [E]}}}$${\textstyle \operatorname {Pr} [E]}$

事後選択で定義された複雑性クラスであるPostBQPも参照してください。事後選択を使用すると、量子チューリングマシンははるかに強力になります。スコット・アーロンソンは^{[1] [2]} PostBQPがPPに等しいことを証明しました。

いくつかの量子実験^[3]では、通信された値を定数に事後選択することで、実験中の通信の代わりに実験後の事後選択を使用しています。