Question: Given the following programming problem:
Z = c'x - x' Dx - y'2 E2y2
subject to A1x ≤ b1
A2x - 2 E2y2 ≤ b2
where all the vector variables are nonnegative and the matrix E2 is symmetric positive semidefinite, derive the dual specification and assemble the corresponding KKT conditions into an LC problem.