Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-205/5/c/solution

For the active set , maintain
The initial matrix inverse costs . At step , compute in operations and all active ridge coefficients in operations; their smallest absolute value determines .
After deleting ,
Part b ensures that the denominator in the Sherman–Morrison formula is positive, and the rank-one downdate
costs . Summing over the steps gives
Since , both earlier terms are bounded by , proving the claimed computational complexity within computational complexity theory.

New to topics? Read the docs here!