Formal description of a semi-definite programming problem
Solution:
Satisfying:
are unit vectors;
and
form the matrix
and all its
eigenvalues are greater than or equal to 0,
that is, matrix
is semi-definite.
Algorithm 1:
Formal description.