计算复杂性理论判定型是什么?
计算复杂性理论判定型是什么?
计算复杂性理论(Computational complexity theory)是计算理论的一部分,研究计算问题时所需的资源,比如时间和空间,以及如何尽可能的节省这些资源。 计算复杂性理论所研究的资源中最常见的是时间(要通过多少步才能解决问题)和空间(在解决问题时需要多少内存)。
其他资源亦可考虑,例如在并行计算中,需要多少并行处理器才能解决问题。 时间复杂度是指在计算机科学与工程领域完成一个算法所需要的时间,是衡量一个算法优劣的重要参数。时间复杂度越小,说明该算法效率越高,则该算法越有价值。 空间复杂度是指计算机科学领域完成一个算法所需要占用的存储空间,一般是输入参数的函数。
它是算法优劣的重要度量指标,一般来说,空间复杂度越小,算法越好。我们假设有一个图灵机来解决某一类语言的某一问题,设有X个字(word)属于这个问题,把X放入这个图灵机的输入端,这个图灵机为解决此问题所需要的工作带格子数总和称为空间。 复杂度理论和可计算性理论不同,可计算性理论的重心在于问题能否解决,不管需要多少资源。
而复杂性理论作为计算理论的分支,某种程度上被认为和算法理论是一种“矛”与“盾”的关系,即算法理论专注于设计有效的算法,而复杂性理论专注于理解为什么对于某类问题,不存在有效的算法。
计算复杂性理论判定型问题和可计算性主条目:判定性问题我们考虑对一个算法问题,什么样的回答是我们所需要的
答:1简介2历史3基本概念和工具判定型问题和可计算性复杂性类简介NP与P关系问题电路复杂性▪其它NP与P关系问题相关的理论5理论与实践计算复杂性理论简介编辑计算复杂...详情>>