随笔分类 - 算法研究
摘要:过程使用伪码证明停机问题不存在这样一个程序(算法),它能够计算任何程序(算法)在给定输入下是否会结束(停机)。停机问题的证明差不多是这样的先假设存在一个程序(算法),它能够计算任何程序(算法)在任何给定输入下是否会结束(停机)。设这个程序为A(prog,input)bool A(prog,input){ if(prog结束于input) return true; else returnfalse;}因为它能够计算任何程序(算法)在任何给定输入下是否会结束(停机)。假设有如下程序Bbool B(input){ if(A(input,input)) { whil...
阅读全文
摘要:我所理解的信息熵和最大熵原理,并结合算法的时间复杂度解释了一下
阅读全文
浙公网安备 33010602011771号