重叠如何决定纤毛虫的大核基因
摘要：关于纤毛虫基因组装的形式化模型已经开发出来，特别是字符串指针减少系统（SPRS）和图指针减少系统（GPRS）。减少图在SPRS中是一个宝贵的工具，能够揭示有关给定基因的基因组装的许多信息。GPRS比SPRS更抽象，而且GPRS中没有保留SPRS中的所有信息。因此，通常情况下不能为GPRS定义减少图，但我们证明如果我们将自己限制在所谓的现实重叠图中，可以以与SPRS定义的等效方式来定义它。幸运的是，只有这些图对应于自然界中存在的基因。在GPRS中定义减少图允许将SPRS中依赖于减少图的几个结果推广过来。
作者：Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg
论文ID：cs/0702171
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23