摘要：
1、语言是递归的 当且仅当它和它的补都是递归可枚举的。2、语言是递归可枚举的 当且仅当它是Turing可枚举的。3、语言是递归的 当且仅当它是以字典序Turing可枚举的。 阅读全文
随笔档案-2013年01月
【CT】Universal Turing Machine
2013-01-17 19:12 by Loull, 294 阅读, 收藏, 编辑
摘要：
In computer science, a universal Turing machine (UTM) is a Turing machine that can simulate an arbitrary Turing machine on arbitrary input. The universal machine essentially achieves this by reading both the description of the machine to be simulated as well as the input thereof from its own tape.精心 阅读全文
【CT】【转】Church论题
2013-01-17 19:02 by Loull, 409 阅读, 收藏, 编辑
摘要：
http://hi.baidu.com/jilule/item/2ed6991fd5e88d643f87cef6在理论计算机科学中，有了可计算性概念严格的数学刻划，才使证明一系列重要的数学问题的算法不可解性成为可能。一个众所周知的事实是，直到1935年著名 的“算法可计算函数都是递归函数”这一丘奇论题提出，算法可计算性这个直观概念才有了精确的数学刻划。而同样需要指出的是，哥德尔(K.Gödel)在此 之前的1931年就引进了原始递归函数概念，1934年明确给出一般递归函数的定义，1934年春还曾与丘奇(A.Church)一起讨论如何给“算法可 计算性”下一个精确的数学定义的问题。那么 阅读全文
【python】python path，macports，easy-install，numpy，scipy，ipython，matplotlib,集成工具
2013-01-10 20:30 by Loull, 1255 阅读, 收藏, 编辑
摘要：
两个集成套件，包括了科学计算用到的包1、python(x,y) 一看名字就是用来做科学计算的 甚至将Eclipse 和qt都包括进来了 地址http://code.google.com/p/pythonxy/包括如下python组件Python/xy/xydoc/PyQt/QtHelp/PyQwt/PyQwt3D/PyGTK/wxPython/NumPy/SciPy/numexpr/Matplotlib/PIL/IPython/Pyreadline/SetupTools/ETS/VTK/ITK/pydicom/VPython/PyOpenGL/OpenCV/SymPy/cvxopt/Netwo 阅读全文
【CT】【转】第一个 NP-complete 问题
2013-01-10 19:47 by Loull, 238 阅读, 收藏, 编辑
摘要：
http://blog.csdn.net/crfoxzl/article/details/2192843NP 是 Non-deterministic Polynomial 的缩写，NP 问题通俗来说是其解的正确性能够被很容易检查的问题，这里"很容易检查"指的是存在一个多项式检查算法。例如，著名的推销员旅行问题（Travel Saleman Problem or TSP）：假设一个推销员需要从香港出发，经过广州，北京，上海，…，等 n 个城市， 最后返回香港。 任意两个城市之间都有飞机直达，但票价不等。现在假设公司只给报销 $C 块钱，问是否存在一个行程安排，使得他能遍历所有 阅读全文
【CT】【转】 P,NP,NP-complete,NP-hard
2013-01-10 19:37 by Loull, 442 阅读, 收藏, 编辑
摘要：
http://blog.csdn.net/crfoxzl/article/details/2192957NP问题就是指其解的正确性可以在多项式时间内被检查的一类问题。比如说数组求和，得到一个解，这个解对不对呢，显然是可以在多项式时间内验证的。再比如说SAT，如果得到一个解，也是能在多项式时间内验证正确性的。所以SAT和求和等等都是NP问题。然后呢，有一部分NP问题的解已经可以在多项式时间内找到，比如数组求和，这部分问题就是NP中比较简单的一部分，被命名为P类问题。那么P以外的NP问题，就是目前还不能够在多项式时间内求解的问题了。会不会将来某一天，有大牛发明了牛算法，把这些问题都在多项式时间内解 阅读全文
【java】【转】Java之classpath
2013-01-06 22:15 by Loull, 252 阅读, 收藏, 编辑
摘要：
http://www.cnblogs.com/wxf0701/archive/2008/08/23/1274579.html1.class搜索路径的重要性理解class搜索路径对所有Java开发人员来说都很重要，但是，IDE的广泛使用掩盖了这项技术，使大家普遍对它缺乏了解，甚至包括好多老鸟。这个问题在开发分布式应用时尤其严重，因为应用程序运行时的系统环境可能和开发时的大不相同。本文详细描述了某些Java类被其他代码引用时，Java编译器和JVM如何使用类搜索路径定位这些类。这儿用一个非常简单的例子——同一个包中的两个类——来具体说明。我们将通过不同的方式来编译这两个类，根据classpath的 阅读全文
【ML】【转】关于主成分分析的五个问题
2013-01-02 22:28 by Loull, 385 阅读, 收藏, 编辑
摘要：
http://blog.sina.com.cn/s/blog_66035a700100hupi.html主成分分析是一种多元分析中最常见的降维和赋权方法。然而，在实际的应用中，许多人在没有搞清楚方法的意义时就大胆使用，很有点好分析不求甚解的味道。要知道这样的行为不仅害人而且害己。所谓害人，就是害了阅读你报告的人；所谓害己，就是你会一而再，再而三的犯错。第一问：为什么要降维？在实际分析问题时，研究者往往选择很多的指标。这些指标之间经常会存在一定程度的线性相关，这样就会导致信息的重叠。直白说就是用多个指标分析一个 问题，由于某些指标反映的是问题的同一方面，这样如果把全部指标都同等地纳入模型，就会导 阅读全文
