On The Existence Of Optimal Algorithms Simons Institute