每轮从未排序部分找到最小元素，放到已排序部分末尾
Another slide transparency of the gold robot (The Computer History Museum)
。关于这个话题，新收录的资料提供了深入分析
are applied iteratively until a fixpoint is reached (typically 2–3 iterations).
There are many other kinds of proof objects https://www.philipzucker.com/proof_objects/ . A similar one that is useful is outputting a permutation from a sorting algorithm. Verifying a permutation takes O(n) but sorting under the appropriate assumptions takes O(n ln(n)), so there is a complexity gap there. https://cacm.acm.org/research/program-correctness-through-self-certification/，更多细节参见新收录的资料
Нью-Йорк Рейнджерс
A delivery network that became social infrastructureWith their distinctive squat plastic bottles and shiny red caps, Yakult pioneered a genre. The probiotic drink was launched in Japan 90 years ago – long before "microbiome" became common parlance. But today, the women who deliver them are as important to the brand's identity as the product itself.。业内人士推荐新收录的资料作为进阶阅读