计算机科学与技术博士论文,计算机科学与技术系博士学位论文答辩.PDF

计算机科学与技术系博士学位论文答辩

计算机科学与技术系计算机科学与技术系博士学位论文答辩博士学位论文答辩

可满足性问题的算法设计与分析可满足性问题的算法设计与分析

研研究究生：贺思敏生：贺思敏

指导教师：张指导教师：张钹钹教授教授

1997.5.28

- 1 -

1. 选题背景选题背景

选题背景选题背景

• 一个问题：清华大学排课表问题

科学研究要健康发展，科学研究要健康发展，应当面向真应当面向真

科学研究要健康发科学研究要健康发展，展，应当面向真应当面向真

实问题的求解。实问题的求解。

排课表问题 → SAT 问题

• 一个方法：局部搜索

2. 透视计算复杂性理论透视计算复杂性理论

透视计算复杂性理论透视计算复杂性理论

SAT: 70 年代最优解

第一个 NP 完全问题

90 年代近似解

Max-3-SAT: 1.258 可近似

1.038 不可近似(P≠NP)

启发式算法：有限合理性

- 2 -

• 成果特点：计算机不能做什么

• 技巧特点：不直接构造算法

P≠NP

P =? NP

P=NP

NP 完全问题在科学研究和实际应完全问题在科学研究和实际应

完全问题在科学研究和实际应完全问题在科学研究和实际应

用中广泛存在，用中广泛存在，仅仅指出它们的难解性是仅仅指出它们的难解性是

不够的，更重要的是正面寻求解决方法，不够的，更重要的是正面寻求解决方法，

其中的关键是算法的设计与分析。其中的关键是算法的设计与分析。

• 计算复杂性理论的局限性

以不变(算法)应万变(问题)，

最坏情况

算法设计应当面向每一个实例的求算法设计应当面向每一个实例的求

解，以万变应不变、以万变应万变。解，以万变应不变、以万变应万变。

- 3 -

例 1. 《科学美国人》94 年 7 月

“一个129 位数的密码提前 4 亿亿年被破译”

例 2. 《个人电脑》96 年 9 月

“Netscape 安全防线崩溃”

1995.7.14 RC4 算法 40 位密码加密后的信息

1995.8.15 法国博士生，8 天，盲目猜测，

计算机科学与技术博士论文,计算机科学与技术系博士学位论文答辩.PDF相关推荐

流水线技术是通过增加计算机硬件来实现的,学位论文--流水线仿真-实现与设计.doc...
本科学生毕业设计(论文) 流水线仿真实现与设计 Graduation Design (Thesis) of Chongqing University Design and Implementation ...
可行性分析（研究方法、技术路线、实验手段、关键技术）、学位论文研究的工作条件
开题报告 1.学位论文研究的目的.意义 2.目前国内外的研究现状 3.学位论文研究的主要内容 4.学位论文研究的方案及可行性分析(包括研究方法.技术路线.实验手段.关键技术等说明) 5.创新点和关键问 ...
瑟瑟发抖！2020年博士学位论文将抽查50%、硕士20%！
转自:考博圈来源:教育部.科研大匠编辑:学长 3月2日,教育部在其官网发布了题为:中山大学坚持与国家战略和区域发展同频共振推动研究生教育内涵建设的简报.简报中指出: 中山大学严把"出口 ...
中南大学计算机硕士论文格式,中南大学硕士、博士学位论文格式的统一要求...
中南大学硕士.博士学位论文格式的统一要求 (暂行) 学位论文是研究生从事科研工作的成果体现,它集中表明了作者在研究工作中获得的新发明.新理论.新方法或新见解,是申请硕士.博士学位的主要依据.为了保证学 ...
中南大学计算机硕士论文格式,中南大学硕士、博士学位论文格式的统一要求.pdf...
中南大学硕士.博士学位论文格式的统一要求论文编写要领大纲中南大学中南大学硕士.博士学位论文格式的统一要求 (暂行) 学位论文是研究生从事科研工作的成果体现,它集中表明了作者在研究工作中获得的新发 ...
华中科技大学计算机学院查重,华中科技大学硕士博士学位论文检测及处理暂行规定...
根据<中华人民共和国教育部令第34号学位论文作假行为处理办法>.<关于严肃处理高等学校学术不端行为的通知>(教社科2009[3]号).<华中科技大学学术道德规范及学术 ...
高校严查学位论文复制比！降至10%！博士论文需打印40份！
本文来源:厦门大学研究院官网.百度百科.中外学术情报等为加强研究生学位论文.学位授予的惯例,"双一流"高校厦门大学已于近日推出多项举措. 12月19日,厦门大学研究生院官网发布& ...
【引用】免费论文检测系统软件论文免费检测论文抄袭检测大师万方数据论文相似性检测系统万方论文检测...
转载请注明:http://jiancelunwen.blog.163.com/blog/static/2031182372009420928035/ 免费论文检测+论文检测免费+论文抄袭检测大师 +论 ...
湖南大学计算机软件开发毕业论文,湖南大学研究生学位论文_学位论文各页均加页眉,在版心上边线隔一行1 5磅的加粗、细双线(粗线在上),其上居_东城文库...
以下为<湖南大学研究生学位论文>的无排版文字预览,完整格式请下载下载前请仔细阅读文字预览以及下方图片预览.图片预览是什么样的,下载的文档就是什么样的. 湖南大学研究生学位论文撰写规范 ...
严厉！毕业6年后被举报学位论文抄袭，高校撤销了他的硕士学位！
点击上方"视学算法",选择加"星标"或"置顶" 重磅干货,第一时间送达本文募格学术撰写.参考资料:大连理工大学软件学院.大连理工大学软件学 ...

计算机科学与技术博士论文,计算机科学与技术系博士学位论文答辩.PDF

计算机科学与技术博士论文,计算机科学与技术系博士学位论文答辩.PDF相关推荐

最新文章

热门文章