一种广义分子计算模型及其在 NP问题中的应用

目前各种分子计算模型多基于生物技术，求解一个问题的分子计算机算法很难不作修改地应用于其他类似的问题，尚不似传统计算机般通用。为此，提出一种基于图灵机的广义分子计算模型，其由一台单带图灵机、一条单向只写带和一条工作带组成，通过只写带与工作带之间特殊的映射函数实现并行的同时读、写操作。实验说明了该模型能够在多项式时间求解NP完全的满足性问题（SAT），比现有分子计算模型在计算准确性和通用性上存在明显优势。...

Full description

Saved in:
Bibliographic Details
Published in计算机应用研究 Vol. 31; no. 11; pp. 3353 - 3356
Main Author 李艳梅 余文 宁建国
Format Journal Article
LanguageChinese
Published 北京理工大学 机电学院爆炸科学与技术国家重点实验室,北京,100081%北京邮电大学计算机学院智能通信软件多媒体北京市重点实验室,北京,100876 2014
Subjects
SAT问题
图灵机
广义分子计算模型
SAT问题
generalized molecular computational model
satisfiability problem
图灵机
Turing machine
广义分子计算模型
Online AccessGet full text
ISSN1001-3695
DOI10.3969/j.issn.1001-3695.2014.11.035

Cover

More Information
Summary:目前各种分子计算模型多基于生物技术，求解一个问题的分子计算机算法很难不作修改地应用于其他类似的问题，尚不似传统计算机般通用。为此，提出一种基于图灵机的广义分子计算模型，其由一台单带图灵机、一条单向只写带和一条工作带组成，通过只写带与工作带之间特殊的映射函数实现并行的同时读、写操作。实验说明了该模型能够在多项式时间求解NP完全的满足性问题（SAT），比现有分子计算模型在计算准确性和通用性上存在明显优势。
Bibliography:51-1196/TP
LI Yan-mei, YU Wen, NING Jian-guo （1. State Key Laboratory of Explosive Science ＆ Technology, College of Mechatronical Engineering, Beijing Institute of Technology, Beijing 100081, China; 2. Beijing Key Laboratory of Intelligent Telecommunication Software ＆ Multimedia, College of Computer, Beijing University of Posts ＆ Telecommunications, Beijing 100876, China）
DNA computing is a novel parallel computation paradigm.Existing models were mostly based on molecular biologi-cal technology and different from the traditional computers,they were less universal than traditional ones,so the algorithm or a DNA computer just for one kind of problem could not be transplanted to solve other problems without any modification.This paper put forward a new generalized molecular computational model（designated by GMCM）based on Turing machine,which did not rely on biotechnology and included an ordinary single tape Turing machine,a finite write-only tape,and a special working tape.Through the topological mapping between t
ISSN:1001-3695
DOI:10.3969/j.issn.1001-3695.2014.11.035