P
Initializing...
A second-best vertex under a uniquely-maximized bounded objective is adjacent to the optimum · Prove2Me