Write an algorithm to find the first two largest numbers in an in array of integers. For example, given the input (2,3,7,–4,5,1), the algorithm should output 7 5. State precisely a loop invariant for you algorithm. Prove that your loop invariant holds and hence conclude that your algorithm works. Analyse the algorithm to find the upper bound for run time of the above algorithm.

Linear programming is a famous mathematical modeling tool for determining the best distribution of scarce resources among competing demands. Machinery, time, personnel, raw materials, money, and space are all resources. It is used to find the most optima…