Постселекция
В теории вероятностей поствыборка означает обусловливание вероятностного пространства наступлением данного события. В символах после постселекции события вероятность какого-либо другого события изменяется с на условную вероятность .
![{\ textstyle \ operatorname {Pr} [F]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e0de6b26fd6267317c401229f254b6c89d66278)
![{\ Displaystyle \ OperatorName {Pr} [F \, | \, E]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b22ed8aff3c909e40b92b4ac14de7ddc269c8abc)
Для дискретного вероятностного пространства , и поэтому мы требуем, чтобы оно было строго положительным, чтобы послевыборка была четко определенной.
![{\ textstyle \ operatorname {Pr} [F \, |\, E] = {\ frac {\ operatorname {Pr} [F \, \ cap \, E]} {\ operatorname {Pr} [E]}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cefb4f6c5d2bf963f709c8b1c333bb42760fb68c)
![{\ textstyle \ operatorname {Pr} [E]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3524bb493868a439651569e9a732371699d9fd8)
См. также PostBQP , класс сложности, определенный с помощью поствыборки. При использовании постселекции кажется, что квантовые машины Тьюринга намного мощнее: Скотт Ааронсон доказал [1] [2] , что PostBQP равен PP .
Некоторые квантовые эксперименты [3] используют поствыборку после эксперимента в качестве замены коммуникации во время эксперимента путем поствыборки сообщаемого значения в константу.