图灵在 年就指出，图灵机并不是什么都能计算。最著名的例子就是停机问题，即没有计算机能通过查看一段代码就知道自己是会永远执行下去还是会最终停止。 摘自 可能与不可能的边界：P NP问题趣史 前言 我们都见过计算机屏幕上出现一个代表忙碌的小沙漏，不知道这是代表计算机死机了，还是在进行长时间的计算。用户该马上重启机器呢，还是再等一会儿 如果能有一个算法，告诉我们计算机是不是陷入了某种无穷循环该有多好 ...
2018-10-04 21:49 0 2279 推荐指数：
计算机技术已运用到人类生活的方方面面，帮助人类解决各种问题。可你是否有想过，计算机是否能为人类解决所有问题呢？ 假如你是一个程序猿，你已编写过很多程序。有些程序一下子就能出结果，有些程序则好久都没有显示结果。你不知道这些程序到底最终是否会显示结果。你突然灵光一现---“能不能设计一个程序 ...
目录 一、概念 二、反证法证明 1. 假设能写出停机函数check_halt(program, params) 2. 定义一个调用了check_halt并会触发死循环的函数self_root 3. self_root(self_root ...
可计算性 可计算性理论明确了在理论上可计算的函数应具有的特征。那些定义在自然数集上的、理论上可计算的函数通常被称为部分递归函数。概念中强调“理论上可计算”，是因为某些可计算函数在实际计算中可能会耗费 ...
1. 问题 如果硬币的面值是{1, 1*c, 2*c, …, k*c}， 则贪婪算法总是用最少的硬币找零。 如《离散数学及其应用》书中贪婪算法的反例： 有面值1, 10, 25的硬币，找零30。 贪婪算法的解：5c0 + 0c1 + 1c2 = 5*1 + 0*10 + 1*25 ...
1. 问题 如果硬币的面值是c0, c1, …, ck,则贪婪算法总是用最少的硬币找零 2. 证明 2.1 一个硬币的找零方式可以用如下公式来表示 m0c0 + m1c1 + … + mkck = S mi = 每种面值的硬币的数量(0, x) ci = 硬币的面值 根据题意 ...
目录 NP完全问题的证明 一、限制法 最小覆盖问题(VC) 子图同构问题 0-1背包(Knapsack) 三元集合的恰当覆盖(X3C) 集中集 有界度的生成树 ...
转载，原文地址：http://blog.csdn.net/xidianzhimeng/article/details/20856047 Sparsity 是当今机器学习领域中的一个重要话题。John ...
今天下午才上完课，自己再回顾一下，感觉做了几年真题，本块知识点考的几率可能不是很大，但仍需背住定理掌握。 一、方程组的公共解 所谓(I)和(II)的公共解就是既满足(I)又满足(II)的解，核心套路——联立 有以下三个方法： 一道题展示三个不同的方法： 一道2007年 ...
