ñ äâóìÿ çâåçäî÷êàìè âûïîëíåíû âñå
i < N
**
í³ T’(i)>T’(i+1)
Èçìåíèòü
T( è) íà T(è+1)
*
M = true
Ðèñ.7.1. Ñõåìà ñîðòèðîâêè ýëåìåíòîâ ìàññèâà Ò'
 òî÷êå ñ äâóìÿ çâåçäî÷êàìè âûïîëíåíû âñå âîçìîæíûå îïåðàöèè îáìåíà ìåñòàìè ïàð ñìåæíûõ ýëåìåíòîâ ìàññèâà T' çà îäèí ïðîõîä ÷åðåç T', òî åñòü îïåðàòîð îáìåíà ðàáîòàë îäèí èëè áîëüøå ðàç. Îäíàêî ïóçûðüêîâàÿ ñîðòèðîâêà íå äàåò ãàðàíòèè, ÷òî äîñòèãíóòî óïîðÿäî÷åíèå çà îäèí ïðîõîä ïî ìàññèâó T', ïîñêîëüêó ïîñëå î÷åðåäíîãî îáìåíà èíäåêñ i óâåëè÷èâàåòñÿ íà 1 íåçàâèñèìî îò òîãî, êàê ñîîòíîñèòñÿ íîâûé ýëåìåíò T '( i) ñ ïðåäøåñòâóþùèì ýëåìåíòîì T '(i – 1).
 ýòîé òî÷êå òàêæå ñïðàâåäëèâîå óòâåðæäåíèå:
$ i , åñëè i < N òî T' ( i) < T' ( i + 1).
×àñòü àëãîðèòìà, îáîçíà÷åííàÿ òî÷êîé ñ äâóìÿ çâåçäî÷êàìè âûïîëíÿåòñÿ äî òåõ ïîð, ïîêà íå áóäåò óïîðÿäî÷åí âåñü ìàññèâ, òî åñòü íå áóäåò âûïîëíÿòüñÿ óñëîâèå (â) óòâåðæäåíèÿ Àånd äëÿ âñåõ ýëåìåíòîâ ìàññèâà T':
"i, åñëè i < N òî T' (i) < T' (i+ 1).
Ñîäåðæàíèå Íàçàä Âïåðåä