第一章 绪论
1.1 研究背景
1.2 国内外研究现状
1.3论文研究的主要内容
1.4论文的组织结构
第二章 基础知识
2.1 可满足性问题
2.2 因子图
2.3 树分解及树宽
2.4 本章小结
第三章 图的树分解及树分解算法
3.1 基于消点序的启发式树分解算法
3.2 基于割集的启发式树分解算法
3.3 构造图的树分解
3.4 本章小结
第四章 树分解算法求解随机3-CNF公式的因子图
4.1 二分图的树分解算法
4.2 公式因子图的树宽
4.3 实验结果及分析
4.4 本章小结
第五章 线性CNF公式的结构性质及树分解
5.1 线性CNF公式
5.2 线性公式判定算法
5.3 线性CNF公式的树分解及树宽
5.4 本章小结
第六章 结束语
6.1 论文主要工作总结
6.2 论文中存在的不足
6.3 研究展望
致 谢
参考文献
附 录
图 版
声明
贵州大学;
