吉安路易吉·格雷科;弗朗西斯科·斯卡切罗 列举CSP解决方案的结构可处理性。 (英语) Zbl 1310.05151号 约束条件 18,第1期,38-74(2013). 总结:文献中已经深入研究了决定CSP实例是否接受解的问题,到目前为止已经得出了几个结构可处理性结果。然而,约束满足实际上是一个计算问题,其焦点要么是寻找一个解决方案,要么是枚举所有解决方案,可能会投影到某些给定的输出变量集。本文研究了枚举(可能投影)解问题的结构可处理性,其中可处理性意味着这里可以用多项式延迟(WPD)计算,因为通常可以计算出指数形式的多个解。考虑了一个基于超图树投影概念的框架,该框架推广了所有基于将给定实例分解为合适的多项式时间可计算子问题的树状组的结构分解方法。对于输出变量是其规范一部分的结构类,以及对于必须确保任何可能的输出变量集的可计算性WPD的结构类而言,都已获得可牵引性结果。通过展示二分法,这些结果表明对于具有有界性的结构类来说是严密的。 引用于8文件 MSC公司: 05C65号 Hypergraphs(Hypergraph) 05二氧化碳 树 05C30号 图论中的枚举 05第51页 图设计和同构分解 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 关键词:结构分解方法;枚举问题;树投影;树分解 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}和\textit{F.Scarcello},《约束18》,第1期,第38--74页(2013;Zbl 1310.05151) 全文: 内政部 arXiv公司 参考文献: [1] Adler,I.(2008)。图和超图的树相关宽度。SIAM离散数学杂志,22(1),102–123·Zbl 1162.05032号 ·doi:10.1137/050623395 [2] Adler,I.(2008)。数据库中的树宽度和功能依赖性。程序中。PODS’08(第311–320页)。 [3] Atserias,A.、Bulatov,A.、Dalmau,V.(2007年)。关于k一致性的威力。程序中。ICALP’07(第279-290页)·Zbl 1171.68720号 [4] Atserias,A.、Grohe,M.、Marx,D.(2008)。关系联接的大小边界和查询计划。程序中。FOCS’08(第739–748页)·Zbl 1276.68066号 [5] Bagan,G.(2006)。树可分解结构上的Mso查询可以用线性延迟计算。程序中。CSL’06(第208-222页)·Zbl 1225.68268号 [6] Bagan,G.,Durand,A.,Grandjean,E.(2007年)。关于非循环连接查询和常量延迟枚举。程序中。CSL’07(第208-222页)·兹比尔1179.68047 [7] Bagan,G.、Durand,A.、Grandjean,E.、Olive,F.(2008年)。计算一阶查询的第j个解。RAIRO理论信息学与应用,42(1),147-164·Zbl 1149.68028号 ·doi:10.1051/ita:2007046 [8] P.A.伯恩斯坦;Goodman,N.(1981年)。自然半联接的威力。SIAM计算机杂志,10(4),751–771·Zbl 0469.68090号 ·doi:10.1137/0210059 [9] Bessiere,C.和;Regin,J.-C.(1997年)。一般约束网络的弧一致性:初步结果。程序中。IJCAI’97(第398–404页)。 [10] Bulatov,A.、Dalmau,V.、Grohe,M.、Marx,D.(2012年)。枚举同态。《计算机与系统科学杂志》,78(2),638–650·Zbl 1253.68165号 ·doi:10.1016/j.jcss.2011.09.006 [11] Chen,H.和;Dalmau,V.(2005)。超树宽度之外:没有分解的分解方法。程序中。第167-181页)·兹比尔1153.68452 [12] 科恩,D.A.(2004)。约束语言的可追踪决策意味着可追踪搜索。约束,9(3),219–229·Zbl 1074.68061号 ·doi:10.1023/B:CONS.000036045.82829.94 [13] Cohen,D.、Jeavons,P.、Gyssens,M.(2008)。约束满足问题的结构可处理性统一理论。《计算机与系统科学杂志》,74(5),721-743·Zbl 1151.68640号 ·doi:10.1016/j.jcss.2007.08.001 [14] Creignou,N.和;Hébrard,J.-J.(1997年)。关于生成广义可满足性问题的所有解。RAIRO理论信息学与应用,31(6),499-511·兹比尔0901.68075 [15] Creignou,N.、Olive,F.、Schmidt,J.(2011年)。通过非递减权重枚举布尔CSP的所有解。程序中。第14届满意度测试理论与应用国际会议(SAT’11)(第120–133页)·Zbl 1330.68108号 [16] Courcelle,B.(1990年)。图形重写:代数和逻辑方法。《理论计算机科学手册》B卷:形式模型和语义(第193-242页)·Zbl 0900.68282号 [17] Courcelle,B.(2009年)。线性延迟枚举和一元二阶逻辑。离散应用数学,157(12),2675–2700·Zbl 1217.03024号 ·doi:10.1016/j.dam.2008.08.021 [18] Courcelle,B.和;Mosbah,M.(1993年)。树分解图的一元二阶估计。理论计算机科学,109(1-2),49-82·Zbl 0789.68083号 ·doi:10.1016/0304-3975(93)90064-Z [19] Dalmau,V.和;Jonsson,P.(2004)。从另一方面看计算同态的复杂性。理论计算机科学,329(1-3),315-323·Zbl 1086.68054号 ·doi:10.1016/j.tcs.2004.08.008 [20] Dechter,R.和;Itai,A.(1992年)。如果你能找到一个解决方案,就要找到所有的解决方案。程序中。AAAI’92易驾驭推理研讨会(第35-39页)。 [21] Dechter,R.和;Pearl,J.(1989)。约束网络的树聚类。人工智能,38(3),353–366·Zbl 0665.68084号 ·doi:10.1016/0004-3702(89)90037-4 [22] R.G.唐尼;研究员,M.R.(1999年)。参数化的复杂性。纽约:斯普林格·Zbl 0961.68533号 [23] A.杜兰德;Grandjean,E.(2007)。有界度结构上的一阶查询是可计算的,具有恒定延迟。ACM计算逻辑汇刊,8(4),第21条·兹比尔1367.68086 [24] Flum,J.、Frick,M.、Grohe,M.(2002年)。通过树分解查询评估。美国医学会杂志,49(6),716–752·Zbl 1047.68047号 ·doi:10.1145/602220.602222 [25] 弗洛伊德,E.C.(1990)。K-树结构约束满足问题的复杂性。程序中。第八届全国人工智能会议(第4-9页)。 [26] 弗里克·M·;Grohe,M.(2004)。重温了一阶逻辑和一元二阶逻辑的复杂性。《纯粹逻辑与应用逻辑年鉴》,130(1-3),3-31·兹比尔1062.03032 ·doi:10.1016/j.apal.2004.01.07 [27] 古德曼,N.,&;Shmueli,O.(1984)。树投影定理和关系查询处理。《计算机与系统科学杂志》,29(3),767-786·Zbl 0571.68086号 ·doi:10.1016/0022-0000(84)90004-7 [28] Gottlob,G.、Leone,N.、Scarcello,F.(2000)。结构CSP分解方法的比较。人工智能,124(2),243-282·Zbl 0952.68044号 ·doi:10.1016/S0004-3702(00)00078-3 [29] Gottlob,G.、Leone,N.、Scarcello,F.(2002)。超树分解和易处理的查询。《计算机与系统科学杂志》,64(3),579–627·Zbl 1052.68025号 ·doi:10.1006/jcss.2001.1809 [30] Gottlob,G.、Leone,N.、Scarcello,F.(2003)。强盗、元帅和守卫:超树宽度的博弈论和逻辑特征。《计算机与系统科学杂志》,66(4),775–808·Zbl 1054.68044号 ·doi:10.1016/S0022-0000(03)00030-8 [31] Gottlob,G.、Miklós,Z.、Schwentick,T.(2009年)。广义超树分解:NP-harrdness和易处理变体。美国医学会杂志,56(6),第30条·Zbl 1325.68097号 [32] Gottlob,G.、Pichler,R.、Wei,F.(2010年)。树宽有界的有限结构上的一元数据记录。计算机械协会计算逻辑汇刊,12(1),3·兹比尔1351.68110 [33] Greco,G.和;Scarcello,F.(2010年)。树投影的威力:局部一致性、贪婪算法和更大的可控制岛。程序中。PODS’10(第327–338页)。 [34] Greco,G.和;Scarcello,F.(2011年)。约束优化的结构可处理性。程序中。第11页(第2340-355页)。 [35] Greco,G.和;Scarcello,F.(2012年)。树投影和结构分解方法:局部一致性的力量和更大的可控制岛屿。CoRR技术报告,网址:arXiv:1205.3321。 [36] Grohe,M.(2007)。从另一方面看同态和约束满足问题的复杂性。美国医学会杂志,54(1),第1条·Zbl 1312.68101号 [37] Grohe,M.和;Marx,D.(2006)。通过分数边覆盖求解约束。程序中。SODA’06(第289–298页)·Zbl 1192.68642号 [38] Grohe,M.,Schwentick,T.,Segoufin,L.(2001)。什么时候可以处理连接查询的评估?程序中。STOC'01(第657-666页)·Zbl 1323.68251号 [39] Kazana,W.,&;Segoufin,L.(2011)。有界度结构的一阶查询求值。计算机科学中的逻辑方法,7(2),第20条·Zbl 1353.68068号 [40] Kimelfeld,B.和;Sagiv,Y.(2006)。增量计算非循环合取公式的有序答案。程序中。NGITS’06(第33–38页)。 [41] Koch,C.(2006年)。有效处理树结构数据上的查询。程序中。PODS’06(第213-224页)。 [42] Kolaitis,P.G.和;Vardi,M.Y.(1998年)。联合查询包含和约束满足。《计算机与系统科学杂志》,61(2),302-332·Zbl 0963.68059号 ·doi:10.1006/jcss.2000.1713 [43] Lawler,E.L.(1972)。计算离散优化问题k个最佳解的过程及其在最短路径问题中的应用。管理科学,18,401–405·Zbl 0234.90050号 ·doi:10.1287/mnsc.18.7.401 [44] Marx,D.(2010年)。约束满足和连接查询的可追踪超图属性。程序中。STOC’10(第735-744页)·Zbl 1293.68171号 [45] Marx,D.(2010年)。近似分数超树宽度。ACM算法交易,6(2),第29条·Zbl 1300.05201号 [46] Pichler,R.、Rümmelle,S.、Woltran,S.(2010年)。有界树宽的计数和枚举问题。程序中。LPAR’10(第387–404页)·Zbl 1310.68118号 [47] 罗伯逊,N.,&;西摩,P.D.(1984)。图子图III:平面树宽度。组合理论杂志,B辑,36,49–64·Zbl 0548.05025号 ·doi:10.1016/0095-8956(84)90013-3 [48] 罗伯逊,N.,&;Seymour,P.D.(1986年)。图子图形V:不包括平面图。组合理论杂志,B辑,41,92–114·Zbl 0598.05055号 ·doi:10.1016/0095-8956(86)90030-4 [49] Rosati,R.(2011)。开放世界假设下数据库中联合查询应答的有限可控性。计算机与系统科学杂志,77(3),572-594·兹比尔1215.68094 ·doi:10.1016/j.jss.2010.04.011 [50] Saccà,D.,Serra,E.,Guzzo,A.(2012年)。计数约束和反向OLAP问题:定义、复杂性和聚合数据交换的步骤。程序中。FoIKS’12(第352-369页)。 [51] 萨吉夫,Y.,&;Shmueli,O.(1993)。通过树投影解决查询。ACM数据库系统事务,18(3),487–511·数字对象标识代码:10.1145/155271.155277 [52] Scarcello,F.、Gottlob,G.、Greco,G.(2008年)。一致约束满足问题和数据库理论。《约束的复杂性》(第156-195页)。斯普林格·Zbl 1171.68501号 [53] Schnoor,H.和;Schnoor,I.(2007)。枚举约束满足问题的所有解决方案。程序中。STACS’07(第694-705页)·Zbl 1186.68224号 [54] Yannakakis,M.(1981年)。非循环数据库方案的算法。程序中。第82–94页)。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。