What is the loop invariant and loop variant for the followingprogram?
![10 < len i=0; n=1; j = 0; while i n < len) { if (a[(i+n)]-a[(i+n-1)] mar){ n=n+1; if(m < n) { Jelse (skip) else i=i+n; n = 1.](https://media.cheggcdn.com/media%2Faa4%2Faa4f3979-79a7-4fab-b626-d4df0b586170%2FphpeHK3w7.png)
10 < len i=0; n=1; j = 0; while i n < len) { if (a[(i+n)]-a[(i+n-1)] mar){ n=n+1; if(m < n) { Jelse (skip) else i=i+n; n = 1. Show transcribed image text
Expert Answer
An answer will be send to you shortly. . . . .