Community detection and SDP formulation