Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic.

Jiatu Li Igor C. Oliveira

Published in: STOC (2023)

Keyphrases

lower bound
worst case
upper bound
complexity analysis
objective function
np hard
optimal solution
search algorithm
average case complexity
high level
computational complexity
branch and bound algorithm
space complexity
upper and lower bounds
linear programming relaxation