基于因子图求解(3,4=)-CNF公式类下可满足问题

聂国霞; 秦永彬; 许道云

首页> 中文期刊> 《计算机与数字工程》 >基于因子图求解(3,4=)-CNF公式类下可满足问题

基于因子图求解(3,4=)-CNF公式类下可满足问题

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

合取范式(CNF)公式F是(3,4=)-CNF公式,如果F中每个子句的长度是3,每个变元出现的次数恰好为4次.与(3,4=)-CNF公式所关联的因子图是一类规则的二部图,即每个子句结点的度为3,每个变元结点的度为4,此类规则图被称为(3,4)-双向正则二部图.对于一个(3,4=)-CNF公式F,如果它关联的因子图GF有P7路径因子,则F可满足.

著录项

来源
《计算机与数字工程》 |2013年第5期|686-689|共4页
作者
聂国霞; 秦永彬; 许道云;
展开▼
作者单位

贵州大学理学院贵阳 550025;

贵州大学计算机科学与信息学院贵阳 550025;

贵州大学计算机科学与信息学院贵阳 550025;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
(3; 4=)-CNF公式; 因子图; (3;

相似文献

中文文献
外文文献
专利

1. 基于图分解的(3,4)-CNF公式的可满足性 [J] . 张海月 ,秦永彬 ,聂国霞 . 计算机与数字工程 . 2015,第005期
2. 正则(3,4)-CNF公式的社区结构 [J] . 何彬 ,许道云 . 计算机科学 . 2021,第004期
3. 二次函数在闭区间上的最值问题两类轴对称问题的辨析小议辅助角公式的求解策略抽象函数问题分类例析均值不等式的应用与分析对称问题中参数范围的一种求解策略关于解不等式问题的若干策略简化解析几何计算的若干策略“定”，“动”相宜——二次函数在闭区间上的最值问题 [J] . 蔡永强 . 数理化解题研究：高中版 . 2008,第001期
4. CNF公式赋值空间上可满足解的概率性质 [J] . 莫孝玲 ,许道云 . 计算机科学与探索 . 2018,第011期
5. SLS算法求解平衡正则(k,2r)-CNF公式 [J] . 李梓齐 ,许道云 . 计算机与现代化 . 2019,第001期
6. 基于CNF权重的求解SAT问题的新算法 [C] . 王美华 ,郝志峰 . 第一届中国Rough集与软计算学术研讨会 . 2001
7. 极小不可满足公式在CNF公式类归约中的应用 [A] . 王健 . 2005

基于因子图求解(3,4=)-CNF公式类下可满足问题

摘要

著录项

相似文献

相关主题

期刊订阅