Your SlideShare is downloading. ×
香港六合彩
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×

Introducing the official SlideShare app

Stunning, full-screen experience for iPhone and Android

Text the download link to your phone

Standard text messaging rates apply

香港六合彩

610
views

Published on

的话我还要抽出一个来扯一扯,吹一吹,看看漏不漏气——老手们估计都是这样买避孕套的吧,反正买汽球时是要这样的. …

的话我还要抽出一个来扯一扯,吹一吹,看看漏不漏气——老手们估计都是这样买避孕套的吧,反正买汽球时是要这样的.
但实际情况却是这样:我先在药店中背着手逛来逛去,神情严肃,象个哲学家.服务员都以为我是某卫生机构的暗探而大气都不敢吭一声,生怕惹毛了我要查香港六合彩的进价.
我象是欣赏艺术品一样欣赏着各种奇奇怪怪的东西,海马啊,海蛇啊,海狗啊,驴鞭啊,狗肾啊听说这些玩艺儿都壮阳!——别的都还好说,可我实在想不出香港六合彩那鞭儿跟海马有什么狗屁联系.难道说,海马那小子也过着一种黄色生活?


0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
610
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. 关于复杂性理论的一点探讨 孙广中 sungz@mail.ustc.edu.cn
  • 2. 计算理论与计算复杂性理论 • 关于计算的形式描述 • 可计算与不可计算 • 计算复杂性的刻画 • 计算复杂性理论的应用 • 新的计算模型    
  • 3. 算法的定义 • 为实现某个任务而构成的简单指令集 • 有穷的计算良过程 • 通过有限多次运算可以决定的过程 正确 直观,非形式
  • 4. 算法的定义 • 希尔伯特第十问题( 1900 ) – 设计一个算法来判断多项式是否有整数根 – 算法:通过有限多次运算可以决定的过程 • Alan Turing & Alonzo Church ( 1936 ) – 图灵机程序 • 算法:图灵机程序 – 形式化的,精确的 演算−λ
  • 5. 可计算与不可计算 • 停机问题 • 希尔伯特第十问题 • 软件验证
  • 6. 计算复杂性的刻画 • P 类( Polynomial) • NP 类( Nondeterministic Polynomial ) • PSPACE 类 • IP 类 , RP 类 , … • NP- 完全理论
  • 7. 计算复杂性理论的应用 • 算法分析 • 近似算法的下界 • 随机算法
  • 8. 新的计算模型 • DNA 计算 • 量子计算 – Richard Feynman 1982 – David Deutsch 1985 – A.C. Yao 1993 – Peter Shor 1994 – Grover L. K. 1996
  • 9. 复杂性理论 • 关于复杂的形式描述 • 可描述与不可描述 • 复杂性的刻画 • 复杂性理论的应用 • 新的模型
  • 10. 是否需要这方面的研究?
  • 11. 大家谢谢 !