.png){kind=icon}
返回
Combinatorial Exploration: An Algorithmic Framework for Enumeration
.png){kind=icon}
PRE
AI
DOI：10.1090/memo/1611.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
组合探索是一种新的领域无关算法框架，用于自动且严格地研究组合对象的结构并推导其计数序列和生成函数。我们描述了其工作原理，并提供了开源的Python实现。作为前提，我们建立了一种新的组合分解策略和组合规范的理论基础。然后，我们将组合探索应用于排列模式的领域，并取得了显著效果。我们以统一的方式重新推导了文献中的数百个结果，并证明了其中许多新的结果。这些结果可以在一个新的公共数据库中找到，即排列模式避免库（PermPAL），网址为https://permpal.com。最后，我们给出了三个额外的概念验证示例，展示了组合探索如何在交错符号矩阵、多联骨牌和集合划分的领域中证明结果。
Keyword:
STANLEY-WILF LIMIT
FORBIDDEN SUBSEQUENCES
PATTERN AVOIDANCE
SCHUBERT VARIETIES
CONVEX POLYOMINOES
GENERATING TREES
PERMUTATIONS
CLASSIFICATION
MATRICES
NUMBER
期刊
M
IF:
2.4
论文数:
24
被引数:
0
机构
引用论文
On the Stanley-Wilf limit of 4231-avoiding permutations and a conjecture of Arratia关于避免4231排列的Stanley-Wilf极限及Arratia的一个猜想.png)
IF0
PREAI
分享收藏分享收藏
查看更多内容