教资会网络 | UGC NET CS 2018 年 12 月 – II |问题 31

考虑以下伪代码片段，其中 m 是已初始化的非负整数：

p=0;
k=0;
while(k < m)
        p = p + 2k;
        k=k+1;
end while 

以下哪项是 while 语句的循环不变量？
（注意：while 语句的循环变体是一个断言，每次在执行 while 语句期间评估 guard 时都为真）。
(A) p = 2 ^k - 1 且 0≤k (B) p = 2 ^k+1 - 1 且 0≤k (C) p = 2 ^k - 1 且 0≤k≤m
(D) p = 2 ^k+1 - 1 且 0≤k≤m答案： （C）
解释：
这个问题的测验