Question

For an algorithm, what is the likely relationship between a loop invariant and a postcondition?

For an algorithm, what is the likely relationship between a loop invariant and a postcondition?

Engineering   Computer-Science   
0 0
Add a commentTranscribed image text
Next >

Homework Answers

Answer #1

For an algorithm,postcondition is a statement placed after end of the segment that should be true when the execution of segment is complete.An invarient is a statement placed in a code segment that should be true each time the loop execution reaches that point.

In the loop invariant, assertion supposed to be true before and after the each iteration of the loop

If the precondition is true, then postcondition will be true.

If the invariant is placed at the beginning of a while or do-while loop whose condition test does not change the state of the computation (i.e; no side effects), then the invariant should also be true at the bottom of the loop.

0 0
Know the answer?
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Log In

Sign Up

Not the answer you're looking for?
Ask your own homework help question
Similar Questions
Assume that the inner loop works correctly. Using a loop-invariant proof for the outer loop, formally...
Assume that the inner loop works correctly. Using a loop-invariant proof for the outer loop, formally prove that your pseudo-code correctly sorts the given array. Be sure that your loop invariant and proof cover the initialization, maintenance, and termination conditions Given code: /** * a[0:n-1] is an array of n elements. * temp is a variable to facilitate exchange. */ BubbleSort(a, n) Begin for k = 1 to n-1 increment by 1 do // where, k is for the pass...
Write pseudocode for a simple algorithm for addition of two n-digit numbers (one of them could...
Write pseudocode for a simple algorithm for addition of two n-digit numbers (one of them could be < n digits with 0's appended to the left) in base-10, as follows. Assume the digits are stored in arrays A and B, with A[1] and B[1] being the rightmost digits and A[n] and B[n] being the leftmost digits. Use a for loop to go from right to left adding the digits and keeping track of the carry. Now, here's the real task:...
Use a loop invariant to prove that the following program segment for computing the nth power,...
Use a loop invariant to prove that the following program segment for computing the nth power, where n is a positive integer, of a real number x is correct. power := 1 i := 1 while i <= n power := power*x i := i+1
The relationship between the ascending and descending limbs of the loop of henle in juxtamedullary nephrons...
The relationship between the ascending and descending limbs of the loop of henle in juxtamedullary nephrons provides the ___? - Mechanism by which we reabsorb glucose in the proximal tubule - Countercurrent multiplier - Mechanisms for water reabsorption in the proximal and distal tubule
What is the relation between a Taylor series approximation and gradient descent algorithm? If we take...
What is the relation between a Taylor series approximation and gradient descent algorithm? If we take the second derivation of funtion. How will the relationship be?
For each pseudo-code function below (after the next ==== line), write a useful loop invariant capturing...
For each pseudo-code function below (after the next ==== line), write a useful loop invariant capturing correctness for the main loop in each of the following programs and briefly argue initialization, preservation, and termination. EXAMPLE PROBLEM: //Function to return the max of an array A Maximum(array of integers A) Local integer integer m m=0 for i = 1 to n if A[i] > m then m = A[i] end function Maximum EXAMPLE SOLUTION: The loop invariant is m = max(0,...
What are the semantic differences between a for loop and a while loop? Can you convert...
What are the semantic differences between a for loop and a while loop? Can you convert a while loop to an equivalent for loop and vice versa? If so, how? Java
What are the differences between a for loop and a while loop in shell scripting? Provide...
What are the differences between a for loop and a while loop in shell scripting? Provide Examples. -- UNIX/LINUX
What is the purpose of an expression in a loop statement? What is the difference between...
What is the purpose of an expression in a loop statement? What is the difference between a while loop, and a do/while loop?
Prove binary search (Seen below) is correct using a loop invariant. def search_binary(arr, val): low, up...
Prove binary search (Seen below) is correct using a loop invariant. def search_binary(arr, val): low, up = 0, len(arr) - 1 while low != up: # binary search mid = (low + up) / 2 if arr[mid] == val: return mid elif val < arr[mid]: up = mid - 1 else: low = mid + 1 return low
ADVERTISEMENT
Need Online Homework Help?

Get Answers For Free
Most questions answered within 1 hours.

Ask a Question
ADVERTISEMENT