×

兹马思-数学第一资源

计算凸壳和计算整数点聚合.(英语) Zbl 1370.90009号
本文介绍了利用polymake系统计算整数壳及其小面以及计算凸多面体中格点的最新进展,该系统允许探索和测试文献中不同的算法方法和实现。这些观察总结为十条“经验法则”。在介绍之后,读者将熟悉polymake系统(它为使用和比较各种算法提供了一个通用接口,可以从polymake.org获得)。然后,在第三节中,我们在polymake系统中实现并研究了各种凸壳算法及其实现,第四节主要介绍了多面体中点阵点的计数。关于实验装置和计算细节的两个附录结束了论文。

理学硕士:
90-08年 运筹学和数学规划问题的计算方法
52-04年 有关凸和离散几何问题的软件、源代码等
PDF格式 BibTeX公司 引用
全文: 内政部
参考文献:
[1] 4ti2团队,4ti2-一个用于线性空间上代数、几何和组合问题的软件包。http://www.4ti2.de(2015年)
[2] Achterberg,T.:SCIP:求解约束整数程序。数学。程序。计算机。1(1) ,第1-41页。http://mpc.zib.de/index.php/mpc/article/view/4(2009年)·Zbl 1171.90476
[3] Avis,D.:lrslib,版本6.0,http://cgm.cs.mcgill.ca/avis/C/lrs.html(2015)
[4] 阿维斯,D.,布雷姆纳,D。塞德尔:凸壳算法有多好?计算机。Geom公司。7(5-6),265-301(1997)(第11届ACM计算几何研讨会(温哥华,BC,1995)·Zbl 0877.68119
[5] Avis,D.,Fukuda,K.:凸壳的旋转算法和排列和多面体的顶点计数,离散计算。Geom公司。8(3) ,295-313(1992)(ACM计算几何专题讨论会(北康威,NH,1991))·Zbl 0752.68082
[6] Avis,D.,Fukuda,K.:反向搜索枚举,离散应用。数学。65(1-3),21-46(1996)(第一届图与优化国际学术讨论会,1992(Grimentz))·Zbl 0854.68070
[7] Avis,D.,Imai,H.,Ito,T.:用三角消去法生成图的切割多面体的刻面。数学。程序。爵士。A112(2) ,303-325(2008年)·Zbl 1190.90281
[8] Avis,D.,Jordan,C.:一些顶点和面枚举代码的比较计算结果,预印本arXiv:1510.02545(2015)
[9] 巴格纳拉,R.,希尔,P。M、 ,Zaffanella,E.:Parma多面体库:面向硬件和软件系统分析和验证的完整数值抽象集。科学。比较。程序。72(1-2),3-21(2008年)
[10] Baldoni,V.,Berline,N.,De Loera,J.,Dutra,B.,Koeppe,M.,Vergne,M.:西尔维斯特密度系数,整数15,论文编号A11(2015)·Zbl 1318.05004
[11] Barahona,F.:不可压缩到\(K{s}\)的图的最大割问题。操作。Res.Lett.公司。2(3) ,第107-111页(1983年)·Zbl 0525.90094
[12] 巴维诺克,A。一、 维数固定时多面体积分点的多项式时间算法。数学。操作。物件。19(4) ,769-779(1994年)·Zbl 0821.90085
[13] Behle,M.:关于阈值BDDs与最优变量排序问题,组合优化与应用。地址:安德烈亚斯,D.,银峰,X.,滨海,Z(eds)计算机科学课堂讲稿,4616卷,124-135页,斯普林格柏林海德堡(英语)(2007)·Zbl 1175.90324
[14] Bejraburnin,N:关于相关多面体的刻面不等式,http://math.berkeley.edu/natth/files/STAT241A.pdf
[15] 卡尔,HB,双描述法与超越下算法的平均案例分析,离散计算。《地理》,37175-204,(2007年)·Zbl 1115.68155
[16] 增量凸壳算法对输出不敏感。离散计算。Geom公司。21(1) ,57-68(1999年)·中银0924.68192
[17] Bremner,D.,Dutour Sikirić,M.,Schürmann,A.:对称性的多面体表示转换。多面体计算。课堂讲稿,第48卷,Amer。数学。普罗维登斯,2009年第71-45页·Zbl 1170.68621
[18] Bruns,W.,Ichim,B.,Söger,C.:规范化中金字塔分解的力量,J。符号计算。74,513-536(2016年)·Zbl 1332.68298号
[19] Bruns,W.,Ichim,B.,Söger,C.,Römer,T.:正常化。有理锥和仿射幺半群的算法,2.99.4版,http://www.math.uos.de/normalize(2015年)
[20] Chazelle,B:任何固定维数下的最优凸壳算法。离散计算。Geom公司。10(4) ,377-409(1993年)·Zbl 0786.68091
[21] 谢尼科娃,NV,求线性方程组非负解的一般公式的算法,苏联计算机。数学。数学。物理学,4151-158,(1964年)·Zbl 0221.65055
[22] Christof,T.:SMAPO,低维0/1-多面体的线性描述库,与组合优化问题的小实例相联系。http://www.iwr.uni-heidelberg.de/groups/comot/software/SMAPO/cut/cut.html(2010年)
[23] Christof,T.,Loebel,A.:PORTA,版本1.4.1-20090921。http://porta.zib.de/(2009年)
[24] IBM公司,ILOG CPLEX,http://www.ibm.com/software/commerce/optimization/cplex-optimizer/·Zbl 1115.68155
[25] 多面体中计算格点的许多方面。数学。塞梅斯特。52(2) ,175-195(2005年)·Zbl 1093.52006
[26] De Loera,J.A.,Berline,N.,Baldoni,V.,Dutra,B.,Köppe,M.,Moreinis,S.,Pinto,G.,Vergne,M.,Wu,J.:LattE积分版用户指南v1.7.3,LattE软件包可在http://www.math.ucdavis.edu/拿铁/,(2015)·Zbl 1115.68155
[27] 德洛拉,J。A、 ,Dutra,B.,Köppe,M.,Moreinis,S.,Pinto,G.,Wu,J.:多面体上多项式精确积分的软件。计算机。Geom公司。46(3) ,232-252(2013年)·Zbl 1259.65054
[28] 杜威,C.,伍兹,K.:参数序列比对,计算生物学的代数统计学。剑桥大学出版社,纽约(2005)·Zbl 1374.92111
[29] Edelsbrunner,H.:组合几何中的算法,EATCS理论计算机科学专著,第10卷,斯普林格-韦拉格,柏林(1987)·Zbl 0634.52001
[30] 科赫,T。等:MIPLIB 2010,数学。程序。计算机。(2) 103-163(英语),http://miplib.zib.de/miplib2010.php(2011年)
[31] 格兰伦德,T。等:GNU多精度算术库5.1.2,http://gmplib.org/
[32] 福田,K.:cddlib,版本0.94h, http://www.inf.ethz.ch/personal/fukudak/cdd_home/(2015年)
[33] Fukuda,K.,Prodon,A.:双描述方法再探讨,组合与计算机科学(Brest 1995),计算机讲义。《科学》,第1120卷,第91-111页,斯普林格,柏林(1996)
[34] 加里,M。R、 ,约翰逊,D。S、 计算机与难处理性:NP完全性理论指南。W。H。弗里曼公司,纽约(1979)·Zbl 0411.68039
[35] Gawrilow,E.,Joswig,M.:Polymake:分析凸多面体的框架,多面体组合与计算(Oberwolfach 1997),DMV Sem.,第29卷,第43-73页,Birkhäuser,巴塞尔,(2000)·Zbl 0960.68182号
[36] Gawrilow,E.,Joswig,M.:polymake中的灵活对象层次结构。在:安德烈斯,I.,Nobuki,T(第二届国际数学软件大会论文集,2006年9月1日至3日,第219-221页,卡斯特罗·乌迪亚莱斯,斯潘尼安(2006)·Zbl 1230.52003
[37] Ghemawat,S.,Menage,P.:线程缓存Malloc是Google性能工具的一部分。http://goog-perftools.sourceforge.net/doc/tcmalloc.html
[38] Gurobi Optimization,Inc.,Gurobi optimizer参考手册(2013)
[39] 海斯,AC;大卫,G;拉曼,背包多面体的顶点,离散应用。数学,6135-138,(1983)·Zbl 0523.90063
[40] 《数学基础》2002年版,北京希姆克计算基础。公共。River Edge,新泽西州,2002年,第307-317页·Zbl 1191.11037
[41] MathWorks公司,MATLAB版本8.2.0.701(r2013b),http://mathworks.com马萨诸塞州纳蒂克市(2010年)
[42] 乔斯维格:重温《超越与超越:代数、几何和软件系统》。斯普林格,柏林(2003)·Zbl 1027.68128号
[43] Joswig,M.,Loho,G.,Lorenz,B.,Schröter,B.:Puiseux分数域上的线性规划和凸壳。在:计算机和信息科学的数学方面:第六届国际会议,2015年11月11日至13日,德国柏林,2015年11月11日至13日,修订论文集,计算机课堂讲稿。《科学》,第9582卷,第429-445页,斯普林格,柏林(2016)·Zbl 1460.90106
[44] Joswig,M.,Theobald,T.:计算几何中的多面体和代数方法,Universitext,Springer,伦敦,2013年,修订和更新了2008年德语原文的翻译·Zbl 1267.52001
[45] 乔斯威格,M.,齐格勒,G。M、 :凸面外壳、神谕和同源性。J。符号计算。38(4) ,1247-1259年(2004年)·Zbl 1121.52030
[46] Khachiyan,L.,Boros,E.,Borys,K.,Elbassioni,K.,Gurvich,V.:生成多面体的所有顶点是困难的。离散计算。Geom公司。39(1-3),174-190(2008年)·Zbl 1147.05040
[47] Klee,V.,Minty,G.J.:单纯形算法有多好?《不平等III:第三届研讨会论文集》,加州大学洛杉矶,1969年;为了纪念西奥多。莫茨金,第159-175页,学术出版社,纽约(1972)
[48] Koeppe,M.,Verdoolage,S.,Woods,K.:Barvinok-Woods整数投影算法的实现。信息理论与统计学习国际会议论文集,第53-59页(2008年)
[49] Köppe,M:基于无理分解的原始Barvinok算法。暹罗J。离散数学。21(1) ,220-236(电子版)(2007年)·Zbl 1135.05003
[50] 麦克马伦,P.:单纯形多面体的面数。以色列J。数学。9,559-570(1971年)·Zbl 0209.53701
[51] Motzkin,T.S.,Raiffa,H.,Thompson,G.L.,萨尔,R.M.:双重描述方法,博弈论贡献,第2卷,《数学研究年鉴》,第28期,第51-73页,普林斯顿大学出版社,普林斯顿,(1953年)·Zbl 0050.14201号
[52] Murai,S.,Nevo,E:关于多面体和球体的广义下界猜想。数学学报。210(1) ,185-202(2013年)·Zbl 1279.52014
[53] Opfer,T.:Entwicklung eines exakten rationalien dualen Simplex-Lösers,硕士论文,TU Darmstadt,(2011)
[54] polymake团队,用polymake计算凸包并计算整数点,http://www.polymake.org/doku.php/researchdata/polymakeilp,实验数据和源代码(2015)
[55] polymake团队,polymake,2.14版,http://www.polymake.org(2015年)
[56] Loïc,P.:维数中的欧几里德算法,ISSAC'96。1996年符号与代数计算国际研讨会论文集,第40-42页(1996年)·Zbl 0919.11088
[57] 雷恩,T.:多面体描述到对称性的转换,硕士论文,奥托冯盖里克大学马格德堡,(2010)
[58] 组合优化。多面体和效率。C卷,算法和组合学,第24卷,第70-83页,斯普林格-韦拉格,柏林,不相交路径,超图,章节(2003)
[59] Seidel,R.:偶数维点集的凸壳优化算法。不列颠哥伦比亚大学计算机科学系技术报告(1981)
[六十] Tantau,T.:TikZ ist kein zeichenprogram PGF/TikZ,http://www.ctan.org/tex-archive/graphics/pgf/
[61] CGAL项目,CGAL用户和参考手册,4.7版,CGAL编辑委员会(2015)
[62] 华利安,LG,枚举的复杂性和可靠性问题,暹罗J。计算机,8410-421,(1979年)·Zbl 0419.68082
[63] Verdoolage,S.:巴尔维诺克,http://barvinok.gforge.inria.fr/
[64] Walter,M.:polymake的单模块性测试扩展,https://github.com/xammy/unimodulerity-test
〔65〕 Walter,M.,Truemper,K.:单模块性测试的实现。数学。程序。计算机。5(1) 第57-73页(2013年)·Zbl 1262.05020
[66] Ziegler,G.M.:关于多面体的讲座,数学研究生教材,第152卷,斯普林格·韦拉格,纽约(1995)·邮政编码:0823.52002
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。