CDL: A fast and flexible library for the study of permutation sets with structural restrictions

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Zhou, Bei, Markstrōm, Klas, Riis, Søren
Format: Preprint
Veröffentlicht: 2023
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866917120257818624
author Zhou, Bei
Markstrōm, Klas
Riis, Søren
author_facet Zhou, Bei
Markstrōm, Klas
Riis, Søren
contents In this paper, we introduce CDL, a software library designed for the analysis of permutations and linear orders subject to various structural restrictions. Prominent examples of these restrictions include pattern avoidance, a topic of interest in both computer science and combinatorics, and "never conditions" utilized in social choice and voting theory. CDL offers a range of fundamental functionalities, including identifying the permutations that meet specific restrictions and determining the isomorphism of such sets. To facilitate exploration of large permutation sets or domains, CDL incorporates multiple search strategies and heuristics.
format Preprint
id arxiv_https___arxiv_org_abs_2309_06306
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle CDL: A fast and flexible library for the study of permutation sets with structural restrictions
Zhou, Bei
Markstrōm, Klas
Riis, Søren
Mathematical Software
In this paper, we introduce CDL, a software library designed for the analysis of permutations and linear orders subject to various structural restrictions. Prominent examples of these restrictions include pattern avoidance, a topic of interest in both computer science and combinatorics, and "never conditions" utilized in social choice and voting theory. CDL offers a range of fundamental functionalities, including identifying the permutations that meet specific restrictions and determining the isomorphism of such sets. To facilitate exploration of large permutation sets or domains, CDL incorporates multiple search strategies and heuristics.
title CDL: A fast and flexible library for the study of permutation sets with structural restrictions
topic Mathematical Software
url https://arxiv.org/abs/2309.06306