To illustrate the process, let us consider the KKT conditions
⋱−I−IQkSkAkSk⊤RkBkAk⊤Bk⊤−I−IPk+1λkxkukλk+1xk+1=−ck−1qkrkckpk+1.
Using the last row we can express xk+1 as
xk+1=Pk+1−1λk+1−Pk+1−1pk+1
and consequently eliminate it from the KKT system
⋱−I−IQkSkAkSk⊤RkBkAk⊤Bk⊤−Pk+1−1λkxkukλk+1=−ck−1qkrkck+Pk+1−1pk+1.
In a similar fashion we may eliminate
λk+1=Pk+1(Akxk+Bkuk)+Pk+1ck+pk+1,
attaining
⋱−I−IQˉkSˉkSˉk⊤Rˉkλkxkuk=−ck−1qˉkrˉk
where
QˉkSˉkRˉKqˉkrˉk=Qk+Ak⊤Pk+1Ak=Sk+Bk⊤Pk+1Ak=Rk+Bk⊤Pk+1Bk=qk+Ak⊤(pk+1+Pk+1ck)=rk+Bk⊤(pk+1+Pk+1ck).
Finally, we may also eliminate
uk=−Rˉk−1rˉk−Rˉk−1Sˉkxk
to attain
[⋱−I−IPk][λkxk]=−[ck−1pk]
where
Pkpk=Qˉk−Sˉk⊤Rˉk−1Sˉk=qˉk−Sˉk⊤Rˉk−1rˉk.
This process can be repeated for k←k−1.