发送短信: On semidefinite programming relaxations of the traveling salesman problem