转载请注明作者：phylips@bmy 出处：http://duanple.blog.163.com/blog/static/7097176720098283597120/
对于通常的尾递归很容易转换成循环。通过手工模拟我们基本上就可以确定如何进行转换。实际上尾递归的转换也可以看成是下面这种模式的特殊情况，在这种模式下，尾递归只是一个这样的递归树。
转载请注明作者：phylips@bmy 出处：http://duanple.blog.163.com/blog/static/70971767200982584340501/
1.求最长回文子串。
[解法]：
将整个字 符串反过来写在原字符串后面，中间用一个特殊的字符隔开。这样就把问题变为了
求这个新的字符串的某两个后缀的最长公共前缀。而某两个后缀的lcs的计算利用后缀数组，可以O(1),这样总的复杂度就可以降为O(n)。
eg：aabebf —-> aabebf&fbebaa
涉及到字符串的问题，无外乎这样一些算法和数据结构：自动机 KMP算法 Extend-KMP 后缀树 后缀数组 trie树 trie图及其应用。当然这些都是比较高级的数据结构和算法，而这里面最常用和最熟悉的大概是kmp，即使如此还是有相当一部分人也不理解kmp，更别说其他的了。当然一般的字符串问题中，我们只要用简单的暴力算法就可以解决了，然后如果暴力效率太低，就用个hash。当然hash也是一个面试中经常被用到的方法。这样看来，这样的一些算法和数据结构实际上很少会被问到，不过如果使用它们一般可以得到很好的线性复杂度的算法。
1.将字符串转换成整数，将整数转换为字符串，浮点数与字符串的转换(atoi itoa)
int atoi(const char *str){
int res = 0;
int sign;
assert(str != NULL);
if(str[0] == ‘-‘) sign = -1;
else if(str[0] == ‘+’) sign =1;
else if(isdigit(str[0])){sign = 1;res=str[0] – ‘0’;}
这个程序，大概在2006年看到的，当时进行了分析，主要分析了位运算那部分：如何利用浮点数的位表示法快速计算一个近似值。而对于整个迭代计算原理并没有仔细看，今天再重新分析一下，并把当时那部分分析写的更明了些。
并发执行，在我们串行执行的pc上的含义，是指两部分的程序代码，可能以任意的次序执行。如果它们对共享对象进行了修改，如果汇编指令的执行顺序不同，就可能产生不同的结果，这样就有问题，必须对程序的执行过程进行控制。这个本质也提供了一种我们分析一段程序是否需要人工控制的标准:考虑两个程序的汇编级的指令混合，结果会如何？
由于整个网络是非常巨大的，如果想把整个网络上的主机看成同样的层次，运行相同路由算法，这根本是不可行的。实际的网络是通过分层的思想，将数量庞大的主机联系起来。将整个internet划分成很多不同的自治系统，自治系统内部运行一个路由算法，自治系统之间通过边界路由器进行通讯，这样一个分层系统实际上通过一个默认网关地址联系起来，我们可以注意到前面一篇文章中的网络地址0.0.0.0,这个是默认网关地址，即自治系统接入主干网的入口，如果本自治系统内无法找到目标地址，就要交给上层主干网，因为它跨越了不同的区域，这样两个层次在包传递的过程中就联系起来了。
一个http请求的详细过程
我们来看当我们在浏览器输入http://www.mycompany.com:8080/mydir/index.html,幕后所发生的一切。
首先http是一个应用层的协议，在这个层的协议，只是一种通讯规范，也就是因为双方要进行通讯，大家要事先约定一个规范。
面试的时候，书写程序要注意以下几点
1.确认了解题意，如果对题意了解不清，应该向面试人员问清楚
2.明确题意后，首先思考找到一个复杂度可以接受的正确算法，并表述出来，注意可以在草稿纸上写写划划，进行验证
3.观察复杂度能否再次降低
4.书写程序时，一定要认真，坚决防止出现逻辑错误，并根据程序具体分析可能的极端情况，处理好边界，并自己进行用例测试，以验证程序。
转载请注明作者：phylips@bmy 出处：http://duanple.blog.163.com/blog/static/7097176720098311658625/
RSA加密系统，实际上基于这样一个基本事实。大数的素性测试要比因子分解简单的多，因子分解是一个难问题。
素数测试
如何测试一个数n是不是素数呢？简单的办法就是试一下它能否整除比它小的那些数，当然可以优化只检测小于sqare(n),但是无论如何优化，需要检测的数的个数都将不会小于小于sqare(n)的素数的个数。根据拉格朗日定理，小于n的素数的个数大概=n/ln(n)，也就是说这个数目很大，数量级上很接近n了。所以这个路子实际上很难降低复杂度。
转载请注明作者：phylips@bmy 出处：http://duanple.blog.163.com/blog/static/7097176720098210128972/
欧几里德算法
用来求两个数的最大公约数的算法。具体如下
int gcd(int a,int b){
if(b == 0) return a;
return gcd(b,a%b);
}
首先看正确性证明，实际上需要证明gcd(a,b)=gcd(b,a%b),我们只要证明gcd(a,b)=gcd(a-b,b)即可，因为可以由此逐步扩展为gcd(a,b) = gcd(a-k*b,b),而 gcd(a-k*b,b)=gcd(a%b,b)。
因为a,b的公约数必然是a-b,b的公约数故 gcd(a,b) <= gcd(a-b,b);另a-b b的公约数也必然是a b的公约数，gcd(a,b) >= gcd(a-b,b).所以gcd(a,b) = gcd(a-b,b)。证明完毕。
http://blog.csdn.net/programmer_editor/archive/2009/02/06/3865839.aspx
■ 文／牛新庄
编者按：牛新庄，数据库维护、优化和架构专家；曾获得国内数据库领域最高荣誉——“2006年中国首届杰出数据库工程师”； 数年前曾被IBM全球软件部以年薪60万元人民币聘用，而他却婉然拒绝。这样一个躲藏在幕后的“牛人”，有着怎样的学习、发展之路？为此，本刊特邀牛新庄博士，请他讲述一个真实版的“数据库之路”。
转载请注明作者：phylips@bmy
哥德尔完备性定理
希尔伯特在20世纪20年代介绍了他的元数学纲领：一致性有待证明的公理将被包含在一个形式逻辑系统之内，而证明仅仅是有限数目的符号的一种排列而已。当希尔伯特开始思考希尔伯特纲领时，希尔伯特的学生阿克曼和冯诺依曼似乎正在朝着用有限性方法证明PA的一致性的方向大步迈进。他们二人都已经为PA的一个有限的子系统找到了这样的证明，成功似乎指日可待。
转载请注明作者：phylips@bmy
弗雷格的突破与绝望
弗雷格的一生主要发表了这样三本著作：《概念演算–一种模仿算术语言构造的纯思维的符号语言》（1879）、《算术的基础–对数概念的逻辑数学研究》（1884）《算术的基本规律》（l卷 1893，2卷1903）。
序
人类的历史可以看做一部关于解放的历史。也有这样的说法，懒惰是人类进步的动力。为了偷懒，人类不断的做着各种努力，发明了各种机器工具，将自己从繁重的劳动解放出来，另一方面，每一次大的进步，都需要解放思想，同时也带来了全人类思想的大解放。在这样的历程中，计算机的出现无疑将人类从很多繁重的作业中解放了出来。与此同时，有些人开始思考能否制造出可以像人类一样进行思考的机器，以将人类从创造性的劳动和逻辑思考中解放出来，交给机器去完成。
1.购买cell处理器ps3
安装操作系统，安装编程环境cellsdk
利用该编程环境编译mpi库，blas库，lapack，blacs，scalapck库
这些库放到intel上的异构编程环境下，编写并行程序，将生成的可执行程序放到ps3上，与intel上的运行
测试普遍的blas库和ibm提供的面向cell的blas库的效率差异
8月1日，早上坐上前往丽江的飞机
3个小时后到达丽江
订好的中巴已经在机场外等待，上车前往丽江龙宫假日酒店，放下行李。步行来到了黑龙潭，这里山不是很高，湖水很清，流水从上面留下聚成一条小溪，穿过丽江古镇。上山的路上可以看到偶尔有流水从山上留下。天是蓝的，山是留的，都倒映在湖中
老实说关于计算机专业方面的体会大概有很多了。网上比较有名的大概有这么几篇
胡侃学习(理论)计算机 http://www.tinydust.net/prog/diary/2009/07/sir_29.html
我的大学十年（林锐） http://tech.cuit.edu.cn/forum/thread-123-1-1.html
以前我也写过一篇，写在大学边上…,时隔三年，我又写下了这篇文章，其实三年前我就知道我会写这样一篇文章。三年后，当然某些认识已经发生改变，有些也依然未变。其间很多时候我都在考虑一个问题，大学到底是什么呢？在这有限的时间里该把自己培养成什么样的人呢？我们的教育缺少的是什么呢？实际上这样的一些问题和观点，我也曾经在bbs的某些帖子中透露过。在思考的过程中，我也开始查阅一些国外大学计算机专业的课程设置，培养方案，希望从中可以得到一些启发，也在阅读一些文章，对其中的思考有所接受和借鉴。
1.话说scalapck还是可以运行在异构平台上的，虽然效率目前未知，但是设计时有考虑这个异构的问题，证据如下
http://netlib.org/scalapack/scalapack_install.pdf 其中的2.4 Run the PBLAS Test Suite
Testing instructions with MPICH on a network of workstations
Then, to run the executable, you will use the command mpirun. For example,
mpirun -np <number of processes> <executable>
where <executable> is replaced by xspblas1tst, and so on. If the network of work-
stations is heterogeneous, you will need to specify the -p4pg option and supply a text file
containing the names of the machines and the locations of the executables to which you will
spawn tasks. Refer to the mpirun manpage for complete details.
LAPACK:内含BLAS
错误：
spstrf.f: In subroutine `spstrf’:
spstrf.f:102: warning:
INTRINSIC MAX, MIN, SQRT, MAXLOC
^
Reference to unimplemented intrinsic `MAXLOC’ at (^) (assumed EXTERNAL)
spstrf.f:102:
INTRINSIC MAX, MIN, SQRT, MAXLOC
^
Invalid declaration of or reference to symbol `maxloc’ at (^) [initially seen at (^)]
spstrf.f:204:
ITEMP = MAXLOC( WORK( (N+J):(2*N) ), 1 )
1 2
Invalid token at (2) in expression or subexpression at (1)
spstrf.f:291:
ITEMP = MAXLOC( WORK( (N+J):(2*N) ), 1 )
1 2
Invalid token at (2) in expression or subexpression at (1)