計(jì)算機(jī)科學(xué)與技術(shù)系博士學(xué)位論文答辯

計(jì)算機(jī)科學(xué)與技術(shù)系計(jì)算機(jī)科學(xué)與技術(shù)系博士學(xué)位論文答辯博士學(xué)位論文答辯

計(jì)算機(jī)科學(xué)與技術(shù)系計(jì)算機(jī)科學(xué)與技術(shù)系博士學(xué)位論文答辯博士學(xué)位論文答辯

可滿足性問(wèn)題的算法設(shè)計(jì)與分析可滿足性問(wèn)題的算法設(shè)計(jì)與分析

可滿足性問(wèn)題的算法設(shè)計(jì)與分析可滿足性問(wèn)題的算法設(shè)計(jì)與分析

研研 究究 生：賀思敏生：賀思敏

研研 究究 生：賀思敏生：賀思敏

指導(dǎo)教師：張指導(dǎo)教師：張 鈸鈸 教授教授

指導(dǎo)教師：張指導(dǎo)教師：張 鈸鈸 教授教授

1997.5.28

- 1 -

1. 選題背景選題背景

選題背景選題背景

? 一個(gè)問(wèn)題：清華大學(xué)排課表問(wèn)題

科學(xué)研究要健康發(fā)展，科學(xué)研究要健康發(fā)展，應(yīng)當(dāng)面向真應(yīng)當(dāng)面向真

科學(xué)研究要健康發(fā)科學(xué)研究要健康發(fā)展，展，應(yīng)當(dāng)面向真應(yīng)當(dāng)面向真

實(shí)問(wèn)題的求解。實(shí)問(wèn)題的求解。

實(shí)問(wèn)題的求解。實(shí)問(wèn)題的求解。

排課表問(wèn)題 → SAT 問(wèn)題

? 一個(gè)方法：局部搜索

2. 透視計(jì)算復(fù)雜性理論透視計(jì)算復(fù)雜性理論

透視計(jì)算復(fù)雜性理論透視計(jì)算復(fù)雜性理論

SAT: 70 年代 最優(yōu)解

第一個(gè) NP 完全問(wèn)題

90 年代 近似解

Max-3-SAT: 1.258 可近似

1.038 不可近似(P≠NP)

啟發(fā)式算法：有限合理性

- 2 -

? 成果特點(diǎn)：計(jì)算機(jī)不能做什么

? 技巧特點(diǎn)：不直接構(gòu)造算法

P≠NP

P =? NP

P=NP

NP 完全問(wèn)題在科學(xué)研究和實(shí)際應(yīng)完全問(wèn)題在科學(xué)研究和實(shí)際應(yīng)

完全問(wèn)題在科學(xué)研究和實(shí)際應(yīng)完全問(wèn)題在科學(xué)研究和實(shí)際應(yīng)

用中廣泛存在，用中廣泛存在，僅僅指出它們的難解性是僅僅指出它們的難解性是

用中廣泛存在，用中廣泛存在，僅僅指出它們的難解性是僅僅指出它們的難解性是

不夠的，更重要的是正面尋求解決方法，不夠的，更重要的是正面尋求解決方法，

不夠的，更重要的是正面尋求解決方法，不夠的，更重要的是正面尋求解決方法，

其中的關(guān)鍵是算法的設(shè)計(jì)與分析。其中的關(guān)鍵是算法的設(shè)計(jì)與分析。

其中的關(guān)鍵是算法的設(shè)計(jì)與分析。其中的關(guān)鍵是算法的設(shè)計(jì)與分析。

? 計(jì)算復(fù)雜性理論的局限性

以不變(算法)應(yīng)萬(wàn)變(問(wèn)題)，

最壞情況

算法設(shè)計(jì)應(yīng)當(dāng)面向每一個(gè)實(shí)例的求算法設(shè)計(jì)應(yīng)當(dāng)面向每一個(gè)實(shí)例的求

算法設(shè)計(jì)應(yīng)當(dāng)面向每一個(gè)實(shí)例的求算法設(shè)計(jì)應(yīng)當(dāng)面向每一個(gè)實(shí)例的求

解，以萬(wàn)變應(yīng)不變、以萬(wàn)變應(yīng)萬(wàn)變。解，以萬(wàn)變應(yīng)不變、以萬(wàn)變應(yīng)萬(wàn)變。

解，以萬(wàn)變應(yīng)不變、以萬(wàn)變應(yīng)萬(wàn)變。解，以萬(wàn)變應(yīng)不變、以萬(wàn)變應(yīng)萬(wàn)變。

- 3 -

例 1. 《科學(xué)美國(guó)人》94 年 7 月

“一個(gè)129 位數(shù)的密碼提前 4 億億年被破譯”

例 2. 《個(gè)人電腦》96 年 9 月

“Netscape 安全防線崩潰”

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

1995.8.15 法國(guó)博士生，8 天，盲目猜測(cè)，

總結(jié)

以上是生活随笔為你收集整理的计算机科学与技术博士论文,计算机科学与技术系博士学位论文答辩.PDF的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。