Mathematical proof that an optimization algorithm reliably reaches a good solution and quantifies how fast it gets there.