Computational and computer complexity of analogic cellular wave computers

被引:28
作者
Roska, T
机构
[1] Hungarian Acad Sci, Comp & Automat Res Inst SZTAKI, H-1111 Budapest, Hungary
[2] Pazmany P Catholic Univ, Fac Informat Technol, H-1111 Budapest, Hungary
基金
匈牙利科学研究基金会;
关键词
CNN; Universal Machine on flows; computational complexity;
D O I
10.1142/S0218126603001021
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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 (alpha-recursive functions) represent not only a new world in computing, but also, a more general type of logic inference.
引用
收藏
页码:539 / 562
页数:24
相关论文
共 41 条
[1]   AXIOMS AND FUNDAMENTAL EQUATIONS OF IMAGE-PROCESSING [J].
ALVAREZ, L ;
GUICHARD, F ;
LIONS, PL ;
MOREL, JM .
ARCHIVE FOR RATIONAL MECHANICS AND ANALYSIS, 1993, 123 (03) :199-257
[2]   HOW SENSORY MAPS COULD ENHANCE RESOLUTION THROUGH ORDERED ARRANGEMENTS OF BROADLY TUNED RECEIVERS [J].
BALDI, P ;
HEILIGENBERG, W .
BIOLOGICAL CYBERNETICS, 1988, 59 (4-5) :313-318
[3]  
BALYA D, 2002, IN PRESS INT J CIRCU, V30
[4]  
BALYA D, COMMUNICATION
[5]  
BLUM L, 1988, COMPLEXITY REAL COMP
[6]   INFORMATION-THEORETIC COMPUTATIONAL COMPLEXITY [J].
CHAITIN, GJ .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1974, 20 (01) :10-15
[7]  
Chua L. O., 1998, PARADIGM COMPLEXITY
[8]   CELLULAR NEURAL NETWORKS - THEORY [J].
CHUA, LO ;
YANG, L .
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1988, 35 (10) :1257-1272
[9]   THE CNN IS UNIVERSAL AS THE TURING MACHINE [J].
CHUA, LO ;
ROSKA, T ;
VENETIANER, PL .
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS, 1993, 40 (04) :289-291
[10]  
CHUA LO, 2001, IN PRESS CELLULAR NE