Question: 1. Consider the statements below, where the variables m and n are assumed to have integer values, with n>0, and let W denote the while-loop

1. Consider the statements below, where the variables m and n

1. Consider the statements below, where the variables m and n are assumed to have integer values, with n>0, and let W denote the while-loop in these statements. a:= a:=m; b := n; c:=0; while b>0 do if 2 | b then := 2a; b:=b/2; else c:=c+a; b:=b 1; fi; od; (a) (30p) Prove that ab +c=mn is a loop invariant for W. (b) (10p) Must W terminate? Why? What is the value of b on this termination? (c) (10p) Show that on the termination of W, we have that c = mn

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Algorithmic mathematics 1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a :=m; b=n;...

Algorithmic Mathematics Exercise 5.4. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements....

1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a := m; b:= n; ci=0; while b>0 do if...

1. Consider the statements below, where the variables m and n are assumed to have integer values, with n 0, and let W denote the while-loop in these statements. a := m; b := n; c := 0; while b > 0 do...

1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a := m; b:= n; c:= 0; while b>0 do...

1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a := m; b:= n; c=0; while b>0 do if...

only B and C solutions 1. Consider the statements below, where the variables m and n are assumed to have integer values, with n > 0, and let W denote the while-loop in these statements. a := m; b:=n;...

Let X be a random variable with probability density function (a) Obtain the lower bound given by Chebyshevs inequality for P{0.2 (b) Compute the exact probability, P{0.2 f(x630 (1-x), 0

a. Which amino acid has the lowest pI value? b. Which amino acid has the highest pI value? c. Which amino acid has the greatest amount of negative charge at pH = 6.20? d. Which amino acid-glycine or...

What is the difference between owners' equity and non - current liabilities given the following: Owners' equity R 5 0 0 0 0 , Debtors R 1 2 5 0 0 , Cash R 1 6 0 0 0 , Creditors, R 7 0 0 0 , Long -...

Boney Corporation processes sugar beets that it purchases from farmers. Sugar beets are processed in batches. A batch of sugar beets costs $47 to buy from farmers and $12 to crush in the company's...

ADVANCED ANALYSIS Suppose the equation for the demand curve for some product X is P 8 .6 Q and the supply curve is P 2 .4 Q. What are the equilibrium price and quantity? Now suppose an excise tax...

KEY QUESTION Explain how each of the following contributes to the farm problem: a. The inelasticity of demand for farm products. b. The rapid technological progress in farming. c. The modest long-run...

KEY QUESTION How does social regulation differ from industrial regulation? What types of benefits and costs are associated with social regulation?