發送短信: Polynomial Constraint Satisfaction Problems, Graph Bisection, and the Ising Partition Function