Lのループが何をしているか分かりません。
どなたか解説して下さい。
宜しくお願い致します。

このループは表1の4番目のケースを示しています。
とりあえず領域Iの部分についてのみ着目すると
(空領域を＊、確保領域を■で表します。この場合＊の一番左の位置が始点I、＊の一番右の位置が終点I)
…■＊＊＊＊＊＊＊＊＊＊■…
となっている部分が
…■＊＊＊■■■■＊＊＊■…
というように空領域が2つに分割されます。
(左の空領域の組がI番目、右の空領域の組がI+1番目)

実際に空領域の分布をこれに当てはめてみると
[1]|■|[2]|■…■|[     I     ]|■|[I+1]|■…■|[N]
↓[I]の間に領域を確保する(始点I＜始点P  かつ  終点P＜終点I)
[1]|■|[2]|■…■|[I]|■|[I+1]|■|[I+2]|■…■|[N+1] (IとI+1の間に領域が増えるのでI+1以降の組が+1される)

という感じになります。
なので、この処理では
①  既存のI+1番目～N番目に格納されている値をI+2番目～N+1番目に格納する(ループ部分)
②  I+1番目の空領域を更新する((終点P)+1～終点I)
③  I番目の空領域を更新する(始点I～(始点P)-1)

といった流れになります。
②、③についてはループ後の処理となっているので、ループ部分を考えてみると、
設定されている値を消すことなく格納されている組を+1するので
N番目 →  N+1番目に格納
N-1番目 →  N番目に格納
…
I+1番目 →  I+2番目に格納
の順で処理をしていきます。
なので、ループについては
LをN～I+1まで1ずつ減らしてループすることになるので
N, L≧I+1, -1
の(ウ)になります。

multi777さんありがとうございます。