比浏览器更快的访问！
9 关系: 图灵机，確定型時間，非确定型图灵机，非確定型時間，計算資源，量子圖靈機，抽象機器，漸進分析，時間譜系理論。
图灵机
图灵机（），又称确定型图灵机，是英国数学家艾倫·图灵于1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。.
確定型時間
#重定向 DTIME.
新！!: 計算時間和確定型時間 · 查看更多 »
非确定型图灵机
如果不加特殊说明，通常所说的图灵机都是确定型图灵机。非确定型图灵机和确定型图灵机的不同之处在于，在计算的每一时刻，根据当前状态和读写头所读的符号，机器存在多种状态转移方案，机器将任意地选择其中一种方案继续运作，直到最后停机为止。具体而言，其状态转移函数为 \delta: Q \times \Gamma \to 2^ 其中Q是状态集合，\Gamma是带字母表，L, R分别表示读写头向左和向右移动；符号2^ 表示集合A的幂集，即 2^A.
新！!: 計算時間和非确定型图灵机 · 查看更多 »
非確定型時間
#重定向 NTIME.
新！!: 計算時間和非確定型時間 · 查看更多 »
計算資源
在計算複雜度理論內，計算資源（Computational resource）的意思是在特定計算模型之下，解決特定問題所要消耗的資源。 最簡單的計算資源是計算時間，計算解決特定問題需要花費的步驟數；以及記憶體空間，定義解決問題時所要花費的空間。不過，也有很多較為複雜的計算資源定義存在。 討論計算資源是非常有用的，因為我們可以用來研究哪些問題可以在給定的計算資源下得到解答。這樣，我們可以決定哪些演算法是最好的，並且有辦法討論演算法的效率。我們稱呼一個包含所有使用特定數量的資源能解決的題目之集合，為一個複雜度類。有關不同的複雜度類之間的關係，是計算複雜性理論內一個非常重要的研究領域。.
量子圖靈機
一個量子圖靈機（quantum Turing machine，QTM），或者通用量子計算機（universal quantum computer），是一個表示量子電腦能力的抽象機器。量子圖靈機使用一個簡單的模型來展示量子計算的能力。.
新！!: 計算時間和量子圖靈機 · 查看更多 »
抽象機器
抽象機器（Abstract machine），又稱抽象電腦（abstract computer），利用自動機理論，建立出電腦硬體或軟體的理論模型。把運算過程抽象化，一般來說是採用離散時間模型，可應用於電腦科學或電腦工程。在計算理論中，抽象機器經常被當成是一種思想實驗，用來推論可計算性（computability），或是分析演算法的複雜度。 Category:离散数学 Category:計算理論.
漸進分析
#重定向 渐近分析.
時間譜系理論
在計算複雜度理論內，時間譜系理論（Time hierarchy theorems）是一個有關圖靈機時間限制上面一個重要的理論。用不大正式的說法解釋，這理論告訴我們圖靈機在給予更多時間之後，保證能解決更多的問題。 舉例：必然存在問題是圖靈機可以用n2的時間解決，但是不能用n的時間解決。.
新！!: 計算時間和時間譜系理論 · 查看更多 »
重定向到这里：
计算时间。
