程序员面试题精选100题（41）-把数组排成最小的数（算法）(7)

所以A₁A₂…A_x…A_y…A_n< A₁A₂…A_y…A_x…A_n。这和我们的假设的A₁A₂…A_y…A_x…A_n <A₁A₂…A_x…A_y…A_n相矛盾。

所以假设不成立，我们的算法是正确的。