×
雨果·特伦布雷；吉尔伯特·拉贝尔；斯雷切科·布列克；亚历山大·布隆丁马萨诸塞

原子组合微分算子的穷尽生成。 （英语） 兹比尔1358.05017

西奥。计算。科学。 536, 62-69 (2014).
总结：G.标签和C.拉马特介绍于[Sémin.Lothar.Comb.61A，B61Ag，24 p.（2009；Zbl 1283.05024号)]通过对\（varOmega（X，D）F（X）\）的组合解释，对标准组合微分物种算子\（D）进行了推广，其中\（varO mega（X，T）\）和\（F（X）\）分别是两类和一类物种。可以证明，这种算符可以分解为称为原子组合微分算符的简单算符的乘积之和。在他们的论文中，Labelle和Lamathe[loc.cit.]列出了第一批原子微分算子。在本文中，我们描述了一种算法，该算法允许根据可用的计算机资源生成（并枚举）所有这些文件。我们还详细分析了如何计算（varOmega（X，D）F（X））的分子组成。

MSC公司：

2015年1月5日 精确枚举问题，生成函数
2015年5月 群和代数的组合方面（MSC2010）

关键词：

计数组合；物种理论；分子种类；微分算子；算法

引文：

Zbl 1283.05024号

软件：

小支票；快速检查；SageMath软件；间隙
PDF格式BibTeX公司 XML格式引用
\textit{H.Tremblay}等人，Theor。计算。科学。536、62--69（2014；Zbl 1358.05017）
全文： 内政部

参考文献：

[1] Awodey，S.，《范畴理论》（2006），牛津大学出版社·Zbl 1100.18001号
[2] Bergeron，F。；标签，G。；Leroux，P.，《组合物种和树状结构》，《数学及其应用百科全书》，第67卷（1998年），剑桥大学出版社：剑桥大学出版社·Zbl 0888.05001号
[3] 卡诺，B。；Darrasse，A.，《目标caml中自动测试和基准测试的快速、可靠随机生成》，（2009年美国计算机学会SIGPLAN ML研讨会论文集，ML'09（2009），美国计算机学会：美国纽约州纽约市美国计算机学会），61-70
[4] Chiricota，Y.，《环境保护分类》，第6和7页，《科学年鉴》。数学。魁北克。，17, 1, 11-17 (1993) ·Zbl 0796.05094号
[5] 克莱森，K。；Hughes，J.，Quickcheck:Haskell程序随机测试的轻量级工具，（ICFP（2000）），268-279
[6] Fiore，M.P.，计算和组合结构的数学模型，（Sassone，Vladimiro，《软件科学和计算结构基础》，软件科学与计算结构基础，计算机科学讲义，第3441卷（2005），Springer:Springer Berlin，Heidelberg），25-46·Zbl 1119.68082号
[7] Fiore，M.P.，乘法双加直觉线性逻辑模型中的微分结构，（类型化Lambda演算和应用，类型化Lambeda演算与应用，LNCS，第4583卷（2007）），163-177·Zbl 1215.03072号
[8] GAP组，GAP-组、算法和编程，第4.4.12版（2008）
[9] Joyal，A.，《数学进展》，第42卷，1-82（1981）·Zbl 0491.05007号
[10] Joyal，A.，Foncteurs analysiques et espèces de structures，（Combinatoireénumérative，Proceedings.Combinatorieénumeérative，Proceetings，Montréal，PQ.Combinatireénumerative，Proceements.Comminatoriesénumetative，Progeedings，Montreal，PQ，数学课堂笔记，第1234卷（1985），Springer-Verlag:Springer-Verlag Berlin）， 126-159 ·Zbl 0612.18002号
[11] 标签，G。；Lamate，C.，一般组合微分算子，Sémin。洛萨。梳。，61A，B61Ag（2009），24页·Zbl 1283.05024号
[12] Runciman，C。；内勒，M。；Lindblad，F.，Smallcheck和lazy Smallcheck:小值自动穷举测试，（第一届ACM SIGPLAN Haskell研讨会论文集，Haskell'08（2008），ACM:美国纽约州纽约市ACM），37-48
[13] Sney-Lacasse，N.，Opérateurs combinates differentiels géNéralisés（2007年6月），魁北克大学蒙特勒分校，硕士论文
[14] Stein，W.A.，Sage数学软件（4.7.1版）。圣人发展团队（2011）
[15] Yeh，Y.-N.，《虚拟物种和（K\）物种的演算》，（Combinatoireénumérative，Proceedings.Combinatorie-numérative，Proceetings，Montréal，PQ.Combinatiireé》，Proceements.Combiatorie-numerative， 351-369 ·Zbl 0635.05011号
[16] Yorgey，B.A.，物种、函子和类型，天哪！，（第三届ACM Haskell Haskell'研讨会论文集，Haskell'10（2010），ACM：美国纽约州纽约市ACM），147-158
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。