首页> 中文期刊>计算机与数字工程 >基于图分解的(3,4)-CNF公式的可满足性

基于图分解的(3,4)-CNF公式的可满足性

开具论文收录证明 >>

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

页面导航

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

摘要

对于规则的(3,4)-CNF公式F,公式F对应的因子图GF恰好是一个(3,4)-双向正则二部图.利用正则二部图的有关性质,证明了对于任意的(3,4)-CNF公式F,若其对应的因子图GF能够被划分为两个(3,2)-双向正则二部图,则F是可满足的.

著录项

来源
《计算机与数字工程》|2015年第5期|766-770891|共6页
作者
张海月; 秦永彬; 聂国霞;
展开▼
作者单位

贵州大学计算机科学与技术学院贵阳 550025;

贵州大学计算机科学与技术学院贵阳 550025;

贵州大学计算机科学与技术学院贵阳 550025;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
(3,4)-CNF公式; 因子图; (3,4)-双向正则二部图; 可满足问题;

相似文献

中文文献
外文文献
专利

1. 基于因子图求解(3,4=)-CNF公式类下可满足问题 [J] . 聂国霞 ,秦永彬 ,许道云 . 计算机与数字工程 . 2013,第005期
2. 正则(3,4)-CNF公式的社区结构 [J] . 何彬 ,许道云 . 计算机科学 . 2021,第004期
3. CNF公式赋值空间上可满足解的概率性质 [J] . 莫孝玲 ,许道云 . 计算机科学与探索 . 2018,第011期
4. 层次图(混合Horn)公式的部分极大可满足性 [J] . 埃瓦尔特·施佩肯梅尔 ,史蒂凡·珀尔舜 . 逻辑学研究 . 2010,第003期
5. 可满足公式到极小不可满足公式MU(1)的扩张复杂性 [J] . 张庆顺 ,许道云 . 贵州大学学报（自然科学版） . 2005,第004期
6. 邻域系统上的Rough集及其被用于对公式可满足性的描述 [C] . 刘清 ,郑非 . 第六届中国人工智能职合学术会议 . 2001
7. 极小不可满足公式在CNF公式类归约中的应用 [A] . 王健 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号