网格类上置换模式匹配的复杂性二分法
当C被视为单调网格类时，为C-Pattern PPM提供了一种复杂性二分法，如果与C相关的某个图（称为细胞图）是一个森林，则该问题是多项式时间可解的，否则它是NP-完全的。 带约束间隙的排列模式
我们考虑在成对的连续字母之间避免指定间隙大小的排列模式。我们将具有此类约束的模式称为远距离模式（DP），并显示其…
用整数线性规划搜索组合覆盖
介绍了CombCov框架，它是Bean、Gudmundsson和Ulfarsson在“置换类结构规则的自动发现”中引入的Struct算法的推广它被证明是一个强大的工具，通过提出猜测来指导人类，否则需要付出大量努力才能手动发现。 避免模式置换的灵活方案
我们修改了Zeilberger和Vatter的枚举方案，以便他们能够有效地枚举许多新的避免模式置换类，包括所有具有规则插入的此类…
灵活的方案
我们修改了Zeilberger和Vatter的枚举方案，以便他们能够有效地枚举许多新的模式避免类，包括所有具有常规插入编码的此类类。我们…
