| 基于因子图求解(3,4=)-CNF公式类下可满足问题 |
| |
| 引用本文： | 聂国霞,秦永彬,许道云.基于因子图求解(3,4=)-CNF公式类下可满足问题[J].计算机与数字工程,2013,41(5). |
| |
| 作者姓名： | 聂国霞 秦永彬 许道云 |
| |
| 作者单位： | 1. 贵州大学理学院 贵阳 550025
2. 贵州大学计算机科学与信息学院 贵阳 550025 |
| |
| 基金项目： | 国家自然科学基金项目，贵州省科学技术基金项目，贵州大学引进人才科研项目(编号:贵大人基合字 |
| |
| 摘 要： | 合取范式(CNF)公式F是(3,4=)-CNF公式,如果F中每个子句的长度是3,每个变元出现的次数恰好为4次.与(3,4=)-CNF公式所关联的因子图是一类规则的二部图,即每个子句结点的度为3,每个变元结点的度为4,此类规则图被称为(3,4)-双向正则二部图.对于一个(3,4=)-CNF公式F,如果它关联的因子图GF有P7路径因子,则F可满足.
|
| 关 键 词： | (3 4=)-CNF公式 因子图 (3 4)-双向正则二部图 可满足问题 |
Based on the Factor Graph for Solving Satisfiability Problem of (3,4=)-CNF Formula Class |
| |
| NIE Guoxia
,
QIN Yongbin
,
XU Daoyun.Based on the Factor Graph for Solving Satisfiability Problem of (3,4=)-CNF Formula Class[J].Computer and Digital Engineering,2013,41(5). |
| |
| Authors: | NIE Guoxia QIN Yongbin XU Daoyun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
