计算的复杂性.pptVIP

顾 小 丰 Email：guxf@uestc.edu.cn * 课程信息 教材 主要参考书 一、数值计算的复杂性（10学时） 多项式求根的不动点迭代算法：多项式求根的不动点迭代算法及该算法的收敛性、复杂性和误差估计 收敛性和复杂性--算法优劣判断的两个层次：问题的规模，多项式时间算法，指数时间算法，梵塔问题 库恩算法及其计算复杂性：半空间C×[-1,+∞]的三角剖分，整数标号法，棱，全标三角形，互补轮迴（同标号顶替）算法，进口出口分析，计算的单纯形序列，计算的点序列，聚点，库恩算法的收敛性定理，库恩算法的误差估计，库恩算法的复杂性，库恩算法的单调性问题 二、算法的计算复杂性和计算模型（6学时） 算法与它的计算复杂性：算法，问题的规模，渐进时间复杂性，渐进空间复杂性，问题的三个类型 确定型图灵机：k带确定型图灵机的定义，确定型图灵机的时间复杂性，确定型图灵机的空间复杂性 随机存取机RAM：随机存取机RAM的定义，RAM的指令介绍 RAM程序的计算复杂性：最坏情况下的复杂性，期望复杂性，RAM程序的最坏情况下的时间（空间）复杂性，RAM程序的期望时间（空间）复杂性，均匀耗费标准，对数耗费标准 图灵机和RAM机的相关性：图灵机模型和RAM机模型是多项式相关的的几个定理 PIDGIN　ALGOL语言：语言的基本语句及其耗费 三、四个“难”问题的算法设计（6学时） 贪心法和背包问题：贪心法，背包问题，用贪心法求解背包问题的算法及其复杂性 动态规划和货郎担问题：动态规划，货郎担问题，用动态规划求解货郎担问题的算法及其复杂性 回溯法和图的可着色问题：回溯法，子集和问题，状态空间树，图的可着色性，用回溯法找图的m-着色算法及其复杂性 分枝限界法和带时限的作业调度问题：分枝限界法，带时限的作业调度问题，用分枝限界法求解带时限的作业调度问题的算法及其复杂性 四、NP--完全问题（14学时） 多项式归约与可满足性问题：判定问题，语言，编码，P类问题，多项式归约，可满足性问题（SAT） 非确定型图灵机：非确定型图灵机，非确定型图灵机的时间（空间）复杂性，非确定型图灵机的时间（空间）复杂性与确定型图灵机的时间（空间）复杂性的关系 NP类：NP类问题，几个NP类问题的介绍 NP—完全问题与Cook定理：NP—完全问题，Cook定理，NP—完全问题的证明方法 六个基本的NP--完全问题：三元可满足性问题（3SAT），三维匹配问题（3DM），顶点覆盖问题（VC），团集问题，哈密顿回路问题（HC），划分问题 NP—完全问题的证明方法：限制法，局部替换法，分量设计法 五、近似算法（4学时） 近似的接近程度衡量 几个特殊问题的近似算法 0-1背包问题 装箱问题 图的着色问题 货郎担问题 多处理机调度问题 其它 答疑 时间：星期五下午3:00～5:00 地点：计算机学院东203或208 总评成绩 平时成绩×20％＋期末成绩×80％ 10 - * 课程简介 电子科技大学计算机学院 顾小丰 计算的复杂性 2006年2月20日 课程编号：061605 课程名称：计算的复杂性 英文名称：Computing　complexity 开课单位：计算机学院 任课教师：顾小丰 课程类别(博、硕)：硕 博 开课时间(春、秋)：春 周学时/总学时：4/40 学分：2 考试/考察：考试 计算复杂性 顾小丰　孙世新　卢光辉 机械工业出版社 2005.1 徐森林，王则柯，代数方程组和计算复杂性理论，科学出版社，1989。 陈志平，?徐宗本，计算机数学：计算复杂性理论与NPC、NP难问题的求解，科学出版社，2001。 张立昂，可计算性与计算复杂性导引，北京大学出版社，1996。 张立昂，沈泓，毕源章译，吴允曾校，计算机和难解性：NP完全性理论导引，科学出版社，1987。 赵瑞清，孙宗智，计算复杂性概论，气象出版社，1989。 张立昂，陈进元，耿素云译，可计算性、复杂性、语言：理论计算机科学基础，清华大学出版社，1989 * * * *