计算复杂性理论

计算复杂性理论 正文　　理论计算机科学的分支学科，使用数学方法对计算...界作估计等，构成计算复杂性理论的主要研究内容。 　　数理逻辑和数学本身...等。这就使得计算复杂性理论作为理论计算机科学的一个分支而发展起来...

所属分类： 计算复杂性理论

李祥

，贵州电子学会第二届副理事长，贵州省科协副主席。从事数理逻辑递归论、计算理论和计算复杂性理论等方面的研究。撰有论文《可计算性理论导引》、《递归可...

所属分类： 红楼梦人物

曼纽尔·布卢姆

曼纽尔·布卢姆---密码系统和程序检验先驱，计算复杂性理论的主要奠基...加斯。Blum是计算的复杂性理论的奠基人之一，该理论可以应用于密码术及程序...在那里以奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获得计算...

所属分类： 人物 图灵奖获得者

《保密系统的通信理论》

）的重要工具，而且也是探索现代密码理论的有力武器。文中所提出的破译密码的计算量理论已和计算机理论中的计算复杂性理论结合起来，成为评价密码安全性的一个...要概念，并提出评价保密系统的5条标准,即保密度、密钥量、加密操作的复杂性...

计算理论

。计算理论主要包括算法、算法学、计算复杂性理论、可计算性理论、自动机理论和... 简介 计算理论 【theory of computation】 用来研究计算的过程与功效的数学理论。1936年，数理逻辑专家便提出了计算...

所属分类： 计算数学

史提芬·古克

简介史提芬·A·古克(Stephen A. Cook)是计算机科学家，计算复杂性理论的重要研究者。 成果1971年，在他的论文...，令这个范畴于之后的十年成为计算机科学中最活跃和重要的研究。 古克现为...

NP完全问题

NP完全问题的研究推动 了计算复杂性理论的发展，产生了许多新概念，提出...

多带图灵机模型

多带图灵机模型 正文　　计算复杂性理论中常用的一种计算模型，它是简单图灵机的一种推广。多带图灵机由一个有穷控制器、一条输入带、一条输出带和...停机。这时输出带上的内容即被认为是计算的结果。对于长度为n的输入,机器从...

理论计算机科学

);③形式语义学；④算法分析和计算复杂性理论。在这些领域中，自动机理论和...，…，Xn是程序S 中的变量）。 　　算法分析和计算复杂性理论 　关于...的复杂性的研究称作算法分析，而一般算法复杂性的研究称作计算复杂性理论。计算...

六连棋

六连棋 定义：六连棋是在六边形格的棋盘上玩的图版游戏，亦是数学游戏，通常使用10乘10或11乘11的菱形棋盘（约翰·纳希则采用14×14的棋盘）。在计算复杂性理论，六连棋已证明了是PSPACE完备的。（注意不少...

所属分类： 棋类

搜索计算复杂性理论相关的维吧

1[2][3]下一页最后一页