论文标题

在网格类别上匹配的置换模式的复杂性二分法

A Complexity Dichotomy for Permutation Pattern Matching on Grid Classes

论文作者

Jelínek, Vít, Opler, Michal, Pekárek, Jakub

论文摘要

置换模式匹配(PPM)是决定给定的置换p和t的问题,即在文本T. bose,Buss和lubiw中包含模式P是否包含,表明PPM是NP完整的。鉴于这一结果,当我们将模式P限制为固定排列C类时,询问情况如何变化是很自然的。这被称为C-Pattern PPM问题。 网格类是一种特殊的排列类别,包括置换式的排列,将类似网格的分解为更简单的构建块。特别令人感兴趣的是所谓的单调网格类别,其中每个构建块都是单调序列。最近,已经发现,网格类,尤其是单调的类别,在理解一般排列类别的结构中起着基本作用。这激发了我们研究(单调)网格类别的C-Pattern PPM的硬度。 当C被视为单调网格类时,我们为C-Pattern PPM提供了复杂的二分法。具体而言,我们表明,如果与C相关的某个图形(称为单元格)是森林,则该问题是多项式时间溶可求解的,否则它是NP完整的。我们将结果进一步概括为属于有界网格宽度类别的网格类别。我们表明,如果C的细胞图避免了循环或某种特殊类型的路径,则该网格C类的C-Pattern PPM是多项式时间溶剂,否则NP完整为NP。

Permutation Pattern Matching (PPM) is the problem of deciding for a given pair of permutations P and T whether the pattern P is contained in the text T. Bose, Buss and Lubiw showed that PPM is NP-complete. In view of this result, it is natural to ask how the situation changes when we restrict the pattern P to a fixed permutation class C; this is known as the C-Pattern PPM problem. Grid classes are special kind of permutation classes, consisting of permutations admitting a grid-like decomposition into simpler building blocks. Of particular interest are the so-called monotone grid classes, in which each building block is a monotone sequence. Recently, it has been discovered that grid classes, especially the monotone ones, play a fundamental role in the understanding of the structure of general permutation classes. This motivates us to study the hardness of C-Pattern PPM for a (monotone) grid class C. We provide a complexity dichotomy for C-Pattern PPM when C is taken to be a monotone grid class. Specifically, we show that the problem is polynomial-time solvable if a certain graph associated with C, called the cell graph, is a forest, and it is NP-complete otherwise. We further generalize our results to grid classes whose blocks belong to classes of bounded grid-width. We show that the C-Pattern PPM for such a grid class C is polynomial-time solvable if the cell graph of C avoids a cycle or a certain special type of path, and it is NP-complete otherwise.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源