圖靈歸約是可计算性理论中的一種歸約，若問題A可圖靈歸約成問題B，是指若問題B的解答已經知道（Rogers 1967, Soare 1987），就可以解問題A，也可以解釋為若一個演算法可以用來處理問題B，就可以處理問題A。較正式的說法，可被圖靈歸約成問題B的問題是指若存在問題B的預言機，就可以求解的問題集合。圖靈歸約可以用在決定性問題及功能性問題。
相關條目 编辑
參考資料 编辑
- H. Rogers, 1967. Theory of recursive functions and effective computability. McGraw-Hill.
- R. Soare, 1987. Recursively enumerable sets and degrees, Springer.
外部連結 编辑
- NIST Dictionary of Algorithms and Data Structures: Turing reduction （页面存档备份，存于互联网档案馆）
圖靈歸約, 是可计算性理论中的一種歸約, 若問題a可成問題b, 是指若問題b的解答已經知道, rogers, 1967, soare, 1987, 就可以解問題a, 也可以解釋為若一個演算法可以用來處理問題b, 就可以處理問題a, 較正式的說法, 可被成問題b的問題是指若存在問題b的預言機, 就可以求解的問題集合, 可以用在決定性問題及功能性問題, 相關條目, 编辑黑盒, 图灵机, 交互式证明系统, 隨機預言機參考資料, 编辑h, rogers, 1967, theory, recursive, functions. 圖靈歸約是可计算性理论中的一種歸約 若問題A可圖靈歸約成問題B 是指若問題B的解答已經知道 Rogers 1967 Soare 1987 就可以解問題A 也可以解釋為若一個演算法可以用來處理問題B 就可以處理問題A 較正式的說法 可被圖靈歸約成問題B的問題是指若存在問題B的預言機 就可以求解的問題集合 圖靈歸約可以用在決定性問題及功能性問題 相關條目 编辑黑盒 图灵机 交互式证明系统 隨機預言機參考資料 编辑H Rogers 1967 Theory of recursive functions and effective computability McGraw Hill R Soare 1987 Recursively enumerable sets and degrees Springer 外部連結 编辑NIST Dictionary of Algorithms and Data Structures Turing reduction 页面存档备份 存于互联网档案馆 nbsp 这是一篇與科技相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 圖靈歸約 amp oldid 78457072, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。