Abstract:Constraint programming (CP) is a powerful tool for modeling mathematical concepts and objects and finding both solutions or counter examples. One of the major strengths of CP is that problems can easily be combined or expanded. In this paper, we illustrate that this versatility makes CP an ideal tool for exploring problems in permutation patterns. We declaratively define permutation properties, permutation pattern avoidance and containment constraints using CP and show how this allows us to solve a wide range of problems. We show how this approach enables the arbitrary composition of these conditions, and also allows the easy addition of extra conditions. We demonstrate the effectiveness of our techniques by modelling the containment and avoidance of six permutation patterns, eight permutation properties and measuring five statistics on the resulting permutations. In addition to calculating properties and statistics for the generated permutations, we show that arbitrary additional constraints can also be easily and efficiently added. This approach enables mathematicians to investigate permutation pattern problems in a quick and efficient manner. We demonstrate the utility of constraint programming for permutation patterns by showing how we can easily and efficiently extend the known permutation counts for a conjecture involving the class of $1324$ avoiding permutations. For this problem, we expand the enumeration of $1324$-avoiding permutations with a fixed number of inversions to permutations of length 16 and show for the first time that in the enumeration there is a pattern occurring which follows a unique sequence on the Online Encyclopedia of Integer Sequences.

Enumeration Schemes And (More Importantly) Their Automatic Generation

Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture

Enumeration method of analysis of combinatorial schemes

Combinatorial Exploration: An algorithmic framework for enumeration

Elementary submodels, coding strategies, and an infinite real number game

Executable Set Theory and Arithmetic Encodings in Prolog

On Enumerating Short Projected Models

In How Many Ways Can You Reassemble Several Russian Dolls?

Object generators, categories, and everyday set theory

Enumerating Complexity Revisited

An Experimental Mathematics Approach to Several Combinatorial Problems

Transduction of Automatic Sequences and Applications

On Computably Enumerable Structures

Linear-Time and Constant-Space Algorithms to compute Multi-Sequences that arise in Enumerative Combinatorics (and Elsewhere)

Peano: Learning Formal Mathematical Reasoning

Automatic Counting of Generalized Latin Rectangles and Trapezoids

Composable Constraint Models for Permutation Enumeration

Submodel Enumeration for CTL Is Hard

Enumeration of Enumeration Algorithms

Zeroless arithmetic: representing integers ONLY using ONE

Toward a Mathematical Theory of Inductive Inference