Computational And Computer Complexity Of Analogic Cellular Wave Computers

The CNN Universal Machine is generalized as the latest step in computational architectures: a Universal Machine on Flows. Computational complexity and computer complexity issues are studied in different architectural settings. Three mathematical machines are considered: the universal machine on integers (UMZ), the universal machine on reals (UMR) and the universal machine on flows (UMF). The three machines induce different kinds of computational difficulties: combinatorial, algebraic, and dynamic, respectively. After a broader overview on computational complexity issues, it is shown, following the reasoning related the UMR, that in many cases the size is not the most important parameter related to computational complexity. Emerging new computing and computer architectures as well as their physical implementation suggest a new look on computational and computer complexities. The new analog-and-logic (analogic) cellular array computer paradigm, based on the CNN Universal Machine, and its physical implementation in CMOS and optical technologies, proves experimentally the relevance of the role of accuracy and problem parameter in computational complexity. We introduce also the rigorous definition of computational complexity for UMF and prove an NP class of problems. It is also shown that choosing the spatial temporal elementary instructions, as well as taking into account the area and power dissipation, these choices inherently influence computational complexity and computer complexity, respectively. Comments related to relevance to biology of the UMF are presented in relation to complexity theory. It is shown that algorithms using spatial-temporal continuous elementary instructions (α-recursive functions) represent not only a new world in computing, but also, a more general type of logic inference.

[1]  L. Chua.  Cnn: A Paradigm for Complexity , 1998 .

[2]  Lin-Bao Yang,et al.  Cellular neural networks: theory , 1988 .

[3]  L. Chua,et al.  Simulating nonlinear waves and partial differential equations via CNN. I. Basic techniques , 1995 .

[4]  Tamás Roska,et al.  A CNN framework for modeling parallel processing in a mammalian retina: Research Articles , 2002 .

[5]  Tamás Roska,et al.  AnaLogic Wave Computers-wave-type algorithms: canonical description, computer classes, and computational complexity , 2001, ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196).

[6]  Ángel Rodríguez-Vázquez,et al.  A CNN UNIVERSAL CHIP IN CMOS TECHNOLOGY , 1996 .

[7]  F. Werblin,et al.  Vertical interactions across ten parallel, stacked representations in the mammalian retina , 2001, Nature.

[8]  Tamás Roska.  Computer-Sensors: Spatial-Temporal Computers for Analog Array Signals, Dynamically Integrated with Sensors , 1999, J. VLSI Signal Process..

[9]  Tamás Roska,et al.  An optical CNN implementation with stored programmability , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[10]  Leon O. Chua,et al.  The CNN is universal as the Turing machine , 1993 .

[11]  Tamás Roska,et al.  The use of CNN models in the subcortical visual pathway. (Reseach report of the Dual and Neural Computing Systems Laboratory DNS-16-1992) , 1993 .

[12]  Gregory J. Chaitin,et al.  Information-theoretic computation complexity , 1974, IEEE Trans. Inf. Theory.

[13]  Ricardo Carmona-Galán,et al.  A CNN Universal Chip in CMOS Technology , 1996, Int. J. Circuit Theory Appl..

[14]  Tamás Roska,et al.  CNN-based spatio-temporal nonlinear filtering and endocardial boundary detection in echocardiography , 1999 .

[15]  T. Roska.  Analog events and a dual computing structure using analog and digital circuits and operators , 1988 .

[16]  Gregory J. Chaitin,et al.  Information-Theoretic Computational Complexity , 1974 .

[17]  Erzsébet Csuhaj-Varjú,et al.  On the Computational Completeness of Context-Free Parallel Communicating Grammar Systems , 1999, Theor. Comput. Sci..

[18]  P. Lions,et al.  Axioms and fundamental equations of image processing , 1993 .

[19]  Leon O. Chua,et al.  Computing with Front Propagation: Active Contour And Skeleton Models In Continuous-Time CNN , 1999, J. VLSI Signal Process..

[20]  W. Heiligenberg,et al.  How sensory maps could enhance resolution through ordered arrangements of broadly tuned receivers , 2004, Biological Cybernetics.

[21]  I. Szatmari.  The implementation of a nonlinear wave metric for image analysis and classification on the 64/spl times/64 I/O CNN-UM chip , 2000, Proceedings of the 2000 6th IEEE International Workshop on Cellular Neural Networks and their Applications (CNNA 2000) (Cat. No.00TH8509).

[22]  Leon O. Chua,et al.  Cnn Dynamics represents a Broader Class than PDES , 2002, Int. J. Bifurc. Chaos.

[23]  Erzsébet Csuhaj-Varjú.  Networks of Language Processors , 1997, Bull. EATCS.

[24]  S. Zöld,et al.  The computational infrastructure of analogic CNN computing. I. The CNN-UM chip prototyping system , 1999 .

[25]  Akos Zar.  The Computational Infrastructure of Analogic CNN Computing—Part I: The CNN-UM Chip Prototyping System , 1999 .

[26]  Tamás Roska,et al.  The CNN universal machine: an analogic array computer , 1993 .

[27]  Stephen Smale,et al.  Some Remarks on the Foundations of Numerical Analysis , 1990, SIAM Rev..