CLASSES OF EFFICIENTLY COMPUTABLE LINEAR NEURAL NETS

被引:0
|
作者
OCCHINEGRO, P [1 ]
TAGLIAFERRI, R [1 ]
机构
[1] UNIV SALERNO,DIPARTIMENTO INFORMAT & APPLICAZ,I-84081 BARONISSI,ITALY
关键词
Analytical approach; Associative memories; Exact solution; Inverse problem; Stable and cyclic states; Threshold neural nets;
D O I
10.1016/0893-6080(90)90077-X
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The synthesis of a linear Boolean net is still an open problem in the study of neural nets. The aim of this paper is to introduce a class for which the solution is possible in polynomial computational time. In this class, by considering a neural net of n elements, once the evolution of n independent states is fixed a priori, we compute the algorithms to construct the synaptic matrix and the evolution of the remaining 2n - n states. These algorithms work in polynomial computational time; the class contains 2n matrices. The main result is the proof that for the class under examination the complete evolution of the net is fixed by an n × n permutation matrix P0 which connects the n independent states with their next successors. This reduces the time needed to study an arbitrary linear Boolean net from exponential to polynomial in the number of neurons. All information concerning the existence and identification of cycles, attractors, and transient states is contained in and easily retrievable from P0. © 1990.
引用
收藏
页码:347 / 353
页数:7
相关论文
共 50 条
  • [1] An efficiently computable characterization of stability and instability for linear cellular automata
    Dennunzio, Alberto
    Formenti, Enrico
    Grinberg, Darij
    Margara, Luciano
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2021, 122 : 63 - 71
  • [2] Efficiently Computable Lower Bounds for the p-radius of Switching Linear Systems
    Ogura, Masaki
    Jungers, Raphael M.
    [J]. 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 5463 - 5468
  • [3] Efficiently computable endomorphisms for hyperelliptic curves
    Kohel, David R.
    Smith, Benjamin A.
    [J]. ALGORITHMIC NUMBER THEORY, PROCEEDINGS, 2006, 4076 : 495 - 509
  • [4] Efficiently computable endomorphisms for hyperelliptic curves
    School of Mathematics and Statistics, University of Sydney, Australia
    [J]. Lect. Notes Comput. Sci., (495-509):
  • [5] CLASSES OF COMPLEXITY AND CLASSES OF SIGNALING COMPUTABLE FUNCTIONS
    MATROSOV, VL
    [J]. DOKLADY AKADEMII NAUK SSSR, 1976, 226 (03): : 513 - 515
  • [6] Computable axiomatizability of elementary classes
    Sinclair, Peter
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2016, 62 (1-2) : 46 - 51
  • [7] On a Class of Optimization Problems with No “Efficiently Computable” Solution
    Gavrilovich M.R.
    Kreps V.L.
    [J]. Journal of Mathematical Sciences, 2016, 215 (6) : 706 - 714
  • [8] Efficiently Computable Constrained Optima Feedback Controllers
    Chen, Yuqing
    Roveda, Loris
    Braun, David J.
    [J]. IEEE ROBOTICS AND AUTOMATION LETTERS, 2019, 4 (01) : 121 - 128
  • [9] Efficiently computable distortion maps for supersingular curves
    Takashima, Katsuyuki
    [J]. ALGORITHMIC NUMBER THEORY, 2008, 5011 : 88 - 101
  • [10] AN EFFICIENTLY COMPUTABLE METRIC FOR COMPARING POLYGONAL SHAPES
    ARKIN, EM
    CHEW, LP
    HUTTENLOCHER, DP
    KEDEM, K
    MITCHELL, JSB
    [J]. IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 1991, 13 (03) : 209 - 216