Unprovability of Strong Complexity Lower Bounds in Bounded Arithmetic.

Jiatu Li Igor Carboni Oliveira

Published in: CoRR (2023)

Keyphrases

lower bound
worst case
upper bound
data sets
branch and bound algorithm
space complexity
complexity measures
average case complexity
machine learning
objective function
computational complexity
np hard
decision problems
uniform distribution
complexity analysis
pac learning