English
Related papers

Related papers: Matching Patterns with Variables

200 papers

Regular expressions with backreferences (regex, for short), as supported by most modern libraries for regular expression matching, have an NP-complete matching problem. We define a complexity parameter of regex, called active variable…

Formal Languages and Automata Theory · Computer Science 2024-02-09 Markus L. Schmid

The problem of finding factors of a text string which are identical or similar to a given pattern string is a central problem in computer science. A generalised version of this problem consists in implementing an index over the text to…

Data Structures and Algorithms · Computer Science 2016-02-04 Carl Barton , Tomasz Kociumaka , Solon P. Pissis , Jakub Radoszewski

We consider the Consensus Patterns problem, where, given a set of input strings, one is asked to extract a long-enough pattern which appears (with some errors) in all strings. We prove that this problem is W[1]-hard when parameterized by…

Computational Complexity · Computer Science 2017-02-28 Laurent Bulteau

The order preserving pattern matching (OPPM) problem is, given a pattern string $p$ and a text string $t$, find all substrings of $t$ which have the same relative orders as $p$. In this paper, we consider two variants of the OPPM problem…

Data Structures and Algorithms · Computer Science 2017-07-26 Temma Nakamura , Shunsuke Inenaga , Hideo Bannai , Masayuki Takeda

In this note we show that pattern matching in permutations is polynomial time reducible to pattern matching in set partitions. In particular, pattern matching in set partitions is NP-Complete.

Combinatorics · Mathematics 2020-09-02 Thomas Grubb

We introduce and investigate a series of matching problems for patterns with variables under Simon's congruence. Our results provide a thorough picture of these problems' computational complexity.

Formal Languages and Automata Theory · Computer Science 2023-08-17 Pamela Fleischmann , Sungmin Kim , Tore Koß , Florin Manea , Dirk Nowotka , Stefan Siemer , Max Wiedenhöft

A decision problem is called parameterized if its input is a pair of strings. One of these strings is referred to as a parameter. The problem: given a propositional logic program P and a non-negative integer k, decide whether P has a stable…

Logic in Computer Science · Computer Science 2007-05-23 Zbigniew Lonc , Miroslaw Truszczynski

We consider the classical exact multiple string matching problem. Our solution is based on $q$-grams combined with pattern superimposition, bit-parallelism and alphabet size reduction. We discuss the pros and cons of the various…

Data Structures and Algorithms · Computer Science 2021-12-07 Robert Susik , Szymon Grabowski , Kimmo Fredriksson

Pattern matching is a powerful tool which is part of many functional programming languages as well as computer algebra systems such as Mathematica. Among the existing systems, Mathematica offers the most expressive pattern matching.…

Symbolic Computation · Computer Science 2017-05-03 Manuel Krebber

In this paper, we consider a variant of the classical algorithmic problem of checking whether a given word $v$ is a subsequence of another word $w$. More precisely, we consider the problem of deciding, given a number $p$ (defining a…

Formal Languages and Automata Theory · Computer Science 2024-09-16 Maria Kosche , Tore Koß , Florin Manea , Viktoriya Pak

Permutation Pattern Matching (or PPM) is a decision problem whose input is a pair of permutations $\pi$ and $\tau$, represented as sequences of integers, and the task is to determine whether $\tau$ contains a subsequence order-isomorphic to…

Combinatorics · Mathematics 2016-08-02 Vít Jelínek , Jan Kynčl

The binary string matching problem consists in finding all the occurrences of a pattern in a text where both strings are built on a binary alphabet. This is an interesting problem in computer science, since binary data are omnipresent in…

Data Structures and Algorithms · Computer Science 2008-10-15 Simone Faro , Thierry Lecroq

The parameterized matching problem is a variant of string matching, which is to search for all parameterized occurrences of a pattern $P$ in a text $T$. In considering matching algorithms, the combinatorial natures of strings, especially…

Data Structures and Algorithms · Computer Science 2023-06-21 Haruki Ideguchi , Diptarama Hendrian , Ryo Yoshinaka , Ayumi Shinohara

Given a pattern $p = s_1x_1s_2x_2\cdots s_{r-1}x_{r-1}s_r$ such that $x_1,x_2,\ldots,x_{r-1}\in\{x,\overset{{}_{\leftarrow}}{x}\}$, where $x$ is a variable and $\overset{{}_{\leftarrow}}{x}$ its reversal, and $s_1,s_2,\ldots,s_r$ are…

Data Structures and Algorithms · Computer Science 2017-07-19 Dmitry Kosolobov , Florin Manea , Dirk Nowotka

Patterns describe proven solutions for recurring problems. Typically, patterns in a particular domain are interrelated and organized in pattern languages. As real-world problems often require patterns of multiple domains, different pattern…

Software Engineering · Computer Science 2020-03-23 Manuela Weigold , Johanna Barzen , Uwe Breitenbücher , Michael Falkenthal , Frank Leymann , Karoline Wild

In the present paper, we study the match test for extended regular expressions. We approach this NP-complete problem by introducing a novel variant of two-way multihead automata, which reveals that the complexity of the match test is…

Formal Languages and Automata Theory · Computer Science 2017-07-14 Daniel Reidenbach , Markus L. Schmid

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the given pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation…

Computational Complexity · Computer Science 2019-02-12 Massimo Equi , Roberto Grossi , Alexandru I. Tomescu , Veli Mäkinen

Searching for all occurrences of a pattern in a text is a fundamental problem in computer science with applications in many other fields, like natural language processing, information retrieval and computational biology. In the last two…

Information Retrieval · Computer Science 2012-10-01 Simone Faro , M. Oguzhan Külekci

In this work, we consider the problem of pattern matching under the dynamic time warping (DTW) distance motivated by potential applications in the analysis of biological data produced by the third generation sequencing. To measure the DTW…

Data Structures and Algorithms · Computer Science 2022-09-01 Garance Gourdel , Anne Driemel , Pierre Peterlongo , Tatiana Starikovskaya

We use a probabilistic method to produce some combinatorial inequalities by considering pattern containment in permutations and words.

Combinatorics · Mathematics 2007-05-23 Alexander I. Burstein