The Parameterized Complexity of Quantum Verification.

Srinivasan Arunachalam Sergey Bravyi Chinmay Nirkhe Bryan O'Gorman

Published in: CoRR (2022)

Keyphrases

parameterized complexity
global constraints
model checking
fixed parameter tractable
symmetry breaking
search algorithm
np hard
constraint satisfaction problems
partial order
computational problems