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