如果b小于c,则bc<cb。当c表示成十进制时为m位。和前面证明过程一样,可以得到b/(10m -1)<c/(10n -1)。
所以a/(10l -1)< c/(10n -1)。于是a(10n -1)<c(10l -1),所以a×10n +c<c×10l +a,即ac<ca。
所以a小于c。
在证明了我们排序规则的有效性之后,我们接着证明算法的正确性。我们用反证法来证明。
如果b小于c,则bc<cb。当c表示成十进制时为m位。和前面证明过程一样,可以得到b/(10m -1)<c/(10n -1)。
所以a/(10l -1)< c/(10n -1)。于是a(10n -1)<c(10l -1),所以a×10n +c<c×10l +a,即ac<ca。
所以a小于c。
在证明了我们排序规则的有效性之后,我们接着证明算法的正确性。我们用反证法来证明。