Graphs, algorithms, and optimization. (2017)