(Solved) : 5 5 Marks Prove Algorithm 5 Satisfies Termination Property Assume Proof Loop Invariant Tru Q44118079 . . .
5. (5 marks/ Prove that Algorithm 5 below satisfies the Termination property. You should assume (with- out proof) that the loop invariant is true each time the loop condition is checked. Algorithm 5 1: //LoopInv: (2, Y EZ) A (2,4>0) Air is even) 2: while I 70 do if y> 1 then yy-1 Ir +2 6: else rr-2 end if 9: end while Show transcribed image text 5. (5 marks/ Prove that Algorithm 5 below satisfies the Termination property. You should assume (with- out proof) that the loop invariant is true each time the loop condition is checked. Algorithm 5 1: //LoopInv: (2, Y EZ) A (2,4>0) Air is even) 2: while I 70 do if y> 1 then yy-1 Ir +2 6: else rr-2 end if 9: end while
Expert Answer
Answer to 5. (5 marks/ Prove that Algorithm 5 below satisfies the Termination property. You should assume (with- out proof) that t…
OR