×

线性优化中电路增强算法的枢轴规则。 (英语) Zbl 1500.90022号

摘要:电路增强算法是单纯形方法的推广,在每一步中,都允许一个人沿着一组固定的方向移动,这组方向称为电路,即多面体边缘的超集。我们表明,在电路增强框架中,最大的改进和Dantzig枢轴规则是NP-hard,已经适用于0/1-LP。不同的是,最速下降枢轴规则可以在0/1设置中的多项式时间内执行,并且根据该规则达到最优解所需的电路扩充的数量对于0/1-LP是强多项式的。在单纯形法中,电路扩充的数量作为步骤数量的代理一直很有兴趣,并且多面体的电路直径被研究为多面体组合直径的下界。扩展先前的结果,我们表明,对于任何多面体\(P\),电路直径由输入位大小为\(P\)的多项式定界。这与多面体组合直径的最佳界限形成对比。有趣的是,我们证明了电路增强框架可以用来对经典单纯形方法本身作出新的结论:特别是,作为我们电路结果的副产品,我们证明(i)计算多面体1-骨架上最优解的最短(单调)路径是NP-hard,并且很难在一个优于2的因子内进行近似,并且(ii)对于(0/1)多胞体,可以使用最陡的改进边构造一条强多项式长度的单调路径。

MSC公司:

90C05(二氧化碳) 线性规划
90C27型 组合优化
52B55号 与凸性相关的计算方面
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] I.Adler、C.Papadimitriou和A.Rubinstein,《关于单纯形旋转规则和复杂性理论》,《整数规划和组合优化》,《计算讲义》。科学。8494,施普林格,查姆,2014年,第13-24页,https://doi.org/10.1007/978-3-319-07557-0_2。 ·Zbl 1418.90145号
[2] R.K.Ahuja、T.L.Magnanti和J.B.Orlin,《网络流》,新泽西州恩格伍德悬崖普伦蒂斯·霍尔出版社,1993年·Zbl 1201.90001号
[3] N.Amenta和G.M.Ziegler,变形乘积和多胞体的最大阴影,《离散和计算几何进展》(South Hadley,MA,1996),Contemp。数学。223,美国数学学会,普罗维登斯,RI,1999年,第57-90页·兹比尔0916.90205
[4] D.Avis和O.Friedmann,坎宁安规则的指数下限,数学。程序。,161(2017),第271-305页,https://doi.org/10.1007/s10107-016-1008-4。 ·Zbl 1360.90163号
[5] F.Barahona和E.Tardos,关于Weintraub最小成本循环算法的注释,SIAM J.Compute。,18(1989),第579-583页,https://doi.org/10.1137/0218039。 ·Zbl 0674.90025号
[6] R.E.Behrend,分数完全b-匹配多面体。一: 一般理论,线性代数应用。,439(2013),第3822-3858页,https://doi.org/10.1016/j.laa.2013.10.001。 ·Zbl 1282.05185号
[7] R.G.Bland,《(n)维欧氏空间的互补正交子空间与拟阵的可定向性》,康奈尔大学博士论文,1974年。
[8] R.G.Bland,《网络流理论的一般性》,载于《ORSA/TIMS联合全国会议论文集》,佛罗里达州迈阿密,1976年。
[9] R.G.Bland和J.Edmonds,《全单模线性规划的快速原始算法》,第十九届数学规划国际研讨会论文集,西德波恩,1982年。
[10] S.Borgwardt、J.A.De Loera和E.Finhold,边缘与电路:多面体中直径的层次,高级几何。,16(2014),第511-530页,https://doi.org/10.1515/advgeom-2016-0020。 ·Zbl 1386.52008年
[11] S.Borgwardt、E.Finhold和R.Hemmecke,关于双输运多面体的回路直径,SIAM J.离散数学。,29(2015),第113-121页,https://doi.org/10.1137/10976868。 ·Zbl 1335.90058号
[12] S.Borgwardt和C.Viss,电路集枚举和优化的多面体模型,离散应用。数学。,308(2022),第68-83页·Zbl 1483.90075号
[13] J.A.De Loera、R.Hemmecke和M.Ko¨ppe,《离散优化理论中的代数和几何思想》,MOS-SIAM Ser。最佳方案。2013年,宾夕法尼亚州费城SIAM·Zbl 1401.90012号
[14] J.A.De Loera、R.Hemmecke和J.Lee,《关于线性和整数线性规划的增强算法:从Edmonds-Karp到Bland及以后》,SIAM J.Optim。,25(2015),第2494-2511页·Zbl 1330.90053号
[15] J.A.De Loera、B.Sturmfels和R.R.Thomas,第二超单形的Groébner基和三角剖分,组合数学,15(1995),第409-424页,https://doi.org/10.1007/BF01299745。 ·Zbl 0838.52015号
[16] A.Del Pia和C.Michini,格多面体中的短单纯形路径,离散计算。地理。,67(2022),第503-524页,https://doi.org/10.1007/s00454-020-00268-y。 ·Zbl 1487.90476号
[17] Y.Disser和M.Skutella,《单纯形算法是NP观点》,载于第二十六届ACM-SIAM离散算法年会论文集,SIAM,宾夕法尼亚州费城,2015年,第858-872页,https://doi.org/10.1137/1.9781611973730.59。 ·Zbl 1371.90081号
[18] F.Eisenbrand、C.Hunkenschro­der、K.Klein、M.Kouteckyá、A.Levin和S.Onn,整数规划算法理论,预印本,arXiv:1904.01361[math.oc],2019,https://arxiv.org/abs/1904.01361。
[19] J.Fearnley和R.Savani,《单纯形方法的复杂性》,摘自STOC’15-2015年ACM计算理论研讨会论文集,ACM,纽约,2015年,第201-208页·Zbl 1321.90079号
[20] E.Finhold,《电路直径及其在运输问题中的应用》,慕尼黑工业大学博士论文,2015年。
[21] A.Frank和E.Tardos,同步丢番图逼近在组合优化中的应用,组合数学,7(1987),第49-65页·Zbl 0641.90067号
[22] O.Friedmann、T.D.Hansen和U.Zwick,《单纯形算法随机旋转规则的次指数下界》,第43届ACM计算理论研讨会论文集,STOC’11,加利福尼亚州圣何塞,2011年,第283-292页,https://doi.org/10.1145/1993636.1993675。 ·Zbl 1288.68090号
[23] A.M.Frieze和S.H.Teng,关于计算多面体直径的复杂性,计算。《复杂性》,4(1994),第207-219页·Zbl 0824.68042号
[24] J.B.Gauthier、J.Desrosiers和M.Luëbbecke,线性规划的分解定理,Oper。Res.Lett.公司。,42(2014),第553-557页,https://doi.org/10.1016/j.org.2014.10.001。 ·Zbl 1408.90173号
[25] D.Goldfarb和W.Y.Sit,最陡边单纯形方法的最坏情况,离散应用。数学。,1(1979年),第277-285页,https://doi.org/10.1016/0166-218X(79)90004-0. ·Zbl 0423.90044号
[26] T.Hansen和U.Zwick,《单纯形算法随机面旋转规则的改进版本》,载于《第47届美国计算机学会计算机理论研讨会论文集》,STOC 2015,俄勒冈州波特兰,2015年,第209-218页,https://doi.org/10.1145/2746539.2746557。 ·Zbl 1321.90080号
[27] R.Hemmecke、S.Onn和R.Weismantel,凸整数最小化的多项式或时间算法,数学。程序。,126(2011),第97-117页·Zbl 1228.90055号
[28] R.G.Jeroslow,最大化准则改进的枢轴规则单纯形算法,离散数学。,4(1973),第367-377页,https://doi.org/10.1016/0012-365X(73)90171-4. ·Zbl 0254.90027号
[29] S.Kafer,K.Pashkovich,L.Sanià,关于一些组合多面体的回路直径,SIAM J.离散数学。,33(2019),第1-25页,https://doi.org/10.1137/17M1152115。 ·Zbl 1416.52006年
[30] A.V.Karzanov和S.T.McCormick,单模线性空间中可分离凸优化的多项式方法及其应用,SIAM J.Compute。,26(1997),第1245-1275页,https://doi.org/10.1137/S0097539794263695。 ·Zbl 0899.90134号
[31] T.Kitahara和S.Mizuno,单纯形法生成的不同基本解数量的界,数学。程序。,137(2013),第579-586页·Zbl 1262.90086号
[32] T.Kitahara和S.Mizuno,《关于LP单纯形法生成的解的数量》,载于《优化和控制技术及应用》,柏林施普林格出版社,2014年,第75-90页·Zbl 1327.90104号
[33] V.Klee和G.J.Minty,单纯形算法有多好?,《不平等》,第三卷(《第三交响曲汇编》,加利福尼亚州洛杉矶加利福尼亚大学,1969年;纪念西奥多·莫茨金),学术出版社,纽约,1972年,第159-175页·Zbl 0297.90047号
[34] U.H.Kortenkamp、J.Richter-Gebert、A.Sarangarajan和G.M.Ziegler,0/1多胞体的极值性质,离散计算。地理。,17(1997),第439-448页,https://doi.org/10.1007/PL00009303。 ·Zbl 0881.52005号
[35] T.Kuno、Y.Sano和T.Tsuruda,计算用单纯形算法生成的基本可行解数量的Kitahara-Mizuno界,Optim。莱特。,12(2018),第933-943页,https://doi.org/10.1007/s11590-018-1276-4。 ·Zbl 1402.90085号
[36] S.T.McCormick和A.Shioura,最小比值消去对于线性规划来说是预言多项式,但对于网络来说不是强多项式,Oper。Res.Lett.公司。,27(2000),第199-207页·Zbl 1096.90543号
[37] S.Muöller和G.Regensburger,多面体几何中的基本向量和共形和及其与代谢途径分析的相关性,Front。遗传学。,7(2016),第90页,https://doi.org/10.3389/fgene.2016.00090。
[38] S.Onn,非线性离散优化,苏尔。莱克特。高级数学。,欧洲数学学会,苏黎世,2010年·Zbl 1219.90003号
[39] R.T.Rockafellar,《(R^N)子空间的初等向量》,《组合数学及其应用》(Proc.Conf.,Univ.North Carolina,Chapel Hill,N.C.,1967),北卡罗来纳大学出版社,北卡罗莱纳州Chapel Hill,1969年,第104-127页·Zbl 0229.90019号
[40] L.Sanià,分数匹配多面体的直径及其硬度含义,第59届IEEE计算机科学基础年会论文集,2018年,第910-921页,https://doi.org/10.109/FOCS.2018.00090。
[41] A.S.Schulz和R.Weismantel,求解一般整数程序的通用原始算法的复杂性,数学。操作。研究,27(2002),第681-692页·Zbl 1082.90072号
[42] A.S.Schulz、R.Weismantel和G.M.Ziegler,《0/1\em-整体编程:优化和增强是等效的》,载于《算法-ESA’95》,P.Spirakis,ed.,Springer,Berlin,1995年,第473-483页·Zbl 1512.90140号
[43] B.Sturmfels,格罗布纳基和凸多面体,大学讲师。8,美国数学学会,普罗维登斯,RI,1996年·Zbl 0856.13020号
[44] T.Terlaky和S.Zhang,《线性规划的枢轴规则:最近理论发展的调查》,Ann.Oper。Res.,46(1993),第203-233页,https://doi.org/10.1007/BF02096264。 ·Zbl 0793.90034号
[45] N.Zadeh,单纯形算法的最坏情况是什么?,多面体计算,48 CRM Proc。演讲笔记,美国数学学会,普罗维登斯,RI,2009年,第131-143页·Zbl 1172.90442号
[46] G.M.Ziegler,《0/1多面体讲座》,《多面体-组合数学和计算》,DMV Sem.29,Birkhau¨ser,巴塞尔,2000年·Zbl 0966.52012号
[47] G.M.Ziegler,《典型和极值线性规划》,收录于MOS-SIAM Ser。最佳。,SIAM,宾夕法尼亚州费城,2004年,第217-230页·Zbl 1152.90531号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。