【摘 要】
：
为提高MaxSAT完备算法剪枝率和运算效率,分析失败文字检测寻找冲突集的过程,提出扩展失败文字检测方法。通过延长失败文字搜索冲突的路径,形成搜索1步、2步和任意步的递进失
【基金项目】
：
国家自然科学基金项目（51306133）
论文部分内容阅读
为提高MaxSAT完备算法剪枝率和运算效率,分析失败文字检测寻找冲突集的过程,提出扩展失败文字检测方法。通过延长失败文字搜索冲突的路径,形成搜索1步、2步和任意步的递进失败文字检测方式,实现改进的MaxsatzEF算法。实验测试了MaxSAT国际竞赛4个类别的500多个算例,实验结果表明,递进失败文字检测方法找到了更多独立冲突集,可有效提高算法的下界,大幅缩短复杂算例的运行时间。
其他文献
产业集群竞争力的定义落脚到竞争优势，是因为竞争优势能概括产业集群竞争力的“因素”、“结构”和“能力”三个属性，而且最根本的是产业集群较强的竞争力在于其所拥有的持续竞
哈萨克斯坦的“核能”日益成为哈萨克斯坦发展本国能源开采业的重要部门，也是哈萨克斯坦外汇收入的主要来源之一。核能多元外交成为哈萨克斯坦发展经济与建设“国际核燃料库”
RFID(无线射频识别)搜索协议作为RFID领域的一种新兴协议存在着标签成本高以及易遭受攻击等问题。针对于此,着重从降低标签成本和提高安全性角度,通过在协议的整个过程中完全采用伪随机函数、引用秘密信息更新机制和增加搜索标志位机制的方法,设计了一个所需标签成本较低的RFID搜索协议,并在通用可组合(UC)模型下对其安全性进行了形式化证明,指出该协议是UC安全的,实现了机密性、匿名性、不可追踪性、防窃
本文以Web of Science和万方数据库为数据源，提取4个数据集作为数据样本，采用文献计量学等方法对蛋白质组学领域的论文进行了统计分析。从论文数量、作者、机构，以及研究主题等
基于二维元胞自动机和Logistic混沌映射，提出了一种新的图像加密算法。该算法主要思想是采用Logistic映射设计一种非线性耦合结构来对明文像素矩阵进行置乱，然后在分析元胞自动
欧盟把食品安全作为欧盟制定政策优先考虑的问题之一，并颁布了一系列高标准的食品安全法律法规。本文介绍了欧盟建立食品安全机制的一些做法，以及对我国解决食品安全问题的一些