论文部分内容阅读
本文对四类DNA计算模型中的一些理论及其应用进行了研究和讨论,具体工作如下:粘贴系统是建立在粘贴运算基础上的语言生成器,也是一种遵循Watson- Crick互补性质进行退火操作的DNA计算抽象模型。本文将线性串的粘贴系统拓展到带有发夹结构的双向复杂结构粘贴系统,使粘贴系统的纯理论研究向实际生物操作技术研究迈进了一步。给出了双向复杂结构粘贴系统的定义及其基本运算;提出了双向复杂结构粘贴系统的分类;讨论了双向复杂结构粘贴系统的生成能力和计算能力;最后,通过双向复杂结构粘贴系统的弱编码刻画了递归可列语言,这表明双向复杂结构粘贴系统与递归可列语言族有相同的计算能力。粘贴模型有一个随机存取存储器,所使用的DNA链具有固定长度,操作时不需扩展DNA链,也无需酶的参与,并且它的材料在理论上可以重复使用。本文给出了图顶点着色问题的DNA粘贴算法。在研究图顶点着色问题时,从问题的本质出发,先把图的顶点着色问题分解成顶点独立集问题和顶点划分问题并给出这两个问题的DNA粘贴算法,然后调用这两个算法以解决图的顶点着色问题。图的全着色猜想是由M.Behzad和Vizing于1965年提出的。到目前为止,对于一般的图,全着色猜想仍然是一个公开的问题。本文从系列平行图的结构性质出发,利用双重归纳法和换色技巧确定了系列平行图的全色数。剪接系统是将剪接运算当作基本算子的一种语言生成器,其中剪接运算是对在限制性内切酶、DNA连接酶、DNA聚合酶和外切酶作用下,DNA链进行重组过程的数学抽象。本文利用剪接系统的巨大并行性,首先设计了模拟有向哈密顿路问题的剪接系统;然后通过此剪接系统所产生语言的性质对有向哈密顿路问题进行分析,给出了有向图的若干结构性质以及图中存在有向哈密顿路的充要条件。图的最小顶点覆盖问题是图论中的一个NP完全问题。它在分子生物学、调度问题、错误诊断和恢复集装线平衡、油轮行程安排及开关理论中有着广泛的应<WP=5>用。本文利用DNA表面计算模型对图的最小顶点覆盖问题进行了建模。构造了含有个顶点条边的图的顶点集子集对应的数据池之后,循环进行了合成、杂交、清洗、变性等生物操作,得到所有覆盖对应的DNA序列,然后通过编址过程得到我们所要求的最小顶点覆盖。最后通过个顶点条边的图对所建模型进行了验证。