×

参数化线性约束蕴含的复杂性观点。 (英语) Zbl 1309.90107号

概要:通过承认参数来扩展线性约束,可以进行更抽象的问题建模和推理。许多重点都放在进行研究上,以证明参数化线性约束的有用性,并实现利用其建模能力的工具。然而,没有一种方法考虑到与此类约束相关的基本理论工具,以便对其进行推理。因此,本文引入了多面体集的可满足性和一类参数化线性约束的蕴涵。为了研究这些问题的计算复杂性,我们将它们与量化的线性蕴涵类联系起来。然后证明了关于多面体集的可满足性问题是协(mathbb{NP})难的。蕴涵问题在一般形式上也被证明是co-\(mathbb{NP})难的。然而,我们刻画了该问题所在的一些子类。此外,我们还研究了隐含问题的弱化和强化扩展。证明了弱蕴涵问题是(mathbb{NP})完备的。另一方面,强蕴涵问题被证明是co-难的。

MSC公司:

90立方厘米 灵敏度、稳定性、参数优化
90C05(二氧化碳) 线性规划
90C60型 数学规划问题的抽象计算复杂性
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿德勒,I.,&;Monteiro,R.(1992年)。参数线性规划的几何视图。算法,8161-176·Zbl 0767.90042号 ·doi:10.1007/BF01758841
[2] Basu,S.等人(1996年)。关于量词消除的组合复杂性和代数复杂性。美国医学会杂志,43(6),1002-1045·Zbl 0885.68070号 ·数字对象标识代码:10.1145/235809.235813
[3] Bodirsky,M.和;Chen,H.(2009)。相对量化的约束满足。约束,14(1),3-15·Zbl 1191.68625号 ·doi:10.1007/s10601-008-9054-z
[4] Borrelli,F.等人(2003年)。多参数线性规划的几何算法。优化理论与应用杂志,118(3),515–540·Zbl 1061.90086号 ·doi:10.1023/B:JOTA.00004869.66331.5c
[5] Brown,C.W.(2003)。QEPCAD B:使用CAD计算半代数集的程序。ACM SIGSAM公告,37(4),97–108·Zbl 1083.68148号 ·数字对象标识代码:10.1145/968708.968710
[6] Cachera,D.和;Morin-Allory,K.(2005年)。参数化常规系统的安全特性验证。ACM嵌入式计算系统交易,4(2),228–266·Zbl 1159.68333号 ·数字对象标识代码:10.1145/1067915.1067917
[7] Cadoli,M.和;Schaerf,M.(1996)。关于命题多值逻辑中蕴涵的复杂性。数学与人工智能年鉴,18(1),29-50·Zbl 0890.03010号 ·doi:10.1007/BF02136173
[8] 通用柯林斯公司;Hong,H.(1991)。量词消除的部分柱面代数分解。符号计算杂志,12(3),299-328·Zbl 0754.68063号 ·doi:10.1016/S0747-7171(08)80152-6
[9] 科隆,M.,&;Sankaranarayanan,S.(2011年)。泛化模板多面体域。程序中。第20届欧洲编程研讨会(ESOP 2011),计算机科学讲义(第6602卷,第176–195页)。斯普林格·Zbl 1326.68088号
[10] Davenport,J.H.和;Heintz,J.(1988)。实量词消除是双指数的。符号计算杂志,5(1-2),29-35·Zbl 0663.03015号 ·doi:10.1016/S0747-7171(88)80004-X
[11] Di Rosa,E.等人(2010年)。用偏好解决可满足性问题。约束,15(4),485–515·Zbl 1208.68199号 ·doi:10.1007/s10601-010-9095-y
[12] A.Dolzmann,&;Sturm,T.(1997)。REDLOG:计算机代数与计算机逻辑相遇。ACM SIGSAM公告,31(2),2-9·doi:10.1145/261320.261324
[13] Dolzmann,A.等人(1998年)。一种新的实几何定理自动证明方法。《自动推理杂志》,21(3),357–380·Zbl 0914.03013号 ·doi:10.1023/A:1006031329384
[14] Dolzmann,A.等人(1998年)。在实践中消除真正的量词。在B.H.Matzat、G.M.Greuel、G.Hiss(编辑)《算法代数和数论》(第221-248页)中。斯普林格·Zbl 0934.68130号
[15] Egly,U.等人(2009年)。否定范式中QBFs的求解器。约束,14(1),38–79·Zbl 1167.68054号 ·doi:10.1007/s10601-008-9055-y
[16] Eirinakis,P.等人(2012年)。多面体集上包含查询的计算复杂性。国际人工智能与数学研讨会(ISAIM 2012)。佛罗里达州劳德代尔堡。
[17] Gal,T.(1995)。后优化分析、参数编程和相关主题(第二版)。德国柏林:de Gruyter and Co。
[18] Giunchiglia,E.等人(2004年)。魁北克++:有效的QBF解算器。计算机辅助设计中的形式方法,3312,201–213·Zbl 1117.68488号 ·doi:10.1007/978-3-540-30494-4_15
[19] Goldsztejn,A.等人(2009年)。有效处理普遍量化的不等式。约束,14(1),117–135·Zbl 1183.68577号 ·doi:10.1007/s10601-008-9053-0
[20] Gottlob,G.等人(2005年)。结构约束下量化约束满足问题的复杂性。L.P.Kaelbling&A.Saffiotti(编辑),Proc。国际人工智能联合会议(IJCAI 2005)(第150–155页)。专业图书中心。
[21] Greenberg,H.J.(1996)。线性系统中的一致性、冗余和隐含等式。数学与人工智能年鉴,17(1-2),37-83·Zbl 0887.90114号 ·doi:10.1007/BF02284624
[22] Ioakimidis,N.I.(2000年)。用经典傅里叶消元法推导参数不等式约束下工程问题的可行性条件。国际工程数值方法杂志,48(11),1583-1599·Zbl 0983.74084号 ·doi:10.1002/1097-0207(20000820)48:11<1583::AID-NME962>3.0.CO;2瓦
[23] Karmarkar,N.K.(1984年)。线性规划的一种新的多项式时间算法。第16届ACM计算理论研讨会论文集(第302-311页)·Zbl 0557.90065号
[24] Keerthi,S.S.,&;Sridharan,K.(1990)。通过傅里叶消元法求解参数化线性不等式及其应用。优化理论与应用杂志,65(1),161-169·兹比尔0672.90083 ·doi:10.1007/BF00941167
[25] Khachiyan,L.G.(1979年)。线性规划中的多项式算法。Doklady Akademiia Nauk SSSR,2241093–1096(英语翻译:苏维埃数学Doklady201093–1096)·Zbl 0414.90086号
[26] Kvasnica,M.(2009年)。通过多参数编程实现实时模型预测控制:理论和工具。VDM版本。
[27] Kvasnica,M.等人(2011年)。多参数工具箱。可在网址:http://control.ee.ethz.ch/\(\ sim\)mpt·Zbl 1135.93332号
[28] Le Berre,D.等人(2004年)。QBF领域的挑战:2003年SAT对QBF解决方案的评估。程序中。关于可满足性测试理论和应用的第六届国际会议(SAT 2003)。计算机科学课堂讲稿(第2919卷,第468-485页)。斯普林格·Zbl 1204.68204号
[29] Loechner,V.(2011)。Polylib:用于操作参数化多面体的库。可在http://icps.u-strasbg.fr/polylib .
[30] Loechner,V.和;王尔德,D.K.(1997)。参数化多面体及其顶点。国际并行程序设计杂志,25,525–549·doi:10.1023/A:1025117523902
[31] Murty,K.G.(1980年)。参数线性规划的计算复杂性。数学规划,19,213–219·Zbl 0443.90102号 ·doi:10.1007/BF01581642
[32] Murty,K.G.(1983年)。线性规划。美国新泽西州霍博肯:威利·Zbl 0521.90071号
[33] Pistikopoulos,E.N.等人(2007年)。基于多参数模型的控制:理论与应用,过程系统工程系列(第2卷)。Weinheim:Wiley-VCH。
[34] Pistikopoulos,E.N.等人(2007年)。多参数编程:理论、算法和应用,过程系统工程系列(第1卷)。Weinheim:Wiley-VCH。
[35] Pulina,L.和;Taccella,A.(2009年)。量化布尔公式的自适应多引擎求解器。约束,14(1),80–116·Zbl 1183.68589号 ·doi:10.1007/s10601-008-9051-2
[36] Ratschan,S.(2006)。有效解决实数上的量化不等式约束。ACM计算逻辑学报,7(4),723–748·Zbl 1367.68270号 ·doi:10.145/1183278.1183282
[37] Ratschan,S.(2011)。RSOLVER公司。可在http://rsolver.sourceforge.net .
[38] Renegar,J.(1992年)。关于实的一阶理论的计算复杂性和几何。符号计算杂志,13(3),255-352·Zbl 0798.68073号 ·doi:10.1016/S0747-7171(10)80003-3
[39] Ruggieri,S.和;Mesnard,F.(2010年)。键入线性约束。《美国计算机学会编程语言与系统汇刊》,第32(6)条,第21条。doi:10.1145/1749608.1749610·Zbl 1149.68365号
[40] Schechter,M.(1987)。多面体函数和多参数线性规划。优化理论与应用杂志,53(2),269-280·Zbl 0595.90083号 ·doi:10.1007/BF00939219
[41] Schrijver,A.(1987)。线性和整数规划理论。纽约:Wiley·Zbl 0662.90065号
[42] Solares,C.,&;Chaves,E.W.V.(2008)。涉及线性不等式参数系统的工程问题中的可行性条件。数学和统计建模进展。工业和技术统计(第331-340页)。伯克豪斯波士顿。
[43] Sontag,E.D.(1985)。实加法和多项式层次。《信息处理快报》,20(3),115–120·Zbl 0575.03030号 ·doi:10.1016/0020-0190(85)90076-6
[44] Stynes,D.和;Brown,K.N.(2009)。量化顾客服务提供商的价值排序。约束,14(1),16–37·Zbl 1191.68642号 ·doi:10.1007/s10601-008-9052-1
[45] Subramani,K.(2002)。零偏差调度分析。J.P.Katoen&amp;P.Stevens(编辑),第八届系统构建工具和算法国际会议论文集(TACAS)。计算机科学课堂讲稿(第2280卷,第98-112页)。斯普林格·Zbl 1043.68512号
[46] Subramani,K.(2005)。对完全洞察力调度的分析。《调度杂志》,8(2),113–133·Zbl 1154.90493号 ·doi:10.1007/s10951-005-6367-2
[47] Subramani,K.(2005)。预汉堡运算的可牵引片段。计算系统理论,38(5),647-668·Zbl 1090.68101号 ·doi:10.1007/s00224-004-1220-0
[48] Subramani,K.(2007)。关于量化线性规划的决策过程。数学与人工智能年鉴,51(1),55-77·Zbl 1132.68034号 ·doi:10.1007/s10472-007-9085-y
[49] Subramani,K.(2009)。布尔公式上的选择可满足性和等价查询以及外壳上的包含查询的复杂性。应用数学与决策科学杂志(JAMDS),2009年1月18日·Zbl 1182.68091号 ·doi:10.1155/2009/845804
[50] Vaidya,P.M.(1987)。一种需要O((m)的线性规划算法+n) 第2个+(米+n) 1.5 n)L)算术运算。在A.Aho(Ed.),第19届ACM计算理论研讨会论文集(第29-38页)。纽约:ACM出版社。
[51] 魏斯芬宁,V.(1988)。领域中线性问题的复杂性。符号计算杂志,4(1-2),3–27·Zbl 0646.03005号 ·doi:10.1016/S0747-7171(88)80003-8
[52] Willner,L.(1967)。关于参数线性规划。SIAM应用数学杂志,15(5),1253-1257·Zbl 0183.22503号 ·数字对象标识代码:10.1137/0115107
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。