×
埃德温·奥谢;安德烈·塞伯

测试全对偶完整性的替代方法。 （英语） Zbl 1237.90169号

数学。程序。 132，编号1-2（A），57-78（2012）.
摘要：在本文中，我们提供了全对偶积分（TDI）系统的特征性质，其中包括：线性不等式组是TDI当且仅当其系数向量形成希尔伯特基，对于系统的双整数程序，存在一个测试集，其中所有测试向量的正项都等于1。这一点的改写提供了计算代数和整数规划之间的关系，它们包含Applegate、Cook和McCormick关于TDI性质的充分条件，以及Sturmfels定理，该定理将无平方单项式生成的环面初始理想与幺模三角剖分联系起来。我们还研究了这里提出的TDI特性表征的理论和实际效率以及限制。在集合封装多面体的特殊情况下，我们的结果对应于赋予弱完美图定理一个额外的、计算上有趣的几何特征：完美图的稳定集合多面体中的正规扇形可以细化为只包含单模锥的正则三角剖分。

引用于2文件

MSC公司：

90立方厘米 整数编程
90C27型 组合优化
13页第10页 Gröbner碱；理想和模块的其他基础（例如Janet和border基础）
13第25页 交换代数的应用（例如，统计、控制理论、优化等）

关键词：

全对偶完整性;集合填充多面体;测试集

软件：

麦考莱2;多晶的;TOPCOM公司;cdd（光盘）
PDF格式BibTeX公司 XML格式引用
\textit{E.O'Shea}和\textit{A.Sebö}，数学。程序。132，编号1--2（A），57-78（2012；Zbl 1237.90169）
全文： 内政部 arXiv公司

参考文献：

[1] Applegate D.、Cook W.和McCormick T.：积分可行性和测试全对偶积分。操作。Res.Lett公司。10, 37–41 (1991) ·Zbl 0722.90057号 ·doi:10.1016/0167-6377（91）90084-3
[2] Barvinok A.，Woods K.：格点问题的短有理生成函数。美国数学杂志。Soc.16957–979（2003年）·Zbl 1017.05008号 ·doi:10.1090/S0894-0347-03-00428-4
[3] Bruns W.，Gubeladze J.，Henk M.，Martin A.，Weismantel R.：Carathéodory定理整数类比的反例。J.Reine Angew。数学。510, 179–185 (1999) ·Zbl 0938.52011号
[4] Chandrasekaran R.，Tamir A.：关于多完美图和平衡系统的极值解的完整性。操作。Res.Lett公司。3215-218（1984年）·Zbl 0549.90074号 ·doi:10.1016/0167-6377（84）90029-4
[5] Conti，P.，Traverso，C.：Buchberger算法和整数规划。在：应用代数，代数算法和纠错码。计算机科学讲义，第539卷。柏林施普林格（1991）·Zbl 0771.13014号
[6] Cook W.，Fonlupt J.，Schrijver A.：Carathéodory定理的整数模拟。J.库姆。理论（B）40，63–70（1986）·Zbl 0589.52005年 ·doi:10.1016/0095-8956（86）90064-X
[7] Cook W.，Lovász L.，Schrijver A.：固定维上全对偶完整性的多项式时间检验。数学。程序。研究22、64–69（1984）·Zbl 0557.90071号 ·doi:10.1007/BFb0121008
[8] Cornuéjols，G.：组合优化：包装和覆盖。收录于：CBMS-NSF应用数学区域会议系列，第74卷。SIAM（2001）·Zbl 0972.90059号
[9] Chudnovsky M.，Cornuéjols G.，Liu X.，Seymour P.，VuškovićK.：识别Berge图。组合数学25（2），143-186（2005）·Zbl 1089.05027号 ·doi:10.1007/s00493-005-0012-8
[10] Chudnovsky M.，Robertson N.，Seymour P.，Thomas R.：强完美图定理。安。数学。164(1), 51–229 (2006) ·Zbl 1112.05042号 ·doi:10.4007/annals.2006.164.51
[11] 考克斯·D、小J、奥谢·D：《理想、多样性和算法》，第二版。Springer-Verlag，纽约（1996）
[12] De Loera，J.A.，Lee，J.，Malkin，P.，Margulies，S.：希尔伯特Nullstellensatz和证明组合不可行的算法。摘自：ISSAC 21：第二十届符号和代数计算国际研讨会论文集，第197-206页。ACM，纽约（2008）·Zbl 1297.05229号
[13] 丁刚，冯立，臧伟：识别具有某些完整性性质的线性系统的复杂性。数学。程序。114, 321–334 (2008) ·Zbl 1160.90633号 ·doi:10.1007/s10107-007-0103-y
[14] Dueck P.，Hoöten S.，Sturmfels B.：低余维的正规Toric理想。J.纯应用。《代数》2131636-1641（2009）·Zbl 1165.13012号 ·doi:10.1016/j.jpaa.2008.11.045
[15] Eisenbrand F.，Shmonin G.：定维参数整数规划。数学。操作。第33、839–850号决议（2008年）·Zbl 1218.90123号 ·doi:10.1287/门.1080.320
[16] Eisenbrand，F.，Sebo，A.，Shmonin，G.：检验希尔伯特基。2007年8月（手稿）
[17] Fukuda，K.：cdd+参考手册。瑞士苏黎世瑞士联邦理工学院运营研究所。http://www.ifor.math.ethz.ch/\（\sim\）福田/cdd_home/cdd.html（1995）
[18] Fulkerson D.R.：反块多面体。J.库姆。理论（B）12，50–71（1972）·Zbl 0227.05015号 ·doi:10.1016/0095-8956（72）90032-9
[19] Gawrilow，E.，Joswig，M.：Polymake:分析凸多面体的框架。收录于：《多面体-组合数学与计算》（Oberwolfach，1997），第43-73页。DMV第29学期。Birkhäuser，巴塞尔（2000年）·Zbl 0960.68182号
[20] Gerards A.，Sebo A.：全对偶完整性意味着局部强单模块性。数学。程序。38, 69–73 (1987) ·Zbl 0633.90061号 ·doi:10.1007/BF02191852文件
[21] Golumbic M.C.：算法图论和完美图。纽约学术出版社（1980）·Zbl 0541.05054号
[22] 格雷夫·J：在线性和整数规划的基础上。程序。8, 207–226 (1975) ·Zbl 0323.90035号 ·doi:10.1007/BF01681344
[23] Grayson，D.，Stillman，M.：Macaulay 2，代数几何研究的软件系统。http://www.math.uiuc.edu/Macaulay2网站/
[24] Grötschel M.，Lovász L.，Schrijver A.：几何算法和组合优化。柏林施普林格（1984）·兹比尔0837.005001
[25] Hemmecke，R.，Onn，S.，Weismantel，R.：凸整数最小化的多项式或时间算法。数学。程序。答：doi:10.1007/s10107-009-0276-7·Zbl 1228.90055号
[26] Hoöten S.，Sturmfels B.：计算整数编程间隙。组合数学27，367–382（2007）·Zbl 1136.13016号 ·doi:10.1007/s00493-007-2057-3
[27] Lee C.W.：凸多面体的规则三角形。DIMACS系列离散数学。西奥。计算。科学。4, 443–456 (1991) ·Zbl 0746.52015号
[28] Lenstra H.W.Jr.：具有固定数量变量的整数编程。数学。操作。第8号决议，538–548（1983年）·Zbl 0524.90067号 ·doi:10.1287/门8.4.538
[29] Lovász L.：正规超图和完美图猜想。离散数学。2, 253–267 (1972) ·Zbl 0239.05111号 ·doi:10.1016/0012-365X（72）90006-4
[30] Lueker，G.S.：结构化宽度优先搜索和弦图。普林斯顿大学技术代表TR-158
[31] Mayr E.W.，Meyer A.：交换半群和多项式理想单词问题的复杂性。高级数学。46, 305–329 (1982) ·Zbl 0506.03007号 ·doi:10.1016/0001-8708（82）90048-2
[32] Ohsugi H.，Hibi T.：凸多面体，其所有反向词典学初始理想都是平方自由的。程序。A.M.S.129、2541–2546（2001）·Zbl 0984.13014号 ·doi:10.1090/S002-9939-01-05853-1
[33] O'Shea，E.：环面代数和弱完美图定理。华盛顿大学博士论文（2006）
[34] O'Shea，E.，Sebo，A.：全对偶积分的特征。收录于：Fischetti，M.，Williamson，D.（eds.）《整数规划与组合优化》，第12卷。LNCS（2007）
[35] Padberg M.：完美零矩阵。数学。程序。6, 180–196 (1974) ·Zbl 0284.90061号 ·doi:10.1007/BF01580235
[36] Pap，J.：识别圆锥TDI系统很困难。EGRES技术报告TR-2008-15。数学编程。doi:10.1007/s10107-009-0294-5·Zbl 1218.90226号
[37] Rambau，J.：TOPCOM（点配置和定向矩阵的三角剖分）。http://www.uni-bayreuth.de/departments/wirtschaftsmatik/rambau/TOPCOM/ ·Zbl 1057.68150号
[38] Rose，D.J.，Tarjan，R.E.：顶点消除的算法方面。In：程序。7.美国机械工程师协会研讨会。，《理论计算》，第245-254页（1975年）·Zbl 0382.05049号
[39] Saito，M.，Sturmfels，B.，Takayama，N.：超几何微分方程的Gröbner变形。《数学中的算法与计算》，第6卷。施普林格·弗拉格，柏林（2000年）·兹伯利0946.13021
[40] Schrijver A.：线性和整数规划理论。威利，纽约（1986）·Zbl 0665.90063号
[41] Sebo A.：希尔伯特基，Caratheodory定理和组合优化。In:Kannan，R.，Pulleyblank，W.（eds）整数规划和组合优化，滑铁卢大学出版社数学规划学会，滑铁罗（1990）
[42] Sebo，A.：问题A.6，“TDI矩阵”。摘自：关于“完美图形猜想”的开放问题研讨会。http://www.aimath.org/pastworkshops/perfectgraph.html (2002)
[43] Sturmfels B.：复曲面品种的Gröbner碱。东北数学。J.43，249–261（1991）·doi:10.2748/tmj/1178227496
[44] Sturmfels B.、Weismantel R.、Ziegler G.M.：格的Gröbner基、角多面体和整数规划。Beiträge代数几何。36, 281–298 (1995) ·Zbl 0863.90115号
[45] Sturmfels，B.：Gröbner基和凸多面体。《大学系列讲座》，第8卷。美国数学学会，普罗维登斯（1996）·Zbl 0856.13020号
[46] Sturmfels，B.：整数编程的代数食谱。AMS短期课程：优化趋势。收录于：Hoöten，S.，Lee，J.，Thomas，R.R.（编辑）《应用数学研讨会论文集》，第61卷。美国数学学会，普罗维登斯（2004）·Zbl 1130.90368号
[47] Sturmfels B.，Thomas R.R.：整数规划中成本函数的变化。数学。程序。77, 357–387 (1997) ·Zbl 0888.90125号
[48] Thomas R.R.：整数规划中的代数方法。摘自：Floudas，C.，Pardalos，P.（编辑）优化百科全书，Kluwer学术出版社，Dordrecht（2001）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。