想求一下正确性证明，为啥$O(N^2)$的比较之后一定能得到最优？

算法如下，题解里有大佬给的链接：https://blog.csdn.net/qq_32451161/article/details/50429053