[发明专利]基于扩展规则的布尔可满足性问题的求解方法在审
| 申请号： | 201910747374.2 | 申请日： | 2019-08-14 |
| 公开（公告）号： | CN110689128A | 公开（公告）日： | 2020-01-14 |
| 发明（设计）人： | 王金艳;胡春;李先贤 | 申请（专利权）人： | 广西师范大学 |
| 主分类号： | G06N5/04 | 分类号： | G06N5/04 |
| 代理公司： | 45107 桂林市持衡专利商标事务所有限公司 | 代理人： | 陈跃琳 |
| 地址： | 541004 广西壮*** | 国省代码： | 广西;45 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开一种基于扩展规则的布尔可满足性问题的求解方法，首先，设计了适用于扩展规则的CCA | ||
| 搜索关键词： | 可满足性 翻转 启发式 布尔可满足性问题 搜索过程 整个空间 初始化 初始解 子空间 求解 权重 规划 更新 | ||
【主权项】：
1.基于扩展规则的布尔可满足性问题的求解方法，其特征是，具体包括步骤如下：/n步骤1、设定最大主迭代次数maxStep和最大次迭代次数subMaxStep；令CNF公式集中所有子句的初始权值均为1，CNF公式集中所有变量的初始格局改变状态为1，迭代次数i为0；/n步骤2、根据输入的CNF公式集，得到输入变量集M及其变量个数MCount，以及输入子句集C及其子句个数CCount；/n步骤3、首先遍历CNF公式集得到其中最长子句集S；然后遍历最长子句集S，并记录每个文字出现的次数；最后将所有文字按出现次数进行排序，并将出现次数较多前K位的文字的否定形成限定子句u；其中K为设定值；/n步骤4、将限定子句u中的文字转成变量形式后，放入到限定变量集W中，并将输入变量集M与限定变量集W的差集中的变量放入到随机变量集Y中；/n步骤5、对于随机变量集Y中的每个变量，随机选择每个变量的文字来与限定子句u中文字进行合并，形成初始极大项；/n步骤6、判断当前极大项是否可以被CNF公式集中的子句扩展：如果所有子句均不能扩展当前极大项，则输出当前极大项，并结束；否则，将转至步骤7；/n步骤7、计算CNF公式集中每个变量的主贡献值、次贡献值和综合贡献值，其中：/n变量x的主贡献值Score
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于广西师范大学，未经广西师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910747374.2/，转载请声明来源钻瓜专利网。
