似乎很明显

scan从左到右只有一次。对每位数都有一次判断：是否在最终位置。每个数都在一个初始位置-最终位置一一对应的循环上，从而只被操作一次。而每次操作都只有一个判断：是否最终位置的数是循环的开始。