聂国霞
- 作品数:2 被引量:3H指数:1
- 供职机构:贵州大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金贵州省科学技术基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于图分解的(3,4)-CNF公式的可满足性被引量:1
- 2015年
- 对于规则的(3,4)-CNF公式F,公式F对应的因子图GF恰好是一个(3,4)-双向正则二部图。利用正则二部图的有关性质,证明了对于任意的(3,4)-CNF公式F,若其对应的因子图GF能够被划分为两个(3,2)-双向正则二部图,则F是可满足的。
- 张海月秦永彬聂国霞
- 关键词:因子图
- 基于因子图求解(3,4=)-CNF公式类下可满足问题被引量:3
- 2013年
- 合取范式(CNF)公式F是(3,4=)-CNF公式,如果F中每个子句的长度是3,每个变元出现的次数恰好为4次。与(3,4=)-CNF公式所关联的因子图是一类规则的二部图,即每个子句结点的度为3,每个变元结点的度为4,此类规则图被称为(3,4)-双向正则二部图。对于一个(3,4=)-CNF公式F,如果它关联的因子图GF有P7-路径因子,则F可满足。
- 聂国霞秦永彬许道云
- 关键词:因子图