Finding such an inequality is the separation problem, and such an inequality is a cut.
找到这样的不等式是分离问题，而这样的不等式就是切割。