Automatic discovery of structural rules of permutation classes

Christian Bean, Bjarki Gudmundsson, Henning Ulfarsson

We introduce an algorithm that conjectures the structure of a permutation class in the form of a disjoint cover of "rules"; similar to generalized grid classes. The cover is usuall…