发送短信 : Removing Twins in Graphs to Break Symmetries