data structure

For the written portion of the assignment, you will determine the two loop invariants for the outer for loop of Selection Sort (pseudocode provided below) and prove their correctness using the initialization, maintenance, and termination structure described in class. selectionsort (arr)