×

在组合设置中出现的二级多面体。 (英语) Zbl 1395.52018号

摘要:二级多面体自然出现在纯数学和应用数学的几个领域,包括组合优化、多面体组合学、通信复杂性和统计学。在本文中,我们对组合环境中出现的一些(2)级多面体进行了研究。我们的第一个贡献是证明了这种多胞族的大集合的(f_0(P)f_{d-1}(P)leqd2^{d+1})。这里,(f_0(P))(resp.,(f_{d-1}(P。这是否适用于所有的二级多面体[A.波恩等,Lect。注释计算。科学。9294, 191–202 (2015;Zbl 1394.52008年)],和来自的实验结果S.菲奥里尼等[同上,9849,285–296(2016;Zbl 1397.52008号)]对于\(d\leq 7 \)显示为真。我们大多数证明的关键是更深入地理解这些多面体之间的关系及其潜在的组合结构。这导致了一些我们认为有独立意义的结果:图中团和稳定集数量的权衡公式,稳定匹配多面体作为某些阶多面体的仿射投影的描述,以及关于拟阵的基多面体的线性描述,该基多面体是以相关树的割为2级的。

MSC公司:

52磅12 特殊多边形(线性规划、中心对称等)
52 B40码 凸几何中的拟阵(在凸多面体、组合结构中的凸性等背景下的实现)
90C57型 多面体组合学,分支与绑定,分支与切割

软件:

2L_枚举
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] M.Aprile、A.Cevallos和Y.Faenza,关于组合的顶点和面2-水平多边形,《第四届组合优化国际研讨会论文集》,瑞士查姆施普林格,2016年,第177-188页·Zbl 1452.90324号
[2] M.Aprile、Y.Faenza、S.Fiorini、T.Huynh和M.Macchia,二部图稳定集多面体的扩张复杂性,摘自《计算机科学中的图形理论概念——第43届国际研讨会》,2017年工作组,荷兰埃因霍温,2017年6月21日至23日,修订论文集,H.L.Bodlaender,G.J.Woeginger,eds.,施普林格国际出版公司,瑞士查姆,2017年,第75-87页·Zbl 1483.90129号
[3] F.Barahona和M.Groétschel,二元拟阵的圈多面体J.Combina.理论系列。B、 40(1986年),第40-62页·Zbl 0596.05018号
[4] I.Bárány和A.Pór,打开0–1多面体高级数学。,161(2001),第209-228页·Zbl 0988.52014号
[5] R.E.Bixby和W.H.Cunningham,拟阵优化与算法麻省理工学院出版社,马萨诸塞州剑桥,1996年·Zbl 0848.05017号
[6] A.Bohn、Y.Faenza、S.Fiorini、V.Fisikopoulos、M.Macchia和K.Pashkovich,的枚举2-水平多边形《算法——ESA 2015》,N.Bansal,I.Finocchi编辑,《9294计算机科学讲义》,柏林斯普林格,2015年,第191-202页·Zbl 1394.52008年
[7] A.Bohn、Y.Faenza、S.Fiorini、V.Fisikopoulos、M.Macchia和K.Pashkovich,的枚举2-水平多边形,数学。程序。计算。,出现·Zbl 1394.52008年
[8] F.Buekenhout和M.Parker,正凸多面体在维数上的网数\(≤\)4,离散数学。,186(1998),第69-94页·Zbl 0956.52014号
[9] T.Chappell、T.Friedl和R.Sanyal,两个双偏序集多面体,SIAM J.离散数学。,31(2017),第2378–2413页·Zbl 1425.52011年5月
[10] V.Chvaítal,关于与图相关的若干多面体J.Combina.理论系列。B、 18(1975年),第138-154页·Zbl 0277.05139号
[11] V.Chvaítal,完全有序图,摘自《完美图的主题》,C.Berge,V.Chvaítal,eds.,North-Holland Math。Stud.88,Elsevier,阿姆斯特丹,1984年,第63-65页·Zbl 0559.05055号
[12] M.Conforti、V.Kaibel、M.Walter和S.Weltge,计数拟阵的子图多面体和独立多面体,操作。Res.Lett.公司。,43(2015),第457-460页·Zbl 1408.90250号
[13] R.Diestel,图论,梯度。数学课文,斯普林格,纽约,2005年·Zbl 1074.05001号
[14] P.Eirinakis、D.Magos、I.Mourtos和P.Miliotis,稳定婚姻的多面体,数学。操作。Res.,39(2013),第656–671页·Zbl 1308.90107号
[15] M.Escobar和Y.Faenza,轮换完美稳定的婚姻实例,手稿,2017年。
[16] S.Fiorini、V.Fisikopoulos和M.Macchia,具有指定面的两级多面体《组合优化》,R.Cerulli、S.Fujishige和A.R.Mahjoub编辑,Springer,Cham,2016年,第285-296页·Zbl 1397.52008号
[17] D.Gale和L.S.Shapley,大学招生与婚姻稳定,美国。数学。《月刊》,第69期(1962年),第9-15页·Zbl 0109.24403号
[18] J.Gouveia、R.Grappe、V.Kaibel、K.Pashkovich、R.Z.Robinson和R.Thomas,哪些非负矩阵是松弛矩阵?,线性代数应用。,439(2013),第2921–2933页·兹比尔1283.15103
[19] J.Gouveia、M.Laurent、P.A.Parrilo和R.Thomas,图中二元拟阵和割的圈的一个新的半定规划层次,数学。程序。,133(2012年),第203-225页·Zbl 1262.90123号
[20] J.Gouveia、P.A.Parrilo和R.R.Thomas,多项式理想的Theta体、SIAM J.Optim.、。,20(2010年),第2097–2118页·Zbl 1213.90190号
[21] J.Gouveia、K.Pashkovich、R.Z.Robinson和R.R.Thomas,最小正半定秩的四维多面体,J.Comb。理论Ser。A、 145(2017年),第184-226页·Zbl 1360.52006年
[22] J.Gouveia、R.Z.Robinson和R.R.Thomas,最小正半定秩的多面体,离散计算。地理。,50(2013年),第679-699页·Zbl 1279.52023号
[23] F.Grande和J.Rueí,许多2-拟阵的水平多面体,离散计算。地理。,54(2015),第954-979页·Zbl 1342.05021号
[24] F.Grande和R.Sanyal,Theta秩、水平度和拟阵子级J.Combina.理论系列。B、 123(2017),第1-31页·Zbl 1354.05020号
[25] J.L.Gross和J.Yellen,图论及其应用,CRC出版社,佛罗里达州博卡拉顿,2005年·Zbl 1082.05001号
[26] D.古斯菲尔德,稳定婚姻中四个问题的三种快速算法,SIAM J.计算。,16(1987),第111-128页·Zbl 0635.68036号
[27] D.Gusfield和R.W.Irving,稳定婚姻问题:结构与算法麻省理工学院出版社,马萨诸塞州剑桥,1989年·Zbl 0703.68046号
[28] O.Hanner,凸体平移的交点,数学。扫描。,4(1956),第65-87页·Zbl 0070.39302号
[29] A.B.Hansen,关于一类与独立系统相关的多面体,数学。扫描。,41(1977),第225–241页·Zbl 0411.05033号
[30] T.Hibi和N.Li,序与链多面体的单模等价,预印本,[math.Co],2012年。
[31] R.W.Irving和P.Leather,计算稳定婚姻的复杂性,SIAM J.计算。,15(1986年),第655-667页·Zbl 0611.68015号
[32] 岩手县、神山县、加藤县、木岛县和冈本县,稀疏拟阵的扩展公式,数学。程序。,158(2016),第565-574页·Zbl 1343.05046号
[33] V.Kaibel、J.Lee、M.Walter和S.Weltge,正则拟阵独立多面体的扩展公式《图形组合》,32(2016),第1931-1944页·Zbl 1354.05021号
[34] G.卡莱,中心对称多面体的面数,《图表组合》,第5期(1986年),第389-391页·Zbl 1168.52303号
[35] D.E.Knuth,Mariages stables et leurs relationships avec d'autres problèmes combinetoires:引言分析数学模型算法,Presses de l’Universite®de Montre®al,Montre™al出版社,1976年·Zbl 0358.68057号
[36] U.H.Kortenkamp、J.Richter-Gebert、A.Sarangarajan和G.M.Ziegler,的极值属性0/1-多面体,离散补偿。地理。,17(1997),第439–448页·Zbl 0881.52005号
[37] J.Lee、J.Leung和F.Margot,最小上/最小下多边形,离散优化。,1(2004年),第77-85页·Zbl 1087.90053号
[38] L.Lovaász,正规超图与完美图猜想,离散数学。,2(1972年),第253-267页·Zbl 0239.05111号
[39] L.Lovaísz和M.E.Saks,格、莫比乌斯函数和通信复杂性,《第29届计算机科学基础年度研讨会论文集》,怀特普莱恩斯,纽约,1988年,IEEE计算机学会,第81-90页。
[40] S.Lovett,通信复杂性中对数秩猜想的研究进展,[cs.CC],2014年·Zbl 1409.68118号
[41] R.K.Martin,使用分离算法生成混合整数模型重新公式,操作。Res.Lett.公司。,10(1991年),第119-128页·Zbl 0747.90071号
[42] J.G.Oxley,拟阵理论牛津大学出版社,纽约,2006年·Zbl 1115.05001号
[43] H.Prodinger和R.F.Tichy,图的斐波那契数,斐波纳契夸脱。,20(1982),第16-21页·Zbl 0475.05046号
[44] A.E.Roth、U.G.Rothblum和J.H.V.Vate,稳定匹配、最优分配和线性规划,数学。操作。Res.,18(1993),第803-828页·兹伯利0806.90085
[45] T.Rothvoß,一些0/1多面体需要指数大小的扩展公式,数学。程序。,142(2013),第255-268页·Zbl 1282.90245号
[46] F.桑托斯,赫希猜想的反例数学安。(2) 第176页(2012年),第383-412页·Zbl 1252.52007年
[47] A.Schrijver,线性与整数规划理论,John Wiley&Sons,纽约,1998年·Zbl 0970.90052号
[48] A.Schrijver,组合优化:多面体与效率2003年,柏林,施普林格-弗拉格出版社·Zbl 1041.90001号
[49] P.D.西摩,正则拟阵的分解,J.组合理论,系列。B、 28(1980),第305-359页·Zbl 0443.05027号
[50] R.P.斯坦利,两个偏序集多面体,离散计算。地理。,1(1986),第9-23页·Zbl 0595.5208号
[51] S.Sullivant,压缩多边形和统计披露限制东北数学。J.(2),58(2006),第433-445页·Zbl 1121.52028号
[52] S.Wagner和I.Gutman,Hosoya指数和Merrifield-Simons指数的最大值和最小值《应用学报》。数学。,112(2010),第323–346页·Zbl 1201.92068号
[53] M.Yannakakis,用线性规划表示组合优化问题,J.计算。系统科学。,43(1991),第441-466页·Zbl 0748.90074号
[54] G.M.Ziegler,多面体讲座1995年,纽约施普林格-弗拉格出版社·Zbl 0823.52002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。