Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/16579

Title: Patterns with bounded treewidth
Authors: Reidenbach, Daniel
Schmid, Markus L.
Keywords: Pattern languages
Membership problem
Treewidth
Extended regular expressions
Parameterised pattern matching
Issue Date: 2014
Publisher: © Elsevier Inc.
Citation: REIDENBACH, D. and SCHMID, M.L., 2014. Patterns with bounded treewidth. Information and Computation, 239, pp. 87 - 99.
Abstract: A pattern is a string consisting of variables and terminal symbols, and its language is the set of all words that can be obtained by substituting arbitrary words for the variables. The membership problem for pattern languages, i.e., deciding on whether or not a given word is in the pattern language of a given pattern is NP-complete. We show that any parameter of patterns that is an upper bound for the treewidth of appropriate encodings of patterns as relational structures, if restricted, allows the membership problem for pattern languages to be solved in polynomial time. Furthermore, we identify new such parameters.
Description: NOTICE: this is the author’s version of a work that was accepted for publication in Information and Computation. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information and Computation, 239, Dec 2014, DOI: 10.1016/j.ic.2014.08.010
Version: Accepted for publication
DOI: 10.1016/j.ic.2014.08.010
URI: https://dspace.lboro.ac.uk/2134/16579
Publisher Link: http://dx.doi.org/10.1016/j.ic.2014.08.010
ISSN: 0890-5401
Appears in Collections:Published Articles (Computer Science)

Files associated with this item:

File Description SizeFormat
Reidenbach_Schmid_LATA_2012_Special_Issue_IC.pdfAccepted version346.71 kBAdobe PDFView/Open

 

SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.