FUNDAMENTALS
mb 05-JUN-96

Bird must soar. Skunk must stink.
Cat must prowl. Man must think.

What sets man apart from beast is his engine of
thought. His mind. His
BRAIN
makes him unique
and gives him his greatest pleasure.

But fundamental as is thought for human beings,
( Read more... )

I cannot connect to https://secure.wikimedia.org for a long time. Fortunately, I found another place to go although there's only the English version of wikipedia, it is http://encyclopedia.thefreedictionary.com/

1. 因为一元数论函数的值域是 2^N, 对应于每个值域,都会有至少一个函数, 所以一元数论函数的个数 \ge \aleph
2. 一元数论函数集 \subeq 2^{NxN}, 而cardNxN=\aleph_0, 所以一元数论函数的个 \le 2^\aleph_0(i.e. \aleph)

由上面两点,得出一元数论函数的个数洽为 \aleph

按照 Franco 的 Y Combinator (http://www.ece.uc.edu/~franco/C511/html/Scheme/ycomb.html) 画了一个 A.Turing 的 \Theta Combinator ( Read more... )

http://bendi.google.com
缺陷就是貌似只有中国地区可以搜索, 难道这就是"本地"的意思???

今天第一次遇到一个所谓的概率算法:费马检测
先介绍一下费马小定理: Prime(n) \to \forall a < n, a^n=a(mod n)
费马检测是说, 对于某个小于 n 的正整数 a ,检测是否符合上述关系,如若符合,则 n 很有可能是素数,检测的数(a)越多,那么 n 是素数的概率就越大

ps: 即使是所有的 a 都通过了检测,n 也可能不是素数,这样的数被称为 Carmichael 数,当然,这样的数少之又少

还记得这个问题吗: 为什么 linux 内核代码里面的一些数据结构从 avl 树变成了 rb 树?
呵呵,这个问题貌似是我问的. 当时(也有三年了吧)和 trent 讨论过,因为我们都比较懒,没人去看看他们的细节,所以当时未果. 时至今日,上午去听了 Prof. Chen 的一节算法课,刚巧就是讲 rb tree, 现在算是明白了. 其实在插入元素的时候, rb tree 的调整只需 O(1), 而 avl tree 则需要 O(lgN)

Rajeev Alur
Randy Bryant
Edmund Clarke
David Dill
E Allen Emerson
Limor Fix
Thomas Henzinger
Gerard Holzmann
Ken McMillan
Amir Pnueli
Moshe Y. Vardi

http://www.ikepu.com/index.htm

发现vimgdb和taglist冲突,经"研究"(研究僧比较喜欢用"研究"二字?),发现原来是vimgdb的vim patch有个bug,现修正如下(在打过vimgdb patch的文件上打的patch,适用于vim7.0 ( Read more... )