CDL：用于研究带结构限制的排列集的快速灵活库
数学软件
2025-12-04 v2
摘要
在本文中，我们介绍CDL，一个为分析受各类结构限制的排列与线性序而设计的软件库。这些限制的典型例子包括模式避免（计算机科学与组合学中的感兴趣主题）以及社会选择与投票理论中使用的“禁止条件”。CDL提供一系列基础功能，包括识别满足特定限制的排列，以及判定此类集合的同构。为便于探索大型排列集或域，CDL集成了多种搜索策略与启发式方法。
引用
@article{arxiv.2309.06306,
title = {CDL: A fast and flexible library for the study of permutation sets with structural restrictions},
author = {Bei Zhou and Klas Markstrōm and Søren Riis},
journal= {arXiv preprint arXiv:2309.06306},
year = {2025}
}
备注
7 pages