Question: Precondition: L is a nonempty list of integers. Postcondition: Return the indices a and b that give the longest strictly increasing sublist 1[a:b] of

Precondition: L is a nonempty list of integers. Postcondition: Return the indices a and b that give the longest strictly increasing sublist 1[a:b] of L. maxSublist (L): 1. a = 0; current = 0; i = 1; max = 1 2. while i < len (L): 3. 4. 5. 6. 7. 8. i=i+ 1 9. return a, a + max if L[i-1] < L[i]: if (i+1) current > max: max = (i+1) current; a = current else: current i (a) (3 marks) Find an appropriate LI for this program. (b) (10 marks) Use your LI to prove partial correctness for this program. (c) (2 marks) Find a decreasing sequence of natural numbers e that will show that this program terminates.

Step by Step Solution

★★★★★

3.36 Rating (162 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock

a Loop Invariant LI At the start of each iteration of the while loop in lines 28 the variables current i max and a satisfy the following conditions 1 ... View full answer

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 Programming Questions!

( a * | b * ) * ( ( \ epsi | a ) | b * ) * ( a | b ) * abb ( a | b ) *

answer all questions as instructed below. make sure you have attended all questions .Comparative Architectures (a) Describe the organisation of a two-level branch predictor that makes use of a global...

Write an alternative definition that is tail-recursive (iterative) and makes use of accumulator variables. [10 marks] Explain why your alternative definition executes more efficiently. [3 marks] 1...

You have been provided with the description of a programming language, J, intended for scripting applications. Its syntax is similar to a cut-down version of Java in that it consists of function...

Question 1. [16 MARKS] Given a list L, a contiguous sublist M of L is a sublist of L whose elements occur in immediate succession in L. For instance, [4,7,2] is a contiguous sublist of [0,4,7,2,4]...

2. Consider the following algorithm Precondition: A is a non-empty list of elements. Postcondition: returns the reverse of A def reverse list(A): 1. 2.t - len(A) 3. 4. 5. 6 7. while (i

2. Consider the following algorithm: Precondition: A is a non-empty list of elements. Postcondition: returns the reverse of A. def reverse list(A): 1. i=1 2. t=len(A) 3. B=[] 4. while (i

2. Consider the following algorithm Precondition: A is a non-empty list of elements. Postcondition: returns the reverse of A def reverse list(A): I. 2. 3. i=1 t=len(A) B=[] while (i

create functions to complete them IPDS Programming Exercise: January zuzs...

What extra info is required? IPDS Programming Exercise: January 2023...

How does the preemptive right protect stockholders from dilution?

Refer to the description given for Wheelco, Inc. in the preceding exercise. Suppose the firms president has decided to implement an activity-based costing system. Required: 1. List and briefly...

What type of business credit is the most widely used form of domestic credit

Following the structure of the expected major organic product for each of the following questions specify Stereochemistry clearly, if relevant. PhS Na product from reaction 1C

You have been a product manager for an innovative health tech diagnostic equipment since it was in the development phase of its life cycle. It was introduced to the market over a decade ago and has...

Research and present about two Leaders in recent times. Why you choose them. Suggested domains - Business.

bill is single with no dependanrs, for 2019 his net income for tax pur[pose was 80000, hes taxable income was 70000, his medical expenses tax credit was 300, how much were has eligible medical...

Kathy Kennedy (age 44) is a single taxpayer and she lives at 212 North Pine Way, Payson, AZ 85541. Her Social Security number is 467-98-9784. Kathy's earnings and income tax withholding as the...

How are qualified dividends taxed in 2012? Please give the two rates of tax which apply to qualified dividends, and specify when each of these rates applies._________________________...

Skyler is covered by his company's health insurance plan. The health insurance costs his company $3,500 a year. During the year, Skyler is diagnosed with a serious illness and the health insurance...

Memory aids that use visual imagery or other organizational devices are called __________.

Can you recall a time when stress helped you remember something? Has stress ever made it more difficult to remember something?

The concept of working memory clarifies the idea of short-term memory by focusing on the active processing that occurs in this stage. splits short-term memory into two substagessensory memory and...