Problem 1 (Preserving Invariants). For each of the following loop i...

Question

Problem 1 (Preserving Invariants). For each of the following loop invariants, determine whether or not the loop invariant is true every time, and justify your answer.
(a)
i=0
j=0
while ( j < 10000):
#LI : 2 * i == j
i = i+2
j = j+4

(b)
i=4
j=2
while ( j < 10000):
#LI : 2 * i == j
i = i+2
j = j+4

(c)
k=0
i=0
while (k <= 10000):
#LI : i == k
k = k + 1
i = i + 2

(d)
n = . . . some positive number . . .
i=0
while ( i < n ) :
# LI : i <= n
i = i + 2

(e)
n = . . . some positive number . . .
i=0
while ( i < n ) :
# LI : i <= n
i = i + 1

Solution Preview

These solutions may offer step-by-step problem-solving explanations or good writing examples that include modern styles of formatting and construction of bibliographies out of text citations and references. Students may use these solutions for personal skill-building and practice. Unethical use is strictly forbidden.

Problem 1 (Preserving Invariants)

a) The loop invariant is true every iteration of the loop.
i will have values 0, 2, 4, 6, 8, 10, …
j will have values 0, 4, 8, 12, 16, 20, …
It is always true that j is equal to 2 * i

b) The loop invariant is false from the start.
i will have values 4, 6, 8, 10, 12, 14, …...

By purchasing this solution you'll be able to access the following files:
Solution.docx.

50% discount

Hours
Minutes
Seconds
\$38.00 \$19.00
for this solution

or FREE if you
register a new account!

PayPal, G Pay, ApplePay, Amazon Pay, and all major credit cards accepted.

Find A Tutor

View available Python Programming Tutors

Get College Homework Help.

Are you sure you don't want to upload any files?

Fast tutor response requires as much info as possible.