Semidefinite Relaxation