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.

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

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

So the components of the vector are not invariant characterizations of the vector.

矢量的两个分量,并不是一成不变的

耶鲁公开课 - 基础物理课程节选

So the components of vector are not invariant.

因此矢量的分量不是一成不变的

耶鲁公开课 - 基础物理课程节选

This is an example of an invariant.

这是一个不变量的例子

耶鲁公开课 - 基础物理课程节选