41 citations · 69 across the 3 of their papers we have counts for
1 paper · 1 filter
Sergey Bravyi, Arvid J. Bessen, Barbara M. Terhal
MA is a class of decision problems for which `yes'-instances have a proof that can be efficiently checked by a classical randomized algorithm. We prove that MA has a natural comple…