马库斯·赫彻 正常树宽的减少ASP公司到坐-是正常的ASP公司比…更难坐毕竟? (英语) Zbl 07482903号 Artif公司。智力。 304,文章ID 103651,24 p.(2022). 摘要:答案集编程(ASP)是一种建模和解决知识表示和推理问题的范例。有大量的结果致力于研究ASP(碎片)的硬度。到目前为止,这些研究在计算复杂性以及以二分法结果形式呈现的细粒度见解方面进行了表征,在转换为命题可满足性(SAT)等其他形式时的下限,甚至详细的参数化复杂性景观。源自图论的参数化复杂性中的一个通用参数是所谓的树宽从某种意义上说,它捕获了程序的结构密度。最近,与SAT相关的基于树宽的解算器数量有所增加。虽然存在从(正常)ASP到SAT的转换,但已知没有保留树宽或至少跟踪树宽增加的减少。在本文中,我们提出了一种新的从普通ASP到SAT的约简方法,它知道树的宽度,并保证稍微增加树的宽度就足够了。此外,我们展示了一个新的结果,证明当考虑树宽时,正常ASP的片段已经比SAT稍微难一些(在计算复杂性的合理假设下)。这也证实了我们的减少可能无法显著改善,而且树宽的轻微增加是不可避免的。最后,我们对我们从普通ASP到SAT的新简化进行了实证研究,比较了通过已知分解启发获得的树宽上界。总的来说,与现有的翻译相比,我们的约简与这些启发法相比效果更好。 MSC公司: 68泰克 人工智能 关键词:答案集编程;树宽;参数复杂性;复杂性分析;树分解;树宽减少 软件:克林戈;亚萨特;WASP公司;斯莫德尔斯;高温气冷堆;埃林戈;lp2正常;出售 PDF格式BibTeX公司 XML格式引用 \文本{M.Hecher},Artif。因特尔。304,文章ID 103651,24 p.(2022;Zbl 07482903) 全文: 内政部 参考文献: [1] 布鲁卡,G。;艾特,T。;Truszczynski,M.,回答集编程一览,Commun。ACM,54,12,92-103(2011) [2] Gebser,M。;卡明斯基,R。;考夫曼,B。;Schaub,T.,《实践中的答案集解决》(2012),摩根&克莱普尔出版社 [3] Balduccini,M。;Gelfond,M。;Nogueira,M.,《基于答案集的知识系统设计》,《数学年鉴》。Artif公司。智力。,47, 1-2, 183-219 (2006) ·Zbl 1105.68105号 [4] 尼美拉,I。;西蒙斯,P。;Soininen,T.,重量约束规则的稳定模型语义,(LPNMR’99。LPNMR’99,LNCS,第1730卷(1999),施普林格),317-331·兹比尔0952.68029 [5] Nogueira,M。;Balduccini,M。;Gelfond,M。;沃森·R。;Barry,M.,航天飞机A-Prolog决策支持系统(PADL'01)。PADL'01,LNCS,第1990卷(2001),施普林格),169-183 [6] 古齐奥洛夫斯基,C。;维德拉,S。;Eduate,F。;Thiele,S。;科克莱尔,T。;西格尔,A。;Saez-Rodriguez,J.,《使用答案集编程详尽描述信令网络的可行逻辑模型》,生物信息学。生物信息学、生物信息学,30,131942-2326(2014),勘误表见 [7] Schaub,T。;Woltran,S.,答案集编程专刊,Künstl。智力。,第32页,第2-3页,第101-103页(2018年) [8] Abels,D。;Jordi,J。;奥斯特罗斯基,M。;Schaub,T.等人。;托莱蒂,A。;Wanko,P.,混合ASP列车调度,(LPNMR.LPNMR,LNCS,第11481卷(2019年),施普林格),3-17·Zbl 1522.68094号 [9] 阿尔维亚诺,M。;阿蒙多拉,G。;多达罗,C。;塞拉利昂,北卡罗来纳州。;Maratea,M。;Ricca,F.,WASP中析取程序的评估,(LPNMR’19。LPNMR’19,LNCS,第11481卷(2019),施普林格),241-255·Zbl 1522.68096号 [10] Cabalar,P。;范迪诺,J。;Garea,J。;罗梅罗,J。;Schaub,T.,eclingo:认知逻辑程序的求解器,理论与实践。日志。程序。,20, 6, 834-847 (2020) ·兹比尔1468.68053 [11] Cabalar,P。;范迪诺,J。;Schaub,T。;Wanko,P.,混合ASP中骨料和约束的统一处理,(KR’20(2020)),193-202 [12] Calimeri,F。;Faber,W。;Gebser,M。;伊安尼,G。;卡明斯基,R。;Krennwallner,T。;塞拉利昂,北卡罗来纳州。;Maratea,M。;Ricca,F。;Schaub,T.,Asp-core-2输入语言格式,理论与实践。日志。程序。,20, 2, 294-309 (2020) ·Zbl 1472.68180号 [13] Cabalar,P。;范丁诺,J。;Schaub,T。;Wanko,P.,涉及条件聚合的约束的ASP语义,(ECAI'20。ECAI'20,艺术前沿。智能。和应用,第325卷(2020),IOS出版社),664-671 [14] 艾特,T。;Gottlob,G.,《析取逻辑编程的计算成本:命题案例》,《数学年鉴》。Artif公司。智力。,15, 3-4, 289-323 (1995) ·Zbl 0858.68016号 [15] Ben-Eliyahu,R。;Dechter,R.,选言逻辑程序的命题语义,《数学年鉴》。Artif公司。智力。,12, 1, 53-87 (1994) ·Zbl 0858.68012号 [16] Truszczynski,M.,《三分法和二分法是关于用析取逻辑程序进行推理的复杂性的结果》,《理论与实践》。日志。程序。,11, 6, 881-904 (2011) ·Zbl 1242.68052号 [17] Cygan,M。;Fomin,F.V。;科瓦利克。;Lokshtanov,D。;Dániel Marx,医学博士。;Pilipczuk,M。;Saurabh,S.,参数化算法(2015),施普林格·Zbl 1334.90001号 [18] Niedermeier,R.,固定参数算法邀请函,牛津数学及其应用系列讲座,第31卷(2006),牛津大学出版社·Zbl 1095.68038号 [19] 唐尼,R.G。;Fellows,M.R.,《参数化复杂性基础》,《计算机科学文本》(2013),斯普林格出版社·Zbl 1358.68006号 [20] 弗鲁姆,J。;Grohe,M.,参数化复杂性理论,Theo。计算。《科学》,第十四卷(2006),施普林格·Zbl 1143.68016号 [21] 费希特,J.K。;Kroneger,M。;Woltran,S.,关于答案集编程的多参数视图,Ann.Math。Artif公司。智力。,86, 1-3, 121-147 (2019) ·Zbl 1420.68030号 [22] 拉克纳,M。;Phandler,A.,用于寻找最小模型的固定参数算法,(KR'12(2012),AAAI出版社) [23] Lokshtanov,D。;马克思,D。;Saurabh,S.,略微超指数参数化问题,(SODA’11(2011),SIAM),760-776·兹比尔1373.68273 [24] 马克思,D。;Mitsou,V.,用树宽参数化的可选择性问题的双指数和三指数界限,(ICALP’16。ICALP’16,LIPIcs,第55卷(2016),Dagstuhl出版社),第28条,pp·Zbl 1388.68128号 [25] Impagliazzo,R。;帕图里,R。;Zane,F.,哪些问题具有强指数复杂性?,J.计算。系统。科学。,63, 4, 512-530 (2001) ·Zbl 1006.68052号 [26] 兰皮斯,M。;Mitsou,V.,Treewidth with a quantifier alternation reviewed,(IPEC’17,vol.89(2017),Dagstuhl Publishing),第26条,pp·Zbl 1443.68073号 [27] Jakl,M。;皮克勒,R。;Woltran,S.,《有界树宽的答案集编程》(IJCAI'09,第2卷(2009)),816-822 [28] 费希特,J.K。;赫彻,M。;莫拉克,M。;Woltran,S.,《重访有界树宽的答案集求解》(LPNMR’17)。LPNMR’17,LNCS,第10377卷(2017),施普林格),132-145·Zbl 1491.68042号 [29] 费希特,J.K。;Hecher,M.,Treewidth和计算预测答案集,(LPNMR’19。LPNMR’19,LNCS,第11481卷(2019),施普林格),105-119·Zbl 1522.68111号 [30] Bichler,M。;莫拉克,M。;Woltran,S.,selp:一个一次性的认知逻辑程序求解器,理论与实践。日志。程序。,20, 4, 435-455 (2020) ·兹比尔1472.68022 [31] 布利姆,B。;莫拉克,M。;摩尔多瓦,M。;Woltran,S.,《树宽对答案集程序的基础和求解的影响》,J.Artif。因特尔。研究,67,35-80(2020年)·Zbl 1494.68040号 [32] 戴尔,H。;科穆塞维奇,C。;北卡罗来纳州塔尔蒙。;Weller,M.,《2017年速度参数化算法和计算实验挑战:第二次迭代》(IPEC’17)。IPEC’17,LIPIcs(2017),Dagstuhl Publishing),第30条pp·Zbl 1443.68220号 [33] 费希特,J.K。;海彻,M。;Zisser,M.,一种改进的基于GPU的SAT模型计数器(CP’19)。CP’19,LNCS,第11802卷(2019),施普林格),491-509 [34] 查瓦特,G。;Woltran,S.,基于扩展的树分解QBF求解,Fundam。通知。,167, 1-2, 59-92 (2019) ·Zbl 1415.68111号 [35] 班纳赫,M。;Berndt,S.,《树分解动态规划的实用方法》,《算法》,第12、8、172页(2019年)·Zbl 1461.68091号 [36] Clark,K.L.,否定为失败,(逻辑与数据库,数据库理论进展(1977),普莱姆出版社),293-322 [37] 林,F。;Zhao,J.,《关于紧逻辑程序和从正规逻辑程序到命题逻辑的另一种翻译》(IJCAI'03(2003),Morgan Kaufmann),第853-858页 [38] Janhunen,T.,正常逻辑程序和命题理论的一些可译性结果,J.Appl。非类别。日志。,16, 1-2, 35-86 (2006) ·Zbl 1184.68160号 [39] 阿尔维亚诺,M。;Dodaro,C.,选言逻辑程序的完成,(IJCAI’16(2016),IJCAI/AAAI出版社),886-892 [40] Bomanson,J。;Janhunen,T.,使用合并和排序结构规范基数规则,(LPNMR’13。LPNMR’13,LNCS,第8148卷(2013),Springer),187-199·Zbl 1405.68044号 [41] Bomanson,J.,lp2normal-扩展逻辑程序的规范化工具(LPNMR’17)。LPNMR’17,LNCS,第10377卷(2017),施普林格),222-228·兹比尔1491.68040 [42] Lifschitz,V。;Razborov,A.A.,为什么有这么多循环公式?,ACM事务处理。计算。日志。,7, 2, 261-268 (2006) ·Zbl 1367.68036号 [43] 阿特塞里亚斯,A。;费希特,J.K。;Thurley,M.,具有多次重启和有界宽度分辨率的克劳斯学习算法,J.Artif。因特尔。研究,40,353-373(2011)·兹比尔1214.68340 [44] 林,F。;Zhao,Y.,ASSAT:SAT解析器计算逻辑程序的答案集,Artif。智力。,157, 1-2, 115-137 (2004) ·Zbl 1085.68544号 [45] Hecher,M.,Treewidth-正常ASP到SAT的软件减少-正常ASP毕竟比SAT难吗?,(KR’20(2020)),485-495,KR’200最佳学生论文奖获得者 [46] 皮克勒,R。;Rümmele,S。;Szeider,S。;Woltran,S.,《带权重约束的可追踪答案集编程:有界树宽不够》,理论与实践。日志。程序。,14, 2 (2014) ·Zbl 1310.68053号 [47] 萨默,M。;Szeider,S.,命题模型计数算法,J.Discret。算法,8,1,50-64(2010)·Zbl 1214.05166号 [48] Gebser,M。;考夫曼,B。;Schaub,T.,投影布尔搜索问题的解决方案枚举,(CPIOR'09。CPAIOR’09,LNCS,第5547卷(2009),Springer),71-86·Zbl 1241.68100号 [49] 费希特,J.K。;海彻,M。;莫拉克,M。;Woltran,S.,《利用树宽进行预测模型计数及其限制》(SAT’18)。SAT’18,LNCS,第10929卷(2018),Springer),165-184·Zbl 1511.68195号 [50] (Biere,A.;Heule,M.;van Maaren,H.;Walsh,T.,《可满足性手册》,《满足性手册,艺术前沿》,智能与应用,第185卷(2009),IOS出版社)·Zbl 1183.68568号 [51] Kleine Büning,H。;Lettman,T.,《命题逻辑:演绎与算法》(1999),剑桥大学出版社·Zbl 0957.03001号 [52] Janhunen,T。;Niemelä,I.,答案集编程范式,AI Mag.,37,3,13-24(2016) [53] Fages,F.,Clark完备性的一致性和稳定模型的存在性,方法日志。计算。科学。,1,1,51-60(1994年) [54] Gelfond,M。;Lifschitz,V.,逻辑程序和析取数据库中的经典否定,新世代。计算。,9, 3/4, 365-386 (1991) ·Zbl 0735.68012号 [55] 北比多伊特。;Froidevaux,C.,默认否定和不稳定逻辑程序,Theor。计算。科学。,78, 1, 85-112 (1991) ·Zbl 0716.68075号 [56] 马雷克·W。;Truszczynski,M.,自认知逻辑,J.ACM,38,3,588-619(1991)·Zbl 0799.68176号 [57] 迪克斯·J。;Gottlob,G。;Marek,V.W.,通过移位操作将析取语义还原为非析取语义,Fundam。通知。,28, 1-2, 87-100 (1996) ·Zbl 0863.68088号 [58] Diestel,R.,《图论》,《数学研究生教材》,第173卷(2012),施普林格出版社 [59] 罗伯逊,N。;Seymour,P.D.,《图的子类II:树宽度的算法方面》,J.Algorithms,7309-322(1986)·Zbl 0611.05017号 [60] Bodlaender,H.L。;Drange,P.G。;Dregi,M.S。;福明,F.V。;Lokshtanov,D。;Pilipczuk,M.,A c ^ k n 5-树宽近似算法,SIAM J.Compute。,45, 2, 317-378 (2016) ·Zbl 1333.05282号 [61] Kloks,T.,树宽。计算和近似,LNCS,第842卷(1994),Springer·Zbl 0825.68144号 [62] Abseher,M。;Musliu,N。;Woltran,S.,htd-一个免费的开源框架,用于(定制的)树分解及其他,(CPAIOR’17。CPAIOR’17,LNCS,第10335卷(2017),施普林格),376-386·Zbl 06756600号 [63] Gebser,M。;Janhunen,T。;Rintanen,J.,回答SAT模无环编程(ECAI’14)。ECAI’14,艺术前沿。智能。和应用,第263卷(2014),IOS出版社),351-356·Zbl 1366.68017号 [64] Bomanson,J。;Gebser先生。;Janhunen,T。;考夫曼,B。;Schaub,T.,回答集编程模无环性,Fundam。通知。,147, 1, 63-91 (2016) ·Zbl 1373.68170号 [65] Schefler,P.,《有界树宽图中不相交路径的实用线性时间算法》(1994),柏林大学,网址: [66] 费希特,J.K。;海彻,M。;Szeider,S.,SAT解决的时间跳跃挑战(CP’20)。CP’20,LNCS,第12333卷(2020),施普林格),267-285 [67] 费希特,J.K。;海彻,M。;蒂尔,P。;Woltran,S.,《利用数据库管理系统和树宽度进行计数》,理论与实践。日志。程序。,1-30 (2021) [68] 赫彻,M。;蒂尔,P。;Woltran,S.,《利用抽象、嵌套动态编程和数据库技术驯服高树宽》(SAT’20)。SAT’20,LNCS,第12178卷(2020),施普林格),343-360·Zbl 07331032号 [69] 贝辛,V。;海彻,M。;Woltran,S.,《利用树宽对认知逻辑程序进行定量推理》,理论与实践。日志。程序。,21、5、575-592(2021年),ICLP’21最佳论文奖和最佳学生论文奖获得者·Zbl 1522.68100号 [70] Korhonen,T.,sharpsat-td(2021)的Github知识库,网址: [71] Korhonen,T。;Järvisalo,M.,《将树分解集成到命题模型计数器的决策启发式中》(CP’21)。CP’21,LIPIcs,第210卷(2021年),Dagstuhl出版社),第8条pp。 [72] 费希特,J.K。;Hecher,M.,2021年模特大赛奖(2021年),网址: [73] 费希特,J.K。;赫彻,M。;Hamiti,F.,《2020年模型计数竞赛》,ACM J.实验算法,26(2021) [74] 杜德克,J.M。;Phan,V。;Vardi,M.Y.,ADDMC:代数决策图加权模型计数,(AAAI’20(2020),AAAI出版社),1468-1476 [75] 杜德克,J.M。;Phan,V.H.N。;Vardi,M.Y.,DPMC:基于项目连接树的动态规划加权模型计数(CP’20)。CP’20,LNCS,第12333卷(2020),施普林格),211-230 [76] Arnborg,S。;科内尔·D·G。;Proskurowski,A.,在k树中寻找嵌入的复杂性,SIAM J.代数离散方法,8277-284(1987)·Zbl 0611.05022号 [77] 费希特,J.K。;北卡罗来纳州洛达。;Szeider,S.,《寻找小宽度树木分解的基于卫星的局部改进》,(Sat.Sat,LNCS,第10491卷(2017),Springer),401-411·Zbl 1496.68154号 [78] Gebser,M。;卡明斯基,R。;考夫曼,B。;Schaub,T.,Clingo=ASP+对照,初步报告,CoRR·兹比尔1486.68027 [79] 梅利,J.-G。;Lonca,E。;拉格尼茨,J.-M。;Rossit,J.,《2021年国际论证计算模型竞赛》(2021),网站: [80] 德沃拉克,W。;Gaggl,S.A。;Rabberger,A。;Wallner,J.P。;Woltran,S.,《ASPARTIX系统套件》,(Prakken,H.;Bistarelli,S.;Santini,F.;Taticchi,C.,《参数计算模型》(COMMA)。论证计算模型(COMMA),《人工智能与应用前沿》,第326卷(2020年),IOS出版社,461-462 [81] Fichte,J.K.,daajoe/gtfs2graphs–GTFS传输馈送到图形格式转换器(2016),提交219944893f874b365de1ed87fc265fd5d19d5972 [82] 范迪诺,J。;Hecher,M.,ASP中的树宽软件复杂性:并非所有正循环都同样困难,(AAAI’21(2021),AAAI出版社),6312-6320 [83] 艾特,T。;海彻,M。;Kiesel,R.,用于代数答案集计数的树宽软件循环中断,(KR’21(2021)),269-279 [84] Elkabani,我。;彭泰利,E。;Son,T.C.,Smodels ^a——一种用聚合计算逻辑程序答案集的系统(LPNMR’05)。LPNMR’05,LNCS,第3662卷(2005),施普林格),427-431 [85] Gebser先生。;卡明斯基,R。;考夫曼,B。;Schaub,T.,多快照ASP解决与紧贴,理论与实践。日志。程序。,19, 1, 27-82 (2019) ·Zbl 1486.68027号 [86] 费希特,J.K。;海彻,M。;Pfandler,A.,有界树宽QBF的下限,(LICS’20(2020),Assoc.Compute。马赫数),410-424 ·Zbl 07299485号 [87] 海彻,M。;莫拉克,M。;Woltran,S.,认知逻辑程序的结构分解,(AAAI’20(2020),AAAI出版社),2830-2837 [88] 布利姆,B。;Ordyniak,S。;Woltran,S.,回答集编程的Clique宽度和定向宽度测量,(ECAI’16。ECAI’16,FAIA,第285卷(2016),IOS出版社,1105-1113·Zbl 1403.68029号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。