Kvantu modelis ar pēcatlasi tiek definēts Scott Aaronson darbā. Beigu stāvokļu kopa, kas parasti sastāv no akceptējošiem un noraidošiem stāvokļiem, tiek papildināta ar parametru, kas norāda, vai dotais beigu stāvoklis ...