使用分支定界算法求解带硬约束的MAX-SAT问题的任务书任务：使用分支定界算法求解带硬约束的MAX-SAT问题。描述：MAX-SAT问题是一个NP完全问题，是对于一组布尔变量和一组布尔表达式的求解，每个表达式都是由变量和逻辑运算符（AND、OR、NOT）组成的。每个表达式都有一个权重，问题的目标是使得满足表达式的变量数最大化，即满足（true）的表达式个数最多。在带硬约束的MAX-SAT问题中，对于一些表达式，必须要满足它们，否则整个问题都是不可解的。分支定界算法是求解MAX-SAT问题的一种常用方法，其基本思想是根据目前已知的最优解和最坏解，构建一棵笛卡尔树，对每个节点进行状态扩展和剪枝，以寻找问题的最优解。任务要求：1.实现分支定界算法解决带硬约束的MAX-SAT问题；2.输入数据文件格式：第一行为变量的个数n和表达式的个数m，接下来m行每行包含一个表达式的权重和变量，其中变量用数字表示，正表示该变量取值为真，负表示该变量取值为假；3.输出最优解及其对应的表达式数量。参考文献：1.周志华.机器学习[M].清华大学出版社,2016.2.张银奎，程肇祥.分支定界算法及其应用[M].科学出版社,1993.