负暄琐话

我的email: rot47('649@ 6(hF+`hd"w=92vhG{>}G3"@l M >:&a...

祥林嫂精神恍惚痛苦呼唤之关于Suffix Tree

CSDN的大大们啊,行行好啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz在pongba的讨论组上看到一道Amazon的面试题:找出给定字符串里的最长回文。例子:输入XMADAMYX。则输出MADAM。这道题的流行解法是用后缀树(Suf...

2008-06-21 19:02:00

阅读数 156192

评论数 15

八卦一下模型验证(三)

 CSDN的大大们啊,求求你们了啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz准备八卦Edmund等人算法时才想起,人1986年成名作是讨论用CTL (Computational Tree Logic) 作规范语言的模型验证算法,而第...

2008-06-14 15:58:00

阅读数 125730

评论数 8

提示
确定要删除当前文章?
取消 删除
关闭
关闭