登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
一种广义分子计算模型及其在 NP问题中的应用
  • 摘要

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

  • 作者

    李艳梅  余文  宁建国  LI Yan-mei  YU Wen  NING Jian-guo 

  • 作者单位

    北京理工大学 机电学院爆炸科学与技术国家重点实验室,北京,100081/北京邮电大学计算机学院智能通信软件多媒体北京市重点实验室,北京,100876

  • 刊期

    2014年11期 ISTIC PKU

  • 关键词

    广义分子计算模型  图灵机  SAT问题  generalized molecular computational model  Turing machine  satisfiability problem 

参考文献
  • [1] 殷志祥,崔建中,支凌迎,孙侠,黄晓慧. 可满足问题的分子信标计算模型. 计算机学报, 2008,12
  • [2] 周康,魏传佳,刘朔,王防修. 可满足性问题的闭环DNA算法. 华中科技大学学报(自然科学版), 2009,7
  • [3] FEYNMAN R P. There's plenty of room at the bottom. California Institute of Technology Journal of Engineering and Science, 1960,02
  • [4] BENNETT C H. Logical reversibility of computation. IBMJournal of Research and Development, 1973,06
  • [5] BRAICH R S;CHELYAPOV N;JOHNSON C. Solution of a 20-variable 3-SAT problem on a DNA computer. SCIENCE, 2002,5567
  • [6] HEAD T;ROZENBERG G;BLADERGROEN R S. Computing with DNA by operating on plasmids. BIOSYSTEMS, 2000,02
  • [7] SEELIG G;SOLOVEICHIK D;ZHANG D Y. Enzyme-free nu-cleic acid logic circuits. SCIENCE, 2006,5805
  • [8] MASTROIANNI A J;CLARIDGE S A;ALIVISATOS A P. Pyramidal and chiral groupings of gold nanocrystals assembled using DNA scaf-folds. Journal of the American Chemical Society, 2009,24
  • [9] ALDAYE F A;SLEIMAN H F. Sequential self-assembly of a DNA hexagon as a template for the organization of gold nanoparticles. Angewanalte Chemie International Edition, 2006,14
  • [10] ALDAYE F A;SLEIMAN H F. Dynamic DNA templates for discrete gold nanoparticle assemblies control of geometry,modularity,write erase and structural switching. Journal of the American Chemi-cal Society, 2007,14
  • [11] SHARMA J;CHHABRA R;CHENG An-chi. Control of self-assembly of DNA tubules through integration of gold nanoparticles. SCIENCE, 2009,5910
  • [12] QIAN Lu-lu;WINFREE E;BRUCK J. Neural network computation with DNA strand displacement cascades. NATURE, 2011,7356
  • [13] XIAO Jian-hua;XU Jin. The DNA computatioin model based on giant magnetoresistance for SAT problem. Chinese Journal of Computers, 2013,04
  • [14] YU Wen;GAO Li;ZHENG Wei-min. A generalized Turing machine based on molecular computation. Computer Science, 2006,07
  • [15] ADLEMAN L. Molecular computation of solutions to combinational problems. SCIENCE, 1994,51 78
  • [16] HEAD T. Formal language theory and DNA:an analysis of the genera-tive capacity of specific recombinant behaviors. Bul etin of Mathe-matical Biology, 1987,06
  • [17] FREUND R;KARI L;PAUN G H. DNA computing based on spli-cing:the existence of universal computers. Theory of Co mputing Systems, 1999,01
  • [18] BENENSON Y;PAZ-ELIZUR T;ADAR R. Programmable and autonomous computing machine made of biomolecules. NATURE, 2001,22
  • [19] LILA K;STEFFEN K. Deciding whether a regualar language if gene-rated by splicing system. 2012
  • [20] ROWEIS S;WINFREE E;BURQOVNE R. A sticker-based model for DNA computation. Journal of Computational Biolo-gy, 1998,04
  • [21] SAKAMOTO K;GOUZU H;KOMIYA K. Molecular computa-tion by DNA hairpin formation. SCIENCE, 2000,5469
  • [22] ZHANG Cheng;YANG Jing;XU Jin. Molecular logic computing model based on self-assembly of DNA nanoparticles. Chinese Science Bul etin, 2011,33
  • [23] LIU Qing-hua;WANG Li-man;FRUTIONS A G. DNA compu-ting on surfaces. NATURE, 2000,13
  • [24] QIAN Lu-lu;WINFREE E. Scaling up digital circuit computation with DNA strand displacement cascades. SCIENCE, 2011,6034
查看更多︾
相似文献 查看更多>>
34.226.244.70