We started off talking about binary search, and I suggested that this was a log algorithm which it is, which is really kind of nice.

我告诉了你们这是一个对，数级的算法，这是很棒的,我们来一起看看这个算法到底做了什么。

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

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.

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

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