Algorithms that zero in on solutions to optimization problems are the beating heart of machine reasoning. New results reveal surprising limits. Our lives are a succession of optimization problems.

A search problem refers to the task of finding a solution within some space of possible options, and that space could be made up of discrete steps or continuously varying values. For example, solving ...