Probe Machine

In this paper, we present a novel computing model, called probe machine (PM). Unlike the turing machine (TM), PM is a fully parallel computing model in the sense that it can simultaneously process multiple pairs of data, rather than sequentially process every pair of linearly adjacent data. We establish the mathematical model of PM as a nine-tuple consisting of data library, probe library, data controller, probe controller, probe operation, computing platform, detector, true solution storage, and residue collector. We analyze the computation capability of the PM model, and in particular, we show that TM is a special case of PM. We revisit two NP-complete problems, i.e., the graph coloring and Hamilton cycle problems, and devise two algorithms on basis of the established PM model, which can enumerate all solutions to each of these problems by only one probe operation. Furthermore, we show that PM can be implemented by leveraging the nano-DNA probe technologies. The computational power of an electronic computer based on TM is known far more than that of the human brain. A question naturally arises: will a future computer based on PM outperform the human brain in more ways beyond the computational power?

[1]  A. Turing On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[2]  Alan M. Turing,et al.  Computability and λ-definability , 1937, Journal of Symbolic Logic.

[3]  A. S. Ramsey The Mathematical Papers of Sir William Rowan Hamilton , 1931, Nature.

[4]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[5]  Gordon E. Moore,et al.  Progress in digital integrated electronics , 1975 .

[6]  Dror G. Feitelson Optical computing - a survey for computer scientists , 1988 .

[7]  Eitan M. Gurari,et al.  Introduction to the theory of computation , 1989 .

[8]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[9]  N. Seeman,et al.  Design and self-assembly of two-dimensional DNA crystals , 1998, Nature.

[10]  D. Aharonov Quantum Computation , 1998, quant-ph/9812037.

[11]  J. Reif,et al.  Logical computation using algorithmic self-assembly of DNA triple-crossover molecules , 2000, Nature.

[12]  Dana,et al.  JSL volume 88 issue 4 Cover and Front matter , 1983, The Journal of Symbolic Logic.

[13]  Jin Xu,et al.  A DNA computer model for solving vertex coloring problem , 2006 .

[14]  D. Atlas,et al.  Reconstitution of depolarization and Ca2+-evoked secretion in Xenopus oocytes monitored by membrane capacitance. , 2008, Methods in molecular biology.

[15]  Xu Jin DNA Computer Principle,Advances and Difficulties(V):Immobilization Technology of DNA Molecule , 2009 .

[16]  Adam H. Marblestone,et al.  Rapid prototyping of 3D DNA-origami shapes with caDNAno , 2009, Nucleic acids research.

[17]  Jin Xu,et al.  An Unenumerative DNA Computing Model for Vertex Coloring Problem , 2011, IEEE Transactions on NanoBioscience.

[18]  J. O. Jeppesen,et al.  Molecular logic gates using surface-enhanced Raman-scattered light. , 2011, Journal of the American Chemical Society.

[19]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[20]  D. Lim,et al.  Chromatin-based epigenetics of adult subventricular zone neural stem cells , 2013, Front. Genet..

[21]  Yiran Chen,et al.  Memristor Crossbar-Based Neuromorphic Computing System: A Case Study , 2014, IEEE Transactions on Neural Networks and Learning Systems.

[22]  Michael J. Watts,et al.  IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS Publication Information , 2020, IEEE Transactions on Neural Networks and Learning Systems.

[23]  Maoguo Gong,et al.  A Multiobjective Sparse Feature Learning Model for Deep Neural Networks , 2015, IEEE Transactions on Neural Networks and Learning Systems.

[24]  Shukai Duan,et al.  Memristor-Based Cellular Nonlinear/Neural Network: Design, Analysis, and Applications , 2015, IEEE Transactions on Neural Networks and Learning Systems.

[25]  Gerd Folkers,et al.  On computable numbers , 2016 .

[26]  Jun Wang,et al.  A Bi-Projection Neural Network for Solving Constrained Quadratic Optimization Problems , 2016, IEEE Transactions on Neural Networks and Learning Systems.

[27]  Klaudia Beich Optical Computer Architectures The Application Of Optical Concepts To Next Generation Computers , 2016 .

[28]  Manuel E. Lladser,et al.  Quantum Computation , 2018, Scholarpedia.

[29]  L. Christophorou Science , 2018, Emerging Dynamics: Science, Energy, Society and Values.