摘要：
图灵在1936年就指出，图灵机并不是什么都能计算。最著名的例子就是停机问题，即没有计算机能通过查看一段代码就知道自己是会永远执行下去还是会最终停止。——摘自《可能与不可能的边界：P/NP问题趣史》 前言 我们都见过计算机屏幕上出现一个代表忙碌的小沙漏，不知道这是代表计算机死机了，还是在进行长时间的计 阅读全文
posted @ 2018-10-04 21:49 MwingFly 阅读(6000) 评论(0) 推荐(0) 编辑
摘要：
致谢：http://www.docin.com/p-1902790324.html 阅读全文
posted @ 2018-10-04 19:43 MwingFly 阅读(544) 评论(0) 推荐(0) 编辑
摘要：
Richard Karp发明了缩写记号P，用来表示有好算法的判定问题。P类的正式定义是指，能在多项式时间内由一台单带图灵机解决的问题，换言之，如果输入带上的符号数目为n，那么必定存在指数k和常数C，保证图灵机经过至多Cnk步以后必然停机。当然，这种定义相当好，单带图灵机可以替换为多带图灵机，甚至换成 阅读全文
posted @ 2018-10-04 19:35 MwingFly 阅读(5770) 评论(0) 推荐(0) 编辑
摘要：
图灵机与确定性算法 多项式时间内归约才是有效的。 以多项式作为分界函数？ 一、常见算法大致分为两类： 一类是多项式时间内可实现的 另一类需要指数时间（O(cn)） 二、多项式时间算法与计算模型无关 算法的研究依赖于计算模型。在不同类型计算模型上实现算法，计算时间不同。 广义Church-Turing 阅读全文
posted @ 2018-10-04 16:18 MwingFly 阅读(841) 评论(0) 推荐(0) 编辑