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.