英译汉,计算机方面Which of the following is a loop invariant at the p