循环变体

什么是循环变体在计算机科学中，循环变体是在计算机程序的状态空间上定义的一个数学函数，其值在某些不变的条件下，通过while循环的迭代，相对于一个（严格的...