声明
1 引言
1.1 课题背景及研究意义
1.2 课题来源及研究目标
1.3 国内外研究现状
1.4 NP-hard问题算法评价
1.5 本文的结构
2 最大团问题及分支定界算法基础
2.1 定义与符号
2.2 最大团问题
2.3 分支定界方案
2.4 定界策略
2.5 分支策略
2.6 本章小节
3 渐进MaxSAT推理
3.1 MaxSAT问题
3.2 最大团问题的MaxSAT编码
3.3 标准MaxSAT推理——改进上界估计
3.4 渐进MaxSAT推理——减少分支数量
3.5 一个实际的图例
3.6 本章小节
4 结合渐进MaxSAT推理与动静态分支策略的高效算法
4.1 基本的算法框架MC1及算法DoMC1d0、DoMC1和SoMC1
4.2 邻接矩阵重建和渐进上界
4.3 改进的算法框架MC2及算法DoMC2d0、DoMC2和SoMC2
4.4 混合分支顺序算法MoMC
4.5 实验结果与分析
4.6 本章小节
5 结合高效预处理与渐进MaxSAT推理的大稀疏图算法
5.1 大图中的最大团问题
5.2 基于core的最大团上界
5.3 大稀疏图算法LMC
5.4 实验结果与分析
5.5 本章小节
6 冲突驱动的顶点权重切分与加权最大团算法
6.1 加权最大团问题
6.2 基于冲突独立集探测的上界
6.3 冲突驱动的顶点权重切分
6.4 加权最大团算法WLMC
6.5 实验结果与分析
6.6 本章小节
7 总结与展望
致谢
参考文献
附录1 攻读学位期间发表论文及专利目录
附录2 攻读博士学位期间申请的发明专利和其他成果
附录3 攻读博士学位期间参与的科研项目