QuestionQuestion

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 PreviewSolution 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.

Decision:
Upload a file
Continue without uploading

SUBMIT YOUR HOMEWORK
We couldn't find that subject.
Please select the best match from the list below.

We'll send you an email right away. If it's not in your inbox, check your spam folder.

  • 1
  • 2
  • 3
Live Chats