Patterns with bounded treewidth

  • Authors:
  • Daniel Reidenbach;Markus L. Schmid

  • Affiliations:
  • Department of Computer Science, Loughborough University, Loughborough, Leicestershire, UK;Department of Computer Science, Loughborough University, Loughborough, Leicestershire, UK

  • Venue:
  • LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 to a constant, allows the membership problem for pattern languages to be solved in polynomial time. Furthermore, we identify a new such parameter, called the scope coincidence degree.