×

有限维赋范空间中多面体内外半径的计算复杂性。 (英语) 兹比尔0784.90076

摘要:本文研究了空间(mathbb{R}^n)中具有(ell_p)范数或多面体范数的(n)维凸多面体的各种内外半径的计算(或逼近或定界)复杂性。假设多面体(P)表示为具有有理坐标的有限多个点的凸壳((mathcal V)-表示)或由具有有理系数的线性不等式定义的有限多闭半空间的交集((mathcal H)-表示。(P)的内半径是(P)中包含的最大球的半径;当(j=n)时为(P)的内径,当(j=1)时为直径的一半。外半径测量在极小极大意义上,用(n-j)平面近似(P)的程度;当\(j=n\)时为\(P\)的周长,当\(j=1\)时为\(P\)宽度的一半。计算采用二进制(图灵机)模型。主要关注的不是寻找最优算法,而是建立多项式时间可计算性或NP-hardness。特别注意的是(P)是中心对称的情况。当维数(n)允许变化时,情况大致如下:(a)对于具有(1<p<infty)的空间中的一般(mathcal H)-表示的多面体,所有外半径计算都是NP-hard;(b) 在剩余的情况下(包括对称的H型多面体),一些半径计算可以在多项式时间内完成,而另一些半径计算是NP-hard。这些结果是通过使用凸体几何、线性和非线性规划以及计算复杂性理论中的各种工具获得的。结果在数学规划、计算机科学和其他领域的各种问题中的应用也包括在内。

理学硕士:

90立方 非线性规划
90C60型 数学规划问题的抽象计算复杂性
52号B11 \(n)维多面体
90C25型 凸面编程
90C05(二氧化碳) 线性规划
90C20个 二次规划
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] A.V.Aho、J.E.Hopcroft和J.D.Ullman,《计算机算法的设计与分析》(Addison-Wesley,Reading,MA,1974年)·Zbl 0326.68005号
[2] M.Akgül,《放松和椭球方法主题》(Pitman,波士顿,马萨诸塞州,1984年)。
[3] T.S.Arthanari和Y.Dodge,《统计学中的数学规划》(Wiley,纽约,1981年)·Zbl 0549.6202号
[4] M.D.Ašić和V.V.Kovaćević-Vujćić),“全局凹面最小化方法的NP-hard问题和测试问题”,南斯拉夫运筹学杂志1(1991)45-50·Zbl 0747.90089号
[5] H.L.Bodlaender、P.Gritzmann、V.Klee和J.van Leeuwen,“范数最大化的计算复杂性”,《组合数学》10(1990)203-225·Zbl 0722.90080号 ·doi:10.1007/BF02123011
[6] A.Bröndsted,《凸多面体简介》(Springer,纽约,1983年)·Zbl 0509.52001号
[7] S.A.Cook,“定理证明过程的复杂性”,摘自:第三届ACM计算理论研讨会论文集(1971年),第151-158页·Zbl 0253.68020号
[8] M.E.Dyer,“顶点枚举方法的复杂性”,《运筹学数学》8(1983)381–402·Zbl 0531.90064号 ·doi:10.1287/门8.3.381
[9] H.Edelsbrunner,《计算几何中的算法》(Springer,纽约,1987)·Zbl 0634.52001号
[10] B.C.Eaves和R.M.Freund,“球和多面体的最佳缩放”,《数学编程》23(1982)138-147·Zbl 0479.90064号 ·doi:10.1007/BF01583784
[11] D.J.Elzinga和D.W.Hearn,最小覆盖范围问题,《管理科学》19(1972)96–104·Zbl 0242.90061号 ·doi:10.1287/mnsc.19.1.96
[12] R.M.Freund和J.B.Orlin,“关于四个多面体集合包含问题的复杂性”,《数学规划》33(1985)139-145·Zbl 0581.90060号 ·doi:10.1007/BF01582241
[13] M.R.Garey和D.S.Johnson,《计算机与难治性》。NP-完备性理论指南(弗里曼,加利福尼亚州旧金山,1979年)·Zbl 0411.68039号
[14] P.Gritzmann、L.Habsieger和V.Klee,“凸多边形的好半径和坏半径”,《SIAM计算杂志》20(1991)395-403·Zbl 0728.52002号 ·doi:10.1137/0220024
[15] P.Gritzmann和V.Klee,“关于正定二次型的0-1最大化”,载于《运筹学学报》(Springer,Berlin,1989)第222-227页。
[16] P.Gritzmann和V.Klee,“有限维赋范空间中凸体的内外半径”,《离散计算几何》7(1992)255-280·Zbl 0747.52003号 ·doi:10.1007/BF02187841
[17] P.Gritzmann和V.Klee,“关于宽度和直径多项式计算的误差”·Zbl 0819.52008号
[18] C.Groenewoud、L.Eusanio和C.L.Lawson,“最小的覆盖圆锥体或球体”,SIAM评论7(1965)415-417·doi:10.1137/1007084
[19] M.Grötschel、L.Lovász和A.Schrijver,《几何算法和组合优化》(Springer,柏林,1988)·Zbl 0634.05001号
[20] B.Grünbaum,《凸多边形》(威利,伦敦,1967年)。
[21] M.E.Houle和G.T.Toussaint,“计算集合的宽度”,摘自:《计算几何研讨会论文集》(1985),第1-7页·Zbl 0659.68067号
[22] N.Karmarkar,“线性规划的新多项式时间算法”,组合数学4(1984)373–397·Zbl 0557.90065号 ·doi:10.1007/BF02579150
[23] R.M.Karp,“组合问题中的可约性”,摘自:R.E.Miller和J.W.Thatcher,ed.,《计算机计算的复杂性》(Plenum出版社,纽约,1972年),第85-103页。
[24] L.G.Khachian,“线性规划中的多项式算法”,苏联计算数学和数学物理20(1980)53-72·Zbl 0459.90047号 ·doi:10.1016/0041-5553(80)90061-0
[25] M.K.Kozlov,S.P.Tarasov和L.G.Hacijan,“凸二次规划的多项式可解性”,苏联数学Doklady 20(1979)1108-1111·Zbl 0434.90071号
[26] Y.Kurozumi和W.A.Davis,“用极小极大方法进行多边形近似”,《计算机图形和图像处理》19(1982)248-264·Zbl 0534.65096号 ·doi:10.1016/0146-664X(82)90011-9
[27] L.Lovász,“数字、图形和凸性的算法理论”,AMS-SIAM区域会议系列(宾夕法尼亚州费城,1986年)·Zbl 0606.68039号
[28] O.L.Mangasarian、R.Setiono和W.H.Wolberg,“通过线性规划的模式识别:理论和医学诊断应用”,载于:SIAM大规模数值优化研讨会论文集,1989年(康奈尔大学,纽约州伊萨卡,1990年)·Zbl 0726.90096号
[29] O.L.Mangasarian和W.H.Wolberg,“通过线性规划进行癌症诊断”,SIAM新闻23(5)(1990)17-18·Zbl 0726.90096号
[30] P.McMullen,“凸多面体的最大面数”,Mathematika 17(1970)179–184·Zbl 0217.46703号 ·doi:10.1112/S0025579300002850
[31] N.Megiddo,“R 3中线性规划的线性时间算法和相关问题”,SIAM计算杂志12(1983)759-776·Zbl 0521.68034号 ·doi:10.1137/0212052
[32] N.Megiddo,“关于无界维中一些几何问题的复杂性”,《符号计算杂志》10(1990)327-334·Zbl 0717.68046号 ·doi:10.1016/S0747-7171(08)80067-3
[33] C.H.Papadimitriou和K.Steiglitz,《组合优化:算法和复杂性》(Prentice-Hall,Englewood Cliffs,NJ,1982)·Zbl 0503.90060号
[34] T.Pavlidis,结构模式识别(Springer,纽约,1977)·Zbl 0382.68071号
[35] P.Pilibossian和G.der-Megreditchian,“回归函数最小准则”,巴黎大学统计研究所出版28(1983)59-92·兹比尔0539.62079
[36] A.Pinkus,n-近似理论中的宽度(Springer,Berlin,1985)·Zbl 0551.41001号
[37] J.Piper和E.Granum,“关于带状染色体分类的全自动特征测量”,《细胞计量学》10(1989)242-255·doi:10.1002/cyto.990100303
[38] F.P.Preparia和M.I.Shamos,《计算几何》(Springer,纽约,1985年)·Zbl 0575.68059号
[39] T.J.Schaefer,“可满足性问题的复杂性”,载于:第十届ACM计算理论研讨会论文集(1978),第216-226页·Zbl 1282.68143号
[40] A.Schrijver,线性和整数规划(Wiley,纽约,1987)。
[41] R.Seidel,“计算几何构造问题的输出尺寸敏感算法”,康奈尔大学计算机科学系博士论文(纽约州伊萨卡,1987年)。
[42] N.Z.Shor,不可微函数的最小化方法(Springer,纽约,1985)·Zbl 0561.90058号
[43] I.Singer,线性子空间元素在赋范线性空间中的最佳逼近(Springer,纽约,1970)·Zbl 0197.38601号
[44] G.Strang,“椅子的宽度”,《美国数学月刊》89(1982)529-534·兹伯利0497.52001 ·doi:10.2307/2320823
[45] G.Swart,“逐面发现凸包”,《算法杂志》6(1985)17-48·Zbl 0563.68041号 ·doi:10.1016/0196-6774(85)90017-3
[46] V.M.Tihomirov,“函数空间中集合的直径和最佳逼近理论”,《俄罗斯数学调查》15(1960)75-111。[摘自Uspehi Mathematik Nauk 15(1960)81–120。]·兹宝利0097.09103 ·doi:10.1070/RM1960v015n03ABEH004093
[47] K.Zindler,“Un ber konvexe Gebilde I”,《Monatsheft für Mathematik und Physik》30(1919)87–102·doi:10.1007/BF01699908
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。