The Parametrized Complexity of Quantum Verification.

Srinivasan Arunachalam Sergey Bravyi Chinmay Nirkhe Bryan O'Gorman

Published in: TQC (2022)

Keyphrases

decision problems
information systems
decision making
decision trees
worst case
model checking
space complexity
optimal solution
memory requirements
complexity analysis
formal verification
person identification
complexity measures