Lower Bounds for Unitary Property Testing with Proofs and Advice.

Jordi Weggemans

Published in: CoRR (2024)

Keyphrases

lower bound
upper bound
objective function
branch and bound algorithm
branch and bound
optimal solution
worst case
theorem proving
lower and upper bounds
lower bounding
np hard
online algorithms
formal proofs
min sum
optimal cost
software testing
desirable properties
query processing