Consider the following pseudo-code fragment, where m is a non-negative integer that has been initialized :
p=0; k=0; while(kWhich of the following is a loop invariant for the while statement?
(Note: a loop variant for a while statement is an assertion that is true each time guard is evaluated during the execution of the while statement).
(A) p = 2k − 1 and 0≤k<m
(B) p = 2k+1 − 1 and 0≤k<m
(C) p = 2k − 1 and 0≤k≤m
(D) p = 2k+1 − 1 and 0≤k≤m
Answer: (C)
Explanation:
Quiz of this Question
Article Tags :
Recommended Articles