Here is pseudo code for the partition step of Quick Sort, which rearranges the subarray A[p ... r] in place and takes the last element as the pivot:

Partition(A, p, r){

x = A[r]

i = p-1

for j=p to r-1{

if A[j] x {

i = i + 1

swap A[i] with A[j]

}

}

swap A[i+1] with A[r]

return i+1

}

Which of the following is a useful loop invariant for this function?

Group of answer choices

A[r] is the pivot.

All entries in A[p ... i+1] are x.

All entries in A[p ... i] are x.

All entries in A[i+1 ... j1] are > x.

All entries in A[i ... j] are > x.

i j

Here is pseudo code for the partition step of Quick Sort, which rearranges the subarray A[p...r] in place and takes the last element as the pivot: Partition(A, P, TX x = A[r] i = p-1 for j=p to 1-1{ if A[j] SX{ i = i + 1 swap A[i] with A[j] swap A[i+1] with A[r] return 1+1 Which of the following is a useful loop invariant for this function? A[r] is the pivot. All entries in Ap ... i+1] are X. All entries in A[i ... j] are > X. Ois