高莫雷约束是将可行域中一部分非整数解切割掉。