×

多面体和更一般的有限局部分支格的一种新的面迭代器。 (英语) Zbl 1489.52010年

摘要:我们讨论了一种新的节省内存的深度优先算法及其实现,该算法迭代有限局部分支格的所有元素。该算法可以应用于多面体的面格以及各种推广,如有限多面体复数和流形的细分、扩展紧跨距和拟阵的闭集。与之前考虑的算法的最新实现相比,它的实际实现速度非常快。基于最近的工作W.Bruns公司等人[Int.J.代数计算30,第4期,861–882(2020;Zbl 1481.20207号)],我们应用此算法来证明威尔夫猜想对于重数为19的所有数值半群,通过迭代Kunz圆锥体并确定可能的坏面孔然后检查这些并没有为Wilf的猜想提供反例。

MSC公司:

52个B05 多面体和多面体的组合特性(面数、最短路径等)
52秒20 凸几何中的格多面体(包括与交换代数和代数几何的关系)
2014年11月20日 交换半群
20-08 群论问题的计算方法
06A07年 偏序集的组合数学
65年第68季度 算法和问题复杂性分析
2015年1月5日 精确枚举问题,生成函数
05立方厘米35 拟阵和几何格的组合方面
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 拜耳,MM;Hetyei,G.,欧拉偏序集、标志数和Möbius函数的推广,离散数学。,256, 3, 577-593 (2002) ·Zbl 1020.06001号 ·doi:10.1016/S0012-365X(02)00336-9
[2] Bruns,W.,García-Sánchez,P.,O'Neill,C.,Wilburne,D.:固定多重性中的Wilf猜想。国际代数计算杂志。30(4), 861-882 (2020) ·Zbl 1481.20207号
[3] Bruns,W.、Ichim,B.、Römer,T.、Sieg,R.、Söger,Ch.:Normaliz。有理锥和仿射幺半群的算法。https://www.normalize.uni-osnabureck.de
[4] Eliahou,S.:威尔夫猜想的图表理论方法。电子。J.库姆。27(2),#P2.15(2020)·Zbl 1455.11046号
[5] Gawrilow,E.,Joswig,M.:多边形:分析凸多边形的框架。收录:《多面体-组合与计算》(Oberwolfach 1997)。DMV Sem.,第29卷,第43-73页。Birkhäuser,巴塞尔(2000年)·Zbl 0960.68182号
[6] 汉普,S。;Joswig,M。;Schröter,B.,《紧跨和热带线性空间的算法》,J.Symb。计算。,91, 116-128 (2019) ·Zbl 1498.05046号 ·doi:10.1016/j.jsc.2018.06.016
[7] 凯贝尔,V。;Pfetsch,ME,从多边形的顶点-面入射角计算多边形的面晶格,计算。地理。,23, 3, 281-290 (2002) ·Zbl 1015.52010号 ·doi:10.1016/S0925-7721(02)00103-7
[8] Lemire,D.,Kaser,O.,Kurz,N.,Deri,L.,O'Hara,C.,Saint-Jacques,F.,Ssi-Yan-Kai,G.:咆哮位图:优化软件库的实现。软件48(4),867-895(2018)
[9] Oxley,JG,拟阵理论。牛津科学出版社(1992年),纽约:牛津大学出版社,纽约·Zbl 0784.05002号
[10] 齐格勒,G.M.:关于多面体的讲座。数学研究生教材,第152卷。施普林格,纽约(1995)·Zbl 0823.52002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。