CSDN的大大们啊，行行好啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz
在pongba的讨论组上看到一道Amazon的面试题：找出给定字符串里的最长回文。例子：输入XMADAMYX。则输出MADAM。这道题的流行解法是用后缀树（Suffix Tree)。这坨数据结构最酷的地方是用它能高效解决一大票复杂的字符串编程问题：
在文本T里查询T是否包含子串P（复杂度同流行的KMP相当）。
文本T里找出最长重复子串。比如abcdabcefda里abc同da都重复出现，而最长重复子串是abc。
找出字符串S1同S2的最长公共子串。注意不是常用作动态规划例子的LCS哈。比如字符串acdfg同akdfc的最长公共子串为df，而他们的LCS是adf。
Ziv-Lampel无损压缩算法。
还有就是这道面试题问的最长回文了。
另外后缀树在生物信息学里应该应用广泛。碱基匹配和选取的计算本质上就是操作超长的{C, T, A, G, U}*字符串嘛。
虽说后缀树的概念独立于Trie的概念，但我觉阅读全文>
发表于 @ 2008年06月21日 19:02:00|评论(loading...)|收藏
  CSDN的大大们啊，求求你们了啊。修复这坨不能自动上传图片的错误啊。好像已经三个月了啊。图多的时候发文章真地很痛苦啊。Orz Orz Orz 准备八卦Edmund等人算法时才想起，人1986年成名作是讨论用CTL (Computational Tree Logic) 作规范语言的模型验证算法，而第一篇八卦失心疯只介绍了LTL。虽说也有算法对付Kripke结构上的LTL模型验证，但一来该算法的复杂度为P-SPACE，远不如在Kripke结构上玩儿CTL的算法复杂度来得震撼；二来经典的LTL模型验证方法是将LTL公式转换为Büchi Automata后表演自动机理论与搜索算法的花活。三来俺的初衷是介绍今年图灵奖得主Edmund等人的工作，铺垫半天后突然跳到跟自动机理论有关的LTL模型验证，大有相亲却看中女方伴娘的架势，不够厚道。所以这次先八卦CTL。下次再谈算法。其实Büchi Automata这类有限状态的无穷自动机妙趣无方，足够另开系列细细八卦。 幸好有LTL垫底，C阅读全文>
发表于 @ 2008年06月14日 15:58:00|评论(loading...)|收藏