Two-dimensional pattern matching in linear time and small space

Maxime Crochemore, Leszek Gąsieniec, Wojciech Rytter, Wojciech Plandowski

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Abstract

We present the first known (alphabet independent) algorithm for two-dimensional pattern matching which works in linear time and small space simultaneously. The searching phase of our algorithm works in O(1) space and is followed by pattern preprocessing performed in O(log m) space. Up to now there was not known even any efficient sublinear space algorithm for this problem. The main tools in our algorithm are several 2-dimensional variations of deterministic sampling, originally used in parallel pattern matching: small, frame and wide samples. Another novel idea used in our algorithm is the technique of zooming sequences: the sequences of nonperiodic decreasing parts of the pattern (samples) of similar regular shapes. Their regularity allows to encode the zooming sequences in small memory (logarithmic number of bits) while nonperiodicity allows to make shifts (kill positions as candidates for a match) in a way amortizing the work. The preprocessing phase is recursive, its structure is similar to the linear time algorithm for the selection problem. The stack of the recursion consists of logarithmic number of integers. Our algorithm is rather complicated, but all known alphabet-independent linear time algorithms (even with unrestricted space) for 2d-matching are quite complicated, too.

Original languageEnglish (US)
Title of host publicationSTACS 1995 - 12th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings
EditorsErnst W. Mayr, Claude Puech
PublisherSpringer Verlag
Pages181-192
Number of pages12
ISBN (Print)3540590420, 9783540590422
DOIs
StatePublished - 1995
Externally publishedYes
Event12th Annual Symposium on Theoretical Aspects of Computer Science, STACS 1995 - Munich, Germany
Duration: Mar 2 1995Mar 4 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume900
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th Annual Symposium on Theoretical Aspects of Computer Science, STACS 1995
Country/TerritoryGermany
CityMunich
Period3/2/953/4/95

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Two-dimensional pattern matching in linear time and small space'. Together they form a unique fingerprint.

Cite this