这是我几天来一直试图理解并最终解决的作业问题。到目前为止，我还没有成功。因此，任何指导、帮助理解或解决问题都是值得赞赏的。 系统将为您提供一组针对布尔变量的约束 {x1， x2， ...， xn}。...