随笔分类 -  算法研究

摘要:过程使用伪码证明停机问题不存在这样一个程序(算法),它能够计算任何程序(算法)在给定输入下是否会结束(停机)。停机问题的证明差不多是这样的先假设存在一个程序(算法),它能够计算任何程序(算法)在任何给定输入下是否会结束(停机)。设这个程序为A(prog,input)bool A(prog,input){ if(prog结束于input) return true; else returnfalse;}因为它能够计算任何程序(算法)在任何给定输入下是否会结束(停机)。假设有如下程序Bbool B(input){ if(A(input,input)) { whil... 阅读全文
posted @ 2012-07-28 21:18 某yin 阅读(564) 评论(0) 推荐(0)
摘要:我所理解的信息熵和最大熵原理,并结合算法的时间复杂度解释了一下 阅读全文
posted @ 2012-07-22 22:51 某yin 阅读(7472) 评论(9) 推荐(2)