【摘 要】
：
最大可满足性问题（Maximum Satisfiability，MaxSAT）是一个著名的、具有NP难度的组合优化问题．本文总结了近年来求解最大可满足性问题的各类算法．首先，给出了最大可满足性问题的定义，然后基于完备算法和非完备算法两个类型，对求解MaxSAT的各类算法进行了综述．其中完备算法包括分支定界算法和迭代调用可满足性问题求解器的算法；非完备算法包括近似算法、基于最小校正子集的算法和局部搜
【基金项目】
：
国家自然科学基金资助项目（62076105）；
论文部分内容阅读
最大可满足性问题（Maximum Satisfiability，MaxSAT）是一个著名的、具有NP难度的组合优化问题．本文总结了近年来求解最大可满足性问题的各类算法．首先，给出了最大可满足性问题的定义，然后基于完备算法和非完备算法两个类型，对求解MaxSAT的各类算法进行了综述．其中完备算法包括分支定界算法和迭代调用可满足性问题求解器的算法；非完备算法包括近似算法、基于最小校正子集的算法和局部搜索算法．最后，分析和对比了各类求解算法的优劣，并对最大可满足性问题求解所面临的挑战及可能的研究方向进行了讨论和展望．
其他文献
当今青年群体中的"佛系"现象在一定程度上客观存在,具体表现为生活态度上推崇惰性处事的极简主义,情绪表达上存在孤独厌世的悲观主义倾向,价值取向上表现为奋斗精神缺乏与理想信念难以坚守。文章基于对大学生"佛系心态"生成原因的深度剖析,强调高校德育工作应积极引导青年牢固树立"幸福是奋斗出来的"的信念,加强网络思想政治教育,净化青年次文化传播环境,唤醒大学生积极潜意识并引导其走出习得性无助误区。
联邦学习是一种分布式机器学习范式，中央服务器通过协作大量远程设备训练一个最优的全局模型。目前联邦学习主要存在系统异构性和数据异构性这两个关键挑战。本文主要针对异构性导致的全局模型收敛慢甚至无法收敛的问题，提出基于隐式随机梯度下降优化的联邦学习算法。与传统联邦学习更新方式不同，本文利用本地上传的模型参数近似求出平均全局梯度，同时避免求解一阶导数，通过梯度下降来更新全局模型参数，使全局模型能够在较少的
2021年,中国对外承包工程行业仍然面临着严峻的外部市场环境。单边主义、保护主义、霸权主义对世界政治秩序和经济秩序造成严重破坏,放大了全球经济恢复的不确定性。新冠疫情在全世界持续蔓延,坚守海外的员工生命安全受到严重威胁;正常的物资供应、人员流动中断,防疫相关费用激增,造成中国企业在海外的经营成本飙升;发达国家经济体释放的巨量流动性推高了国际资产价格和资金成本,一些海外项目所在国主权债务违约风
目的通过专家咨询构建居家腹膜透析患者社区延续护理服务清单,为社区开展居家腹膜透析护理提供参考。方法基于文献回顾及患者需求调查初步形成包含29项内容的腹膜透析患者社区延续性护理服务清单,并于2019年6月至2021年9月,选取16名腹膜透析相关专家进行了3轮咨询,对相关条目进行评价。结果 3轮咨询的专家权威系数分别为0.80、0.83和0.86,肯德尔协调系数分别为0.378、0.202和0.417
目的探讨个案管理模式对腹膜透析治疗患者自我护理能力及生活质量的影响。方法选取2019年5月—2021年2月于医院行腹膜透析治疗的患者86例为研究对象,按照组间性别、年龄、原发病、文化程度匹配的原则分为对照组和观察组,各43例。对照组给予常规护理,观察组在对照组基础上实施个案管理模式,持续3个月。比较两组患者自我护理能力、生活质量及并发症发生率。结果干预3个月后,观察组自我护理能力及生活质量评分高于
极地位于地球的南北两极,不仅有着丰富的矿产资源和生物资源,更由于其特殊的地理位置对全球气候、环境变化有着很大的影响。随着全球导航卫星系统GNSS技术的不断发展,多种导航卫星定位系统的出现为GNSS的技术突破打开了新局面,多GNSS融合定位成为了近年来GNSS领域的研究热点。多模GNSS试验跟踪网的建立为多模融合精密单点定位的研究与发展奠定了基础,为多模GNSS精密单点定位的深入探索创造了实验条件。
当今世界正经历前所未有的发展困境,全球经济增长低迷、经济波动频繁、贫困与收入不平等问题愈加突出、环境与气候变化形势严峻、逆全球化浪潮甚嚣尘上,迫切需要新思想方案进行解决。新发展理念形成于中国共产党百年中国道路探索实践,相较于新自由主义和梵蒂冈思潮具有全面性和多维目标兼顾的优势。新发展理念指导我国推进供给侧结构性改革、科学实施宏观调控、打赢蓝天保卫战、完成伟大的脱贫攻坚任务、推动构建人类命运共同体等
Lead（Pb）based reactor（lead bismuth（PbBi）eutectic（LBE）or Pb cooled reactor）is considered to be the most promising Generation Ⅳ nuclear energy system and is considered to be one of the most hopeful reac
高考作为联结高等教育和基础教育的重要环节,其改革动向直接牵引着我国基础教育发展的方向。2014年9月,国务院印发了《关于深化考试招生制度改革的实施意见》,标志着我国新一轮考试招生制度改革正式启动。新高考直接催生了新的高中教育目标和学校组织形态,尤以对教学组织的影响为最。为符应新高考的要求,作为高中学校组织的关键构成——教学组织的变革势在必行。本文主要采用文献研究法、比较研究法、案例分析法和调查研究
为探究青藏铁路多年冻土区路基不均匀沉降变形趋势规律的工程问题，定量研究环境温度和行车振动耦合作用对路基沉降变形所产生的影响。基于青藏铁路沿线590个测点近10年的118个月现场检测数据进行计算分析，以环境温度、行车振动应力、时间为输入变量，路基沉降值为输出数据，建立路基沉降变形规律的多元线性回归模型。通过对回归模型的统计分析，推导出路基沉降变形预测值的分布形式。在既定失效阈值和随机失效阈值情况下，