What is the loop invariant for the for loop in this code

Assignment Help Computer Engineering

Reference no: EM132105064

Problem A: Given an integer array a[], with size "size", and size>0, the following code gives the index of a largest element in the array.

What is the loop invariant for the for loop in this code?

int find_max(int a[], int size)

{ assert size>0; int max_val = a[0]; int max_loc = 0; for (int i=1; i<size; i++)

{ if (a[i]>max_val) { max_val = a[i]; max_loc = i; } } return max_loc; }

Reference no: EM132105064

Questions Cloud

Calculate the npv if the required rate of return : A new HVAC system will require an initial outlay of $16,500, but it will increase the firm's cash flows by $3,300 a year for each of the next 6 years.

Simulate a scheduler scheduling a set of jobs : Let a job be represented as an object. A job needs to store such things as its name, arrival time, and duration.

Cutting and sewing process : Roman Co. manufactures jeans in the cutting and sewing process. Jeans are manufactured in 50-jean batch sizes. The cutting time is 6 minutes per jean

If there is a loss should not it be discontinued : If there is a loss shouldn't it be discontinued? Or would there be reasons not to?

What is the loop invariant for the for loop in this code : Problem A: Given an integer array a[], with size "size", and size>0, the following code gives the index of a largest element in the array.

How many variables and observation : Creates anew variable called "average1and3YrReturn%" in which is the average of 1YrReturn% and 3YrReturn%.

Cost of goods manufactured and cost of goods sold : The company's cost of raw materials used, cost of goods manufactured and cost of goods sold is ?

Compute the break-even point in units and dollars : Compute the break-even point in units and dollars. (Round answers to 0 decimal places, e.g. 1,250.)

Required sales in dollars to break even : Presto Corp. had total variable costs of $165,935, total fixed costs of $166,100, and total revenues of $301,70

User Account

All Pages