Networks of picture processors as problem solvers

We propose a solution based on networks of picture processors to the problem of picture pattern matching. The network solving the problem can be informally described as follows: it consists of two subnetworks, one of them extracts at each step, simultaneously, all subpictures of identical (progressively decreasing) size from the input picture and sends them to the other subnetwork which checks whether any of the received pictures is identical to the pattern. We present an efficient solution based on networks with evolutionary processors only, for patterns with at most three rows or columns. Afterward, we present a solution based on networks containing both evolutionary and hiding processors running in $${\mathcal {O}}(n+m+kl)$$O(n+m+kl) computational (processing and communication) steps, for any size (n, m) of the input picture and (k, l) of the pattern. From the proofs of these results, we infer that any (k, l)-local language with $$1\le k\le 3$$1≤k≤3 can be decided in $${\mathcal {O}}(n+m+l)$$O(n+m+l) computational steps by networks with evolutionary processors only, while any (k, l)-local language with arbitrary k, l can be decided in $${\mathcal {O}}(n+m+kl)$$O(n+m+kl) computational steps by networks containing both evolutionary and hiding processors.

[1]  K. G. Subramanian,et al.  On array grammars and languages , 1987 .

[2]  Florin Manea,et al.  Complexity results for deciding Networks of Evolutionary Processors , 2012, Theor. Comput. Sci..

[3]  Patrick Shen-pei Wang,et al.  On sequential/parallel matrix array languages , 1975 .

[4]  Symeon Bozapalidis,et al.  Recognizable Picture Series , 2005, J. Autom. Lang. Comb..

[5]  Victor Mitrana,et al.  All NP-Problems Can Be Solved in Polynomial Time by Accepting Networks of Splicing Processors of Constant Size , 2006, DNA.

[6]  Patrick Shen-Pei Wang Hierarchical Structures and Complexities of Parallel Isometric Languages , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[7]  Tadao Takaoka,et al.  A technique for two-dimensional pattern matching , 1989, CACM.

[8]  Antonio Restivo,et al.  Recognizable Picture Languages , 1992, Int. J. Pattern Recognit. Artif. Intell..

[9]  Ming-Yang Kao,et al.  Complexities for generalized models of self-assembly , 2004, SODA '04.

[10]  Azriel Rosenfeld,et al.  Picture languages—a survey , 1993 .

[11]  Victor Mitrana,et al.  Accepting Networks of Evolutionary Picture Processors , 2014, Fundam. Informaticae.

[12]  Victor Mitrana,et al.  Solving 3CNF-SAT and HPP in Linear Time Using WWW , 2004, MCU.

[13]  Rani Siromoney,et al.  Picture Languages with Array Rewriting Rules , 1973, Inf. Control..

[14]  Rani Siromoney,et al.  Abstract families of matrices and picture languages , 1972, Comput. Graph. Image Process..

[15]  Azriel Rosenfeld,et al.  Digital Picture Processing , 1976 .

[16]  Gary Benson,et al.  Alphabet independent two dimensional matching , 1992, STOC '92.

[17]  Bernd Meyer,et al.  Visual Language Theory , 2012, Springer New York.

[18]  Ashish Goel,et al.  Running time and program size for self-assembled squares , 2001, STOC '01.

[19]  Antonio Restivo,et al.  Two-Dimensional Languages , 1997, Handbook of Formal Languages.

[20]  Ina Mäurer Characterizations of recognizable picture series , 2007 .

[21]  Victor Mitrana,et al.  Accepting Hybrid Networks of Evolutionary Processors , 2004, DNA.