Author_Institution :
Comput. and Automation Res. Inst., Hungarian Acad. of Sci., Budapest, Hungary
Abstract :
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 of 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 at computational and computer complexities. The new analogic cellular array computer paradigm based on the CNN Universal Machine (generalized to UMF), and its physical implementation in CMOS and optical technologies, proves experimentally the relevance of the role of accuracy and problem parameter role in computational complexity, as well as the need of rigorous definition of computational complexity for UMF. 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 biology relevance of the UMF are presented in relation to complexity theory. It is shown that algorithms using spatial-temporal continuous elementary instructions (a-recursive functions) represent not only a new world in computing, but also a more general type of logic inferencing.
Keywords :
analogue computers; cellular neural nets; computational complexity; neural chips; neural net architecture; CMOS; CNN Universal Machine; accuracy; algebraic complexity; analogic cellular wave computers; area; biology; combinatorial complexity; computational complexity; computer architectures; computer complexity; dynamic complexity; logic inferencing; mathematical machines; optical technologies; power dissipation; spatial temporal elementary instructions; spatial-temporal continuous elementary instructions; universal machine on flows; universal machine on integers; universal machine on reals; Biology computing; CMOS technology; Cellular neural networks; Computational complexity; Computer aided instruction; Computer architecture; Optical arrays; Optical computing; Physics computing; Turing machines;