×
比恩，克里斯蒂安；比亚尔基古德蒙德松；海宁市阿尔法森

自动发现置换类的结构规则。 （英语） Zbl 1407.05004号

数学。计算。 88，No.3181967-1990（2019）.
摘要：我们介绍了一种算法，该算法可以产生关于置换类结构的猜测。这些猜想以“规则”的不相交覆盖形式出现，每个规则都类似于广义网格类。这样的掩护通常很容易被人类验证，并且通常可以直接转换为枚举。该算法在许多其他算法失败的情况下都是成功的，并且理论上可以保证在任何多项式置换类上都能成功。我们将其应用于每个非多项式置换类，避免了一组长度为四的模式。该算法所发现的结构有时允许相对于排列统计来枚举排列类，并且通常产生从该类中随机均匀采样的方法。我们还绘制了第二个算法，将推测覆盖物的人工验证形式化。

引用于2文件

MSC公司：

05年05月05日 排列、单词、矩阵
2015年1月5日 精确枚举问题，生成函数
68兰特 单词组合学

关键词：

广义网格类

软件：

Treengeling公司；WILF公司；PermStruct公司；github；玲玲；草本植物；PermPAL公司；弯曲；OEIS公司；古罗比；InsEnc公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Bean}等人，数学。计算。88，No.3181967-1990（2019；Zbl 1407.05004）
全文： 内政部 arXiv公司

整数序列在线百科全书：

a（n）=n*2^（n-1）+1。
（1-x）/（1-2*x）的膨胀系数x的幂。
长度为n的321和2143无效排列的数目。
避开图案123和4312的长度为n的排列数。
避开模式1324321的长度为n的排列数。
避开图案123、3241的长度为n的排列数。
避开模式的长度为n的排列数231、4123。
a（n）=1+（n-2）*（n-1）/2。
避开图案321和1324的长度为n的排列数。
避开图案1342、2413、3124和3142的长度为n的排列数。

参考文献：

[1] 艾伯特，M.H。；阿特金森，M.D.，简单置换和模式限制置换，离散数学。，300, 1-3, 1-15 (2005) ·Zbl 1073.05002号 ·doi:10.1016/j.disc.2005.06.016
[2] 迈克尔·H·阿尔伯特。；医学博士阿特金森。；马蒂尔德·布维尔；俄罗斯{s} 库克，Nik；Vatter，Vincent，排列的几何网格类，Trans。阿默尔。数学。Soc.，365，11，5859-5881（2013）·Zbl 1271.05004号 ·doi:10.1090/S0002-9947-2013-05804-7
[3] 艾伯特，M.H。；医学博士阿特金森。；Brignall，Robert，多项式增长的置换类，Ann.Comb。，11, 3-4, 249-264 (2007) ·Zbl 1141.05009号 ·doi:10.1007/s00026-007-0318-x
[4] 合理321 M.H。Albert，R.Brignall，N.Ruskuc和V.Vatter，321避免排列子类的合理性，arXiv:1602.00672（2016）·Zbl 1414.05004号
[5] 迈克尔·H·阿尔伯特。；史蒂夫·林顿（Steve Linton）；钌{s} kuc公司，Nik，排列的插入编码，Electron。J.Combina.，12，研究论文47，31页（2005）·Zbl 1081.05001号
[6] permpal A.Arnarson、C.Bean、A.Bjarnason、U.Erlendson、H.Ulfarsson和S.Viktorsson、permpal、，http://permpal.ru.is/, 2017.
[7] Atkinson，M.D.，限制排列，离散数学。，195, 1-3, 27-38 (1999) ·Zbl 0932.05002号 ·doi:10.1016/S0012-365X（98）00162-9
[8] 医学博士阿特金森。；Stitt，T.，限制置换与花环积，离散数学。，259, 1-3, 19-36 (2002) ·Zbl 1013.05004号 ·doi:10.1016/S0012-365X（02）00443-0
[9] Bassino，法语{e} d日\'{e} 里克; 马蒂尔德·布维尔；阿德琳·皮埃罗（Adeline Pierrot）；卡琳·皮沃托；罗辛，多米尼克，计算置换类组合规范的算法，离散应用。数学。，224, 16-44 (2017) ·Zbl 1361.05004号 ·doi:10.1016/j.dam.2017.02.013
[10] Bassino，法语{e} d日\'{e} 里克; 马蒂尔德·布维尔；阿德琳·皮埃罗（Adeline Pierrot）；罗辛，多米尼克，决定一个圈闭类中包含的简单置换数的有限性是多项式，纯粹数学。申请。（PU.M.A.），21，2，119-135（2010年）·Zbl 1265.05007号
[11] Bassino，法语{e} d日\'{e} 里克; 马蒂尔德·布维尔；阿德琳·皮埃罗（Adeline Pierrot）；Rossin，Dominique，决定置换类中简单置换数有限性的算法，应用进展。数学。，64, 124-200 (2015) ·兹比尔1306.05003 ·doi:10.1016/j.am.2014.12.001
[12] Baxter，Andrew M.，根据排列统计细化枚举方案进行计数，电子。J.Combina.，21，2，论文2.50，27页（2014）·Zbl 1300.05026号
[13] structrepo C.Bean、B.Gudmundsson和H.Ulfarsson、PermStruct、，https://github.com/PermutaTriangle/PermStruct网站, 2017.
[14] 玲玲A.Biere、玲玲、普林格林和特伦格林参加2013年SAT竞赛。
[15] Bruner M.-L.Bruner，中央二项式系数也可计算在内（2431、4231、1432、4132）-回避者，（2015）。
[16] Chung，F.R.K。；格雷厄姆·R·L。；霍加特，V.E.，Jr。；Kleiman，M.，《Baxter置换的数量》，J.Combin，理论服务。A、 24,3382-394（1978）·Zbl 0398.05003号 ·doi:10.1016/0097-3165（78）90068-7
[17] 菲利普·弗拉乔莱特（Philippe Flajolet）；保罗·齐默尔曼（Paul Zimmerman）；Van Cutsem，Bernard，标记组合结构随机生成的微积分，Theoret。计算。科学。，132, 1-2, 1-35 (1994) ·Zbl 0799.68143号 ·doi:10.1016/0304-3975（94）90226-7
[18] gurobi-gurobi Optimization，Inc.，gurobi优化器参考手册，2016年。
[19] Cheyne Homberger；Vatter，Vincent，《关于多项式置换类的有效自动枚举》，J.符号计算。，76, 84-96 (2016) ·Zbl 1331.05016号 ·doi:10.1016/j.jsc.2015.1119
[20] 苏菲·赫钦斯卡（Sophie Huczynska）；Vatter，Vincent，网格类和限制排列的斐波那契二分法，Electron。J.Combina.，13，1，研究论文54，14页（2006）·Zbl 1098.05003号
[21] 凯撒，汤姆；Klazar，Martin，关于闭合置换类的增长率，电子。J.Combina.，9，2，研究论文10，20页（2002/03）·Zbl 1015.05002号
[22] Knuth，Donald E.，《计算机编程的艺术》。第3卷，xiv+780页（1998年），Addison-Wesley，Reading，MA·Zbl 0895.68054号
[23] Kuszmaul，William，《寻找模式回避者和计算排列中模式出现次数的快速算法》，数学。公司。，87, 310, 987-1011 (2018) ·Zbl 1377.05004号 ·doi:10.1090/mcom/3216
[24] 马德拉斯，尼尔；刘，海龙，随机模式避免排列。算法概率与组合数学，内容。数学。520173-194（2010），美国。数学。佛罗里达州普罗维登斯Soc·Zbl 1209.05005号 ·doi:10.1090/conm/520/10259
[25] Mansour，Toufik；Schork，Matthias，《八个和九个四字母模式子集的Wilf分类》，J.Comb。数论，8，3，257-283（2016）·Zbl 1377.05010号
[26] Mansour，Toufik；Schork，Matthias，《四字母模式子集的Wilf分类》，J.Comb。数论，8，1，1-129（2016）·Zbl 1358.05016号
[27] Sam Miner；Pak，Igor，《随机模式避免排列的形状》，《应用进展》。数学。，55, 86-130 (2014) ·Zbl 1300.05032号 ·doi:10.1016/j.aam.2013.12.004
[28] 罗迪卡·西蒙；Schmidt，Frank W.，《限制排列》，《欧洲联合杂志》，第6、4、383-406页（1985年）·Zbl 0615.05002号 ·doi:10.1016/S0195-6698（85）80052-4
[29] OEIS新泽西州。答：。斯隆，整数序列在线百科全书，电子版于网址：http://www.oeis.org, 2017. ·Zbl 1044.11108号
[30] Vatter，Vincent，Finitely标记生成树和限制排列，J.符号计算。，41, 5, 559-572 (2006) ·邮编1124.05004 ·doi:10.1016/j.jsc.2005.10.003
[31] Vatter，Vincent，限制排列的枚举方案，组合。概率。计算。，17, 1, 137-159 (2008) ·Zbl 1133.05004号 ·doi:10.1017/S0963548307008516
[32] Vatter，Vincent，小置换类，Proc。伦敦。数学。Soc.（3），103，5，879-921（2011）·Zbl 1258.05004号 ·doi:10.1112/plms/pdr017
[33] Vatter，Vincent，《寻找置换类的规则插入编码》，J.符号计算。，47, 3, 259-265 (2012) ·兹伯利1237.05014 ·doi:10.1016/j.jsc.2011年11月1.002日
[34] West，Julian，生成树和禁止的子序列，离散数学。。形式幂级数与代数组合数学第六届会议论文集（新泽西州新不伦瑞克，1994），157，1-3，363-374（1996）·Zbl 0877.05002号 ·doi:10.1016/S0012-365X（96）83023-8
[35] Zeilberger，Doron，枚举方案，更重要的是，它们的自动生成，Ann.Comb。，2, 2, 185-195 (1998) ·Zbl 0931.05006号 ·doi:10.1007/BF01608488
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。