Skip to main content
Log in

Networks of picture processors as problem solvers

  • Focus
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

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)\) computational (processing and communication) steps, for any size (nm) of the input picture and (kl) of the pattern. From the proofs of these results, we infer that any (kl)-local language with \(1\le k\le 3\) can be decided in \({\mathcal {O}}(n+m+l)\) computational steps by networks with evolutionary processors only, while any (kl)-local language with arbitrary kl can be decided in \({\mathcal {O}}(n+m+kl)\) computational steps by networks containing both evolutionary and hiding processors.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

References

  • Adleman LM, Cheng Q, Goel A, Huang M (2001) Running time and program size for self-assembled squares. In: Proceedings of 33rd ACM STOC, pp 740–748

  • Aggarwal G et al (2005) Complexities for generalized models of self-assembly. SIAM J Comput 34(2005):1493–1515

    Article  MathSciNet  MATH  Google Scholar 

  • Alarcón PP, Arroyo F, Mitrana V (2012) Networks of polarized evolutionary processors as problem solvers. In: Advances in knowledge-based and intelligent information and engineering systems, frontiers in artificial intelligence and applications. IOS Press, pp 807–815

  • Amir A, Benson G, Farach M (1992) Alphabet independent two dimensional matching. In: Proceedings of 24th ACM STOC, pp 59–68

  • Bottoni P, Labella A, Mitrana V (2014) Networks of evolutionary picture processors. Fundam Inform 131:337–349

    MathSciNet  MATH  Google Scholar 

  • Bozapalidis S, Grammatikopoulou A (2005) Recognizable picture series. J Autom Lang Combin 10:159–183

    MathSciNet  MATH  Google Scholar 

  • Giammarresi D, Restivo A (1997) Two-dimensional languages. In: Handbook of formal languages. Springer, Berlin, pp 215–267

  • Giammarresi D, Restivo A (1992) Recognizable picture languages. Int J Pattern Recognit Artif Intell 6:241–256

    Article  MATH  Google Scholar 

  • Inoue I, Takanami I (1990) A survey of two-dimensional automata theory. In: Proceedings of 5th international meeting of young computer scientists, LNCS 381. Springer, Berlin, pp 72–91

  • Manea F (2012) Complexity results for deciding networks of evolutionary processors. Theor Comput Sci 456:65–79

    Article  MathSciNet  MATH  Google Scholar 

  • Manea F, Martín-Vide C, Mitrana V (2004) Solving 3CNF-SAT and HPP in linear time using WWW. Machines. computations, and universality MCU, LNCS 3354. Springer, Berlin , pp 269–280

  • Manea F, Martín-Vide C, Mitrana V (2006) All NP-Problems can be solved in polynomial time by accepting networks of splicing processors of constant size. DNA based computers 12, LNCS 4287. Springer, Berlin, pp 47–57

  • Manea F, Martín-Vide C, Mitrana V (2010) Accepting networks of evolutionary word and picture processors: A survey. In: Scientific applications of language methods, mathematics, computing, language, and life: frontiers in mathematical linguistics and language theory, vol.2. World Scientific, pp 523–560

  • Margenstern M, Mitrana V, Perez-Jimenez M (2005) Accepting hybrid networks of evolutionary systems. DNA based computers 10 LNCS 3384. Springer, Berlin, pp 235–246

  • Marriott K, Meyer BE (1998) Visual language theory. Springer, Berlin

    Book  MATH  Google Scholar 

  • Maürer I (2007) Characterizations of recognizable picture series. Theor Comput Sci 374:214–228

    Article  MathSciNet  MATH  Google Scholar 

  • Rosenfeld A, Kak AC (1982) Digital picture processing. Academic Press, New York

    MATH  Google Scholar 

  • Rosenfeld A, Siromoney R (1993) Picture languages—a survey. Lang Des 1:229–245

    Google Scholar 

  • Siromoney G, Siromoney R, Krithivasan K (1972) Abstract families of matrices and picture languages. Comput Graph Image Process 1:284–307

    Article  MathSciNet  MATH  Google Scholar 

  • Siromoney G, Siromoney R, Krithivasan K (1973) Picture languages with array rewriting rules. Inf Control 22:447–470

    Article  MathSciNet  MATH  Google Scholar 

  • Subramanian KG, Siromoney R (1987) On array grammars and languages. Cybern Syst 18:77–98

    Article  MathSciNet  MATH  Google Scholar 

  • Wang PS (1983) Hierarchical structure and complexities of parallel isometric patterns. IEEE Trans PAM I(5):92–99

    Article  MATH  Google Scholar 

  • Wang PS (1975) Sequential/parallel matrix array languages. J Cybern 5:19–36

    Article  MathSciNet  MATH  Google Scholar 

  • Wang PS, Bunke H (eds) (1996) Handbook on optical character recognition and document image analysis. World Scientific, Singapore

    Google Scholar 

  • Zhu RF, Takaoka T (1989) A technique for two-dimensional pattern matching. Commun ACM 32:1110–1120

    Article  Google Scholar 

Download references

Acknowledgments

Victor Mitrana gratefully acknowledges the support of the Alexander von Humboldt Foundation and of the Visiting Professor Programme—“Sapienza” University of Rome.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Victor Mitrana.

Ethics declarations

Conflict of interest

The authors declare that they have no conflict of interest.

Additional information

Communicated by C. M. Vide and A. H. Dediu.

A preliminary version of this work has been published in the Proceedings of the Third International Conference on Theory and Practice of Natural Computing-TPNC 2014, LNCS 8890, 2014, pp. 157–168.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bordihn, H., Bottoni, P., Labella, A. et al. Networks of picture processors as problem solvers. Soft Comput 21, 5529–5541 (2017). https://doi.org/10.1007/s00500-016-2206-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-016-2206-y

Keywords

Navigation