Loading…
Pattern matching with variables: Efficient algorithms and complexity results
A pattern α (i. e., a string of variables and terminals) matches a word w, if w can be obtained by uniformly replacing the variables of α by terminal words. The respective matching problem, i. e., deciding whether or not a given pattern matches a given word, is generally NP-complete, but can be solv...
Saved in:
Main Authors: | Henning Fernau, Florin Manea, Robert Mercas, Markus Schmid |
---|---|
Format: | Default Article |
Published: |
2020
|
Subjects: | |
Online Access: | https://hdl.handle.net/2134/10059554.v1 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Loading…
On the structure of solution sets to regular word equations
by: Joel Day, et al.
Published: (2020)
by: Joel Day, et al.
Published: (2020)
Loading…
On the structure of solution-sets to regular word equations
by: Joel Day, et al.
Published: (2021)
by: Joel Day, et al.
Published: (2021)
Loading…
On the membership problem for pattern languages and related topics
by: Markus L. Schmid
Published: (2012)
by: Markus L. Schmid
Published: (2012)
Loading…
Hide and seek with repetitions
by: Pawel Gawrychowski, et al.
Published: (2018)
by: Pawel Gawrychowski, et al.
Published: (2018)
Loading…
Revisiting Shinohara's algorithm for computing descriptive patterns
by: Henning Fernau, et al.
Published: (2018)
by: Henning Fernau, et al.
Published: (2018)
Loading…
The unambiguity of segmented morphisms
by: Dominik Freydenberger, et al.
Published: (2009)
by: Dominik Freydenberger, et al.
Published: (2009)
Loading…
A closer look at the expressive power of logics based on word equations
by: Joel Day, et al.
Published: (2023)
by: Joel Day, et al.
Published: (2023)
Loading…
Unambiguous morphic images of strings
by: Dominik Freydenberger, et al.
Published: (2006)
by: Dominik Freydenberger, et al.
Published: (2006)
Loading…
On the expressive power of string constraints
by: Joel Day, et al.
Published: (2023)
by: Joel Day, et al.
Published: (2023)
Loading…
Equations enforcing repetitions under permutations
by: Joel Day, et al.
Published: (2020)
by: Joel Day, et al.
Published: (2020)
Loading…
Discontinuities in pattern inference
by: Daniel Reidenbach
Published: (2008)
by: Daniel Reidenbach
Published: (2008)
Loading…
Patterns with bounded treewidth
by: Daniel Reidenbach, et al.
Published: (2014)
by: Daniel Reidenbach, et al.
Published: (2014)
Loading…
The hardness of solving simple word equations
by: Joel Day, et al.
Published: (2017)
by: Joel Day, et al.
Published: (2017)
Loading…
Conjunctive queries for logic-based information extraction
by: Sam M Thompson
Published: (2022)
by: Sam M Thompson
Published: (2022)
Loading…
Sequential and parallel algorithms for sequence analysis problems in bioinformatics
by: Xuan Liu
Published: (2022)
by: Xuan Liu
Published: (2022)
Loading…
Inside the class of REGEX Languages
by: Markus L. Schmid
Published: (2012)
by: Markus L. Schmid
Published: (2012)
Loading…
On the aperiodic avoidability of binary patterns with variables and reversals
by: Robert Mercas
Published: (2016)
by: Robert Mercas
Published: (2016)
Loading…
Closure properties of pattern languages
by: Joel Day, et al.
Published: (2016)
by: Joel Day, et al.
Published: (2016)
Loading…
Similarity K-d tree method for sparse point pattern matching with underlying non-rigidity
by: Baihua Li, et al.
Published: (2005)
by: Baihua Li, et al.
Published: (2005)
Loading…
Weakly unambiguous morphisms
by: Dominik Freydenberger, et al.
Published: (2011)
by: Dominik Freydenberger, et al.
Published: (2011)
Loading…
Discriminative and robust zero-watermarking scheme based on completed local binary pattern for authentication and copyright identification of medical images
by: Xiyao Liu, et al.
Published: (2018)
by: Xiyao Liu, et al.
Published: (2018)
Loading…
Morphically primitive words
by: Daniel Reidenbach, et al.
Published: (2009)
by: Daniel Reidenbach, et al.
Published: (2009)
Loading…
Network-level accident-mapping: distance based pattern matching using artificial neural network
by: Lipika Deka, et al.
Published: (2013)
by: Lipika Deka, et al.
Published: (2013)
Loading…
On the index of Simon's congruence for piecewise testability
by: P. Karandikar, et al.
Published: (2015)
by: P. Karandikar, et al.
Published: (2015)
Loading…
Document spanners: from expressive power to decision problems
by: Dominik Freydenberger, et al.
Published: (2017)
by: Dominik Freydenberger, et al.
Published: (2017)
Loading…
Existence and nonexistence of descriptive patterns
by: Dominik Freydenberger, et al.
Published: (2010)
by: Dominik Freydenberger, et al.
Published: (2010)
Loading…
A logic for document spanners
by: Dominik Freydenberger
Published: (2018)
by: Dominik Freydenberger
Published: (2018)
Loading…
Conditions on the existence of unambiguous morphisms
by: Hossein Nevisi
Published: (2012)
by: Hossein Nevisi
Published: (2012)
Loading…
Inferring descriptive generalisations of formal languages
by: Dominik Freydenberger, et al.
Published: (2013)
by: Dominik Freydenberger, et al.
Published: (2013)
Loading…
Closure properties of pattern languages
by: Joel Day, et al.
Published: (2014)
by: Joel Day, et al.
Published: (2014)
Loading…
A non-learnable class of E-pattern languages
by: Daniel Reidenbach
Published: (2006)
by: Daniel Reidenbach
Published: (2006)
Loading…
Towards more efficient methods for solving regular-expression heavy string constraints
by: Murphy Berzish, et al.
Published: (2022)
by: Murphy Berzish, et al.
Published: (2022)
Loading…
PVM algorithms for some problems in bioinformatics
by: Hongmei He, et al.
Published: (2004)
by: Hongmei He, et al.
Published: (2004)
Loading…
Regular and context-free pattern languages over small alphabets
by: Daniel Reidenbach, et al.
Published: (2013)
by: Daniel Reidenbach, et al.
Published: (2013)
Loading…
Regular and context-free pattern languages over small alphabets
by: Daniel Reidenbach, et al.
Published: (2012)
by: Daniel Reidenbach, et al.
Published: (2012)
Loading…
Morphic primitivity and alphabet reductions
by: Hossein Nevisi, et al.
Published: (2012)
by: Hossein Nevisi, et al.
Published: (2012)
Loading…
On the undecidability of the identity correspondence problem and its applications for word and matrix semigroups
by: Paul Bell, et al.
Published: (2010)
by: Paul Bell, et al.
Published: (2010)
Loading…
MatLab Function to load adjacency matrices
by: Patrick Mills
Published: (2020)
by: Patrick Mills
Published: (2020)
Loading…
Patterns with bounded treewidth
by: Daniel Reidenbach, et al.
Published: (2012)
by: Daniel Reidenbach, et al.
Published: (2012)
Loading…
On the Billaud Conjecture and related problems
by: Szymon Lopaciuk
Published: (2022)
by: Szymon Lopaciuk
Published: (2022)
Similar Items
-
On the structure of solution sets to regular word equations
by: Joel Day, et al.
Published: (2020) -
On the structure of solution-sets to regular word equations
by: Joel Day, et al.
Published: (2021) -
On the membership problem for pattern languages and related topics
by: Markus L. Schmid
Published: (2012) -
Hide and seek with repetitions
by: Pawel Gawrychowski, et al.
Published: (2018) -
Revisiting Shinohara's algorithm for computing descriptive patterns
by: Henning Fernau, et al.
Published: (2018)