约束满足问题的模型构造和相变现象

中文摘要	第1-7页
Abstract	第7-10页
第1章 引言	第10-22页
·概述	第10-19页
·约束满足问题的定义	第10-13页
·相变现象	第13-14页
·常见模型介绍	第14-18页
·归结法	第18-19页
·本文的主要成果	第19-21页
·本文结构	第21-22页
第2章 d-k-CSP模型	第22-42页
·d-k-CSP模型	第22-25页
·定理2.1中r>1的证明	第25-26页
·定理2.1中r<1的证明	第26-42页
·ρ的定义	第31-32页
·η(n)的构造	第32-35页
·(?)η(n)>0的情况	第35-39页
·(?)η(n)=0的情况	第39-42页
第3章 算法复杂性	第42-60页
·预备知识	第42-44页
·d-k-CSP模型的归结复杂性	第44-49页
·实验结果	第49-60页
·d为常数的情况	第49-54页
·d=lnn的情况	第54-60页
第4章 线性CSP模型	第60-68页
·κ-hyper-F-linear CSP模型	第60-64页
·线性方程组的算法分析	第64-68页
第5章 结论与展望	第68-70页
附录A 条件期望不等式等价于二阶矩的证明	第70-72页
参考文献	第72-78页
在校期间发表的论文、科研成果等	第78-80页
致谢	第80-81页