New variants of pattern matching with constants and variables

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

Abstract

Given a text and a pattern over two types of symbols called constants and variables, the parameterized pattern matching problem is to find all occurrences of substrings of the text that the pattern matches by substituting a variable in the text for each variable in the pattern, where the substitution should be injective. The function matching problem is a variant of it that lifts the injection constraint. In this paper, we discuss variants of those problems, where one can substitute a constant or a variable for each variable of the pattern. We give two kinds of algorithms for both problems, a convolution-based method and an extended KMP-based method, and analyze their complexity.

Original languageEnglish
Title of host publicationSOFSEM 2018
Subtitle of host publicationTheory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
EditorsJirí Wiedermann, A Min Tjoa, Stefan Biffl, Ladjel Bellatreche, Jan van Leeuwen
PublisherSpringer Verlag
Pages611-623
Number of pages13
ISBN (Print)9783319731162
DOIs
Publication statusPublished - 2018
Event44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018 - Krems, Austria
Duration: 2018 Jan 292018 Feb 2

Publication series

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

Other

Other44th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2018
CountryAustria
CityKrems,
Period18/1/2918/2/2

Keywords

  • Function matching
  • Parameterized pattern matching
  • Parameterized pattern queries
  • Pattern matching

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'New variants of pattern matching with constants and variables'. Together they form a unique fingerprint.

Cite this