非確定性圖靈機(non-deterministic Turing machine)是1993年公布的數學名詞。
基本介紹
- 中文名:非確定性圖靈機
- 外文名:non-deterministic Turing machine
- 所屬學科:數學
- 公布時間:1993年
公布時間,出處,
公布時間
1993年,經全國科學技術名詞審定委員會審定發布。
出處
《數學名詞》第一版。
非確定性圖靈機(non-deterministic Turing machine)是1993年公布的數學名詞。
非確定性圖靈機 非確定性圖靈機(non-deterministic Turing machine)是1993年公布的數學名詞。公布時間 1993年,經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
(Non-deterministic Polynomial time),是指可以用非確定性圖靈機在多項式時間內計算出的問題。等價的另一種定義是其解的正確性能夠在多項式時間內被檢查的問題。簡介 NP,即非確定性多項式時間複雜性 Non-deterministic polynomial time 這...
在計算複雜性理論中,複雜性類NEXPTIME(有時稱為NEXP)是一組決策問題,可以通過使用時間2ⁿ的非確定性圖靈機來解決。介紹 在計算複雜理論內,複雜度類NEXPTIME(有時叫做NEXP)是一個決定性問題的集合,包含可以使用非確定型圖靈機...
在上面我們已經知道,NP是指“在非確定性圖靈機上有多項式時間算法的問題”的集合,而P是指“在確定性圖靈機上有多項式時間算法的問題”的集合。這裡我們都考慮的是判定型問題,即考慮一個語言L,我們要判斷一個字元串x是不是在L中。