So this is a nice little search-- sorry, a nice little sort algorithm . And in fact, it's relying on something that we're going to come back to, called the loop invariant.

恩，这是一个很棒的小搜索，抱歉，和很棒的小排序算法，事实上，它依赖于一些我们要回顾的东西,被称作循环不变量。

麻省理工公开课 - 计算机科学及编程导论课程节选

The loop invariant what does the loop invariant mean? It says, here is a property that is true of this structure every time through the loop.

循环不变量是什么意思？,它是一个在结构体中,每次循环都为真的属性。

麻省理工公开课 - 计算机科学及编程导论课程节选