for i = n downto 2 do k = 1 for j = 2 to i do if A[j] > A[k] then k = j A[k] <-> A[i]
The analysis is equivalent for all possible cases. There is a comparison every inner iteration no matter what.
Once again, the anlysis holds for all possible cases. There is an exchange every outer iteration.