完备算法相关论文
最大可满足性问题（maximum satisfiability,MaxSAT）是一个著名的、具有NP难度的组合优化问题.本研究总结了近年来求解最大可满足性问......
布尔可满足性（Boolean Satisfiability Problem,简称SAT）问题又称为SAT问题是人工智能、数理逻辑、计算机科学等领域的中心问题。自......
最大可满足性问题（Maximum Satisfiability，MaxSAT）是一个著名的、具有NP难度的组合优化问题．本文总结了近年来求解最大可满足性问题的......
对于SAT求解器,目前流行的分支变量决策策略大多是基于冲突的变量活跃度评估算法,选择具有最大活性的未赋值变量作为决策变量,优先......
命题逻辑公式的可满足性问题(SAT)是数理逻辑、计算机科学、集成电路设计与验证和人工智能等领域中的核心问题,并且是第一个被证明......
Rough sets是Pawlak提出的一种处理模糊和不确定性的数学工具,在粗糙集的各种研究方向中,属性约简算法一直是粗糙集理论研究的重点......
分布式约束优化是解决分布式推理任务的一个基本框架,是目前多Agent领域的研究热点。近几年来提出了许多优秀的分布式约束优化算法......
现实生活中会存在很多约束,需要在所有约束被满足或尽量满足的情况下制定出一种最优解决方案,这一类问题被称为约束满足问题(Const......
针对现有粗糙集属性约简算法的不足,提出了一种基于差别矩阵的属性约简新算法。算法的构造借助于差别矩阵,结合集合运算,采用迭代......
快速、精确地计算任意坐标的对应桩号,在公路测量、设计、施工和竣工验收中有重要的实际意义。通过对组成平面线形的直线、圆曲线......
基于系统熵的属性约简是一种新型的属性约简。该模型由于同时考虑了条件属性集和决策属性集对决策表的分类能力,它是一种考虑较周......
属性约简是粗糙集理论重要研究内容之一，然而求取所有约简与最小约简的时间复杂度为指数级。在大量或海量数据分析时，算法的可行性将......
为获取一个较优的属性约简集,在对粗糙集中基于差别矩阵的属性约简算法研究的基础上,文中提出了一种新的属性约简算法.该算法对由......
由于基于老差别矩阵的属性约简的定义与基于正区域的属性约简的定义是不一致的．给出一个简化差别矩阵和相应的属性约简的定义，并证明......
分析了传统属性频率函数作为属性重要度的不足，重新定义了属性重要度，提出了一种基于差别矩阵属性重要度的属性约简完备算法．即CRABSA......
研究了基于决策矩阵的决策表属性约简的方法，用反例指出文献[3]中的两处错误：核的计算方法是错误的，而且属性约简算法不完备．然后给出......
对简化的决策表进行转换．得到改进的简化决策表。基于正区域的属性约简，证明了在原决策表上约简与在改进的简化决策表上约简．结果相同......
提出了一种基于差别矩阵的粗糙集属性约简完备算法,算法的求解策略是在每次迭代过程中只选择必要的条件属性,如果在某次迭代过程中......
目前，基于二进制差别矩阵的属性约简算法有以下不足：所得到的属性约简与基于正区域的属性约简不一致。文献[7]中给出一种基于简化的......
针对学习子句数量有限或相似度高导致历史信息有限、搜索树不平衡的问题,提出了基于动态奖惩的分支策略。首先,对每次单子句传播的......
为了解决基于差别矩阵的属性约简完备算法得不到最小约简的问题，提出了一种改进的属性约简方法．该方法将信息论定义的属性重要性作为......
循环双三角是一个有向图,它包含两个3结构周期.研究了逆M矩阵的图在该有向图中的完备问题.对每个周期所包含的所有指定的顶点以及......
为解决决策表属性约简完备算法约简质量低的问题，在基于差别矩阵的属性约简完备算法的基础上，引入信息论中信息熵和互信息增益的定义......
基于对完备算法和非完备算法的研究,结合完备算法能够进行完备求解和不完备算法能够以较快速度进行求解的优点。提出一种新的求解S......
对于典型的NP难度问题——二维矩形Packing问题,经典完备算法的计算复杂度不仅与待放块的数目相关,也与矩形框的宽和高相关。通过......
分支决策是CD CL(Conflict Driven Clause Learning)求解器一个十分关键的环节,一个好的分支策略可以减少分支决策次数进而提高SAT......
粗糙集理论的布尔矩阵表示形式具有直观、易于理解的优点,它的引入为研究粗糙集的理论提供了一个新的思路。在对布尔矩阵性质研究......
指出现有差别矩阵属性约简算法的不足，对原有差别矩阵和属性重要性度量方法进行改进，运用差别矩阵元素项的重要性质，提出一种新的启发......
基于差别矩阵思想的属性约简算法需要求出决策表的差别矩阵,然而差别矩阵的求取不但费时而且占用大量的存储空间。为此,提出一种基......
SAT问题是研究最广泛的NPC问题之一.由于SAT问题本身的特性,除非P=NP,否则不存在最坏情况下多项式阶时间复杂度的SAT求解算法.因此......
