×

近似纯Horn CNF公式最小化的硬度结果。 (英语) Zbl 1320.68089号

摘要:我们研究了布尔变量中纯Horn函数的子句最小值和文字最小值表示的逼近的困难性。我们证明,除非\(\mathrm P=\mathrm{NP}\),否则不可能在多项式时间内将纯Horn CNF表示的子句的最小数量和文字的最小数量近似为\(2^{\log^{1-o(1)}n}\)。即使输入仅限于带有\(O(n^{1+\varepsilon})\)子句的纯Horn 3-CNF,对于一些小的正常量\(\varepsilon\),情况也是如此。此外,我们还表明,即使允许亚指数时间计算,仍然不可能获得此类问题的常数因子近似值,除非指数时间假设被证明是错误的。

MSC公司:

2017年第68季度 问题的计算难度(下限、完备性、近似难度等)
06E30年 布尔函数
68T27型 人工智能中的逻辑

软件:

勒图尔;J工具
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Arora,S.,Barak,B.:计算复杂性:现代方法。剑桥大学出版社。xxiv+579。国际标准图书编号:978-0-521-42426-4(2009)·Zbl 1193.68112号
[2] Arora,S.,Babai,L.,Stern,J.,Sweedyk,Z.:格、代码和线性方程组中近似最优的硬度。J.计算。系统。科学。54(2,第2部分),317-331(1997)。doi:10.1006/jcss.1997.1472·Zbl 0877.68067号 ·doi:10.1006/jcss.1997.1472
[3] Arora,S.,Lund,C.:近似的硬度。In:Hochbaum,D.(编辑)NP-Hard问题的近似算法。PWS出版社,波士顿(1996)·Zbl 0466.68085号
[4] Arora,S.、Lund,C.、Motwani,R.、Sudan,M.、Szegedy,M.:证明验证和近似问题的难度。《美国医学会期刊》45(3),501-555(1998)。数字对象标识代码:10.1145/278298.278306·兹比尔1065.68570 ·数字对象标识代码:10.1145/278298.278306
[5] Arora,S.,Safra,S.:证明的概率检验:NP的一个新特征。《美国医学杂志》45(1),70-122(1998)。doi:10.1145/273865.273901·Zbl 0903.68076号 ·doi:10.1145/273865.273901
[6] Ausiello,G.,D'Atri,A.,Saccá,D.:有向超图的最小表示。SIAM J.计算。15(2), 418-431 (1986). doi:10.1137/012529·Zbl 0602.68056号 ·doi:10.1137/012529
[7] Bhattacharya,A.,DasGupta,B.,Mubayi,D.,Turán,G.:关于近似Horn公式最小化。摘自:Abramsky,S.,Gavoille,C.,Kirchner,C.,auf der Heide,F.M.,Spirakis,P.G.(eds.)ICALP(1),《计算机科学讲义》,第6198卷,第438-450页。施普林格(2010)·Zbl 1288.68086号
[8] Boros,E.,Ċepek,O.,Kuċera,P.:CNF极小性证明的分解方法。西奥。计算。科学。510, 111-126 (2013). doi:10.1016/j.tcs.2013.09.016·Zbl 1358.68120号 ·doi:10.1016/j.tcs.2013.09.016
[9] Boros,E.,Ċepek,O.,Kogan,A.,Kuċera,P.:布尔函数隐含的唯一和基本集。谨慎。申请。数学。158(2), 81-96 (2010). doi:10.1016/j.dam.2009.08.012·Zbl 1194.06010号 ·doi:10.1016/j.dam.2009.08.012
[10] Boros,E.,Gruber,A.:近似纯Horn CNF公式最小化的硬度结果。2012年1月9日至11日,美国佛罗里达州劳德代尔堡,人工智能与数学国际研讨会(ISAIM 2012)·Zbl 1320.68089号
[11] 库克,S.A.:定理证明过程的复杂性。摘自:第三届ACM计算机理论研讨会(STOC)论文集。第151-158页。俄亥俄州。doi:10.1145/800157.805047(1971)·兹比尔0253.68020
[12] Crama,Y.,Hammer,P.L.(编辑):布尔函数:理论、算法和应用。数学及其应用百科全书,第142卷。剑桥大学出版社,剑桥(2011)·Zbl 1237.06001号
[13] Cormen,T.H.,Leiserson,C.E.,Rivest,R.L.,Stein,C.:算法简介,第三版,第xx+1292页。麻省理工学院出版社,剑桥。ISBN 978-0-262-03384-8(2009年)·Zbl 1187.68679号
[14] Dinur,I.,Harsha,P.:使用可解码PCP的低错误双查询PCP的组成。SIAM J.计算。42(6), 2452-2486 (2013). doi:10.1137/100788161·Zbl 1290.68046号 ·doi:10.1137/100788161
[15] Dinur,I.,Safra,S.:关于近似标签封面的硬度。信息处理。莱特。89(5), 247-254 (2004). doi:10.1016/j.ipl.2003.11.007·Zbl 1178.68676号 ·doi:10.1016/j.ipl.2003.11.007
[16] Dowling,W.F.,Gallier,J.H.:测试命题Horn公式可满足性的线性时间算法。J.日志。掠夺。1(3), 267-284 (1984). doi:10.1016/0743-1066(84)90014-1·Zbl 0593.68062号 ·doi:10.1016/0743-1066(84)90014-1
[17] Feige,U.、Goldwasser,S.、Lovász,L.、Safra,S.和Szegedy,M.:交互证明和近似集团的硬度。《美国医学会期刊》43(2),268-292(1996)。数字对象标识代码:10.1145/226643.226652·Zbl 0882.68129号 ·数字对象标识代码:10.1145/226643.226652
[18] Feige,U.,Lovász,L.:双证明单轮证明系统:它们的力量和问题(扩展抽象)。STOC,第733-744页。ACM(1992)·Zbl 0602.68056号
[19] Garey,M.R.,Johnson,D.S.计算机与棘手。W.H.Freeman and Co.,旧金山。NP-完备性理论指南,数学科学丛书(1979)·Zbl 1065.68570号
[20] Hammer,P.L.,Kogan,A.:霍恩函数及其DNF。信息处理。莱特。44(1), 23-29 (1992). doi:10.1016/0020-0190(92)90250-Y·Zbl 0794.68148号 ·doi:10.1016/0020-0190(92)90250-Y
[21] Hammer,P.L.,Kogan,A.:命题Horn知识库的最佳压缩:复杂性和近似性。Artif公司。因特尔。64(1), 131-145 (1993). doi:10.1016/0004-3702(93)90062-G·Zbl 0935.68105号 ·doi:10.1016/0004-3702(93)90062-G
[22] Impagliazzo,R.,Paturi,R.:关于k-SAT的复杂性。系统。科学。62(2)、367-375(2001)中所述。doi:10.1006/jcss.2000.1727。第十四届IEEE计算复杂性年会特刊(佐治亚州亚特兰大,1999)·Zbl 0990.68079号 ·doi:10.1006/jcss.2000.1727
[23] Itai,A.,Makowsky,J.A.:统一是逻辑编程的复杂性度量。J.日志。掠夺。4(2), 105-117 (1987). doi:10.1016/0743-1066(87)90014-8·Zbl 0641.68143号 ·doi:10.1016/0743-1066(87)90014-8
[24] Kortsarz,G.:关于近似扳手的硬度。算法30(3),432-450(2001)。组合优化问题的近似算法·Zbl 0985.68041号 ·doi:10.1007/s00453-001-0021-y
[25] Maier,D.:关系数据库模型中的最小覆盖。《美国临床医学杂志》27(4),664-674(1980)。doi:10.1145/322217.322223·Zbl 0466.68085号 ·doi:10.1145/322217.322223
[26] Minoux,M.:Ltur:霍恩公式和计算机实现的简化线性时间单位分辨率算法。信息处理。莱特。29(1), 1-12 (1988). doi:10.1016/0020-0190(88)90124-X·Zbl 0658.68110号 ·doi:10.1016/0020-0190(88)90124-X
[27] Moshkovitz,D.,Raz,R.:具有子常量错误的两次查询PCP。J.ACM 57(5),第29、29条(2010年)。doi:10.1145/1.754399.1754402·Zbl 1327.68110号 ·数字对象标识代码:10.1145/1.754399.1754402
[28] Umans,C.:近似∑2p({\Sigma^p_2})最小化问题的硬度。摘自:第40届计算机科学基础年度研讨会(1999年,纽约),第465-474页,IEEE计算机协会,洛斯阿拉米托斯。doi:10.1109/SFFCS.1999.814619(1999)
[29] Vazirani,V.V.:近似算法。斯普林格(2001)·Zbl 0999.68546号
[30] Williamson,D.P.,Shmoys,D.B.:近似算法的设计。剑桥大学出版社,剑桥(2011)·兹比尔1219.90004 ·doi:10.1017/CBO9780511921735
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。