cd2dvd的博客

什么是“判定问题”？（1）－ 可计算性理论与计算复杂性理论已有 1843 次阅读 2015-6-6 00:07 |个人分类:不确定性问题和算法讨论|系统分类:科研笔记|关键词:P versus NP 计算复杂性理论 可计算性理论我们一直在解读，“P versus NP”之所以成为“世纪难题”，失足于NP定义：NP＝Nondeterministic Polynomial

NP是可计算的吗？－ “算法”的二个层次已有 1205 次阅读 2015-12-30 17:26 |个人分类:不确定性问题和算法讨论|系统分类:科研笔记|关键词:算法 问题 实例 图灵机 人于诸博文（注）我们解读流行观念“NP是可计算，但是难计算”，认为存在着认知错误，其根源在于人们未深究“算法”的本质（可计算性）。实际上，“算法”这一概念涉及到二个不同的层次：实例和问

NP是可计算的吗？－ “问题”的分类已有 1733 次阅读 2015-12-16 16:03 |个人分类:不确定性问题和算法讨论|系统分类:科研笔记|关键词:NP 可计算性 算法在现有的NP完备理论（Theory of NP-Completeness）中，一个典型的观念就是：“NP是可计算，但是难计算的”，如此，就有如下的问题分类：　 　　　　　　　　　　　　　　　　　　　　　　　　　...

英语博客：Nondeterminism and NP Theory（不确定性和NP理论）已有 412 次阅读 2017-8-25 05:50 |个人分类:不确定性问题和算法讨论|系统分类:科研笔记|关键词:英语博客最近德国波恩大学的计算机科学家Nobert Blum声称证明了“P/=NP” [1]，再次引发学术界对世纪难题“P vs NP”的关注与讨论。事实上，此问题不仅是计算机理论的基本...

什么是“判定问题”？（3）－ NP－hard与NP已有 1586 次阅读 2015-12-1 12:19 |个人分类:不确定性问题和算法讨论|系统分类:科研笔记|关键词:NP－hard NP我们已经从NP的二个定义等价的流行观点切入，通过解读NDTM、算法复杂度、停机问题，揭示了NP流行定义将NP与P混淆，导致NP的“不确定性”消失，是有“P versus NP”世纪难题的困惑。这里，...

NP理论（4）：判断如何成为算法已有 951 次阅读 2016-9-21 17:22 |个人分类:NP理论|系统分类:科研笔记|关键词:判断 判定 Entscheidungsproblem人机关系最后落实到算法层次上可以说就表现在人的“判断”与机器的“判定”关系上，希尔伯特第十问题与图灵的回答一起作为“判定问题（Entscheidungsproblem, decision problem）...

NP理论（3）：层次与中国传统逻辑已有 1126 次阅读 2016-8-30 12:57 |个人分类:NP理论|系统分类:科研笔记|关键词:NP理论 层次 中国传统逻辑 白马非马我们曾用中国传统逻辑的经典“白马非马”解析了流行的NP问题的两个定义中所隐含的层次上的混乱：基于“求解”，NP是NDTM（Non-Deterministic Turing Machine）多项式时间可求解的问题；基...

NP理论（2）：“判定问题”与“停机问题” 精选已有 2924 次阅读 2016-7-18 23:20 |个人分类:NP理论|系统分类:科研笔记|关键词:判定问题 停机问题计算机理论中现在流行的一个最基本术语就是“停机问题”（the Halting Problem），其基本意思是：判断任意一个程序是否会在有限的时间之内结束运行的问题。这种解释一开始就隐含了一个主体上的混乱，“判断者”是谁？...

什么是NP问题，什么有是NP完全问题（NP-complete problem） (2012-07-03 16:04:48)转载▼标签： 算法 杂谈 np p分类： 离散数学在算法复杂度分析的过程中，人们常常用特定的函数来描述目标算法，随着变量n的增长，时间或者空间消耗的增长曲