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.

Determining the least expensive path for a new subway line underneath a metropolis like New York City is a colossal planning challenge—involving thousands of potential routes through hundreds of city ...