重念一次早該補起來的「資料結構與演算法」。這篇筆記 Nondeterministic Turing Machine 非確定型圖靈機。
課程相關資訊
[連結]:https://hiskio.com/courses/572/lectures/30007
本篇範圍:Chapter 13
請注意:本系列文章為個人對應課程的消化吸收後,所整理出來的內容。換言之,並不一定會包含全部的課程內容,也有可能會添加其他資源來說明。
內容
圖靈機:一個抽象的計算機概念。絕大多數的演算法和電腦,都是 deterministic TM。亦即每一步驟,你會執行一個決定和運算。
Nondeterministic Turning Machine 是指在每一步驟執行超過一個決定,你會需要有無限多個 cpu 來進行同步運算。因此這樣的機器在現實中當前是不存在的。其概念是 NTM 是一個很幸運的 Guesser,因為它可以平行來找到解,花費時間為 O(1) 或是 Polynomial Time,接著再對這些解進行驗證。