乔治·戈特洛布;吉安路易吉·格雷科;弗朗西斯科·斯卡切罗 树投影和约束优化问题：固定参数可处理性和并行算法。 （英语） Zbl 1390.68345号 J.计算。系统。科学。 94, 11-40 (2018). 摘要：考虑了由目标函数大小参数化的约束满足问题（CSP）实例的最优解的计算问题，并在基于结构的树投影框架内提出了固定参数多项式时间算法。只要给定实例存在树投影，算法就会计算出所需的最优（或最佳）解；否则，算法会报告没有树投影。对于树投影可用的情况，还提出并分析了并行算法。基于非循环、有界树宽和有界广义超树宽超图的结构分解方法，在CSP设置以及联合数据库查询评估和优化中得到了广泛的考虑，它们都是树投影框架的特例。 理学硕士： 65年第68季度 算法和问题复杂性分析 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68兰特 计算机科学中的图论（包括图形绘制） 68宽10 计算机科学中的并行算法 90C27型 组合优化 关键词：约束满足问题;人工智能;优化问题;结构分解方法;树投影;并行计算模型;联合查询;查询优化;数据库理论 软件：图尔巴尔2 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}等人，《计算杂志》。系统。科学。94、11-40（2018年；Zbl 1390.68345） 全文： 内政部 arXiv公司 链接 参考文献： [1] Dechter，R.，《约束处理》（2003），Morgan Kaufmann Publishers Inc.：Morgan Koufmann-Publishers Inc.美国加利福尼亚州旧金山 [2] 比斯塔雷利，S。；Fargier，H。；蒙塔纳里，美国。；罗西，F。；Schiex，T。；Verfaillie，G.，《基于半环的CSP和有价值的CSP：基本属性和比较》（Over-Constrained Systems（1996）），第111-150页·Zbl 0946.68143号 [3] 弗莱罗娃，N。；Marinescu，R。；Dechter，R.，《在图形模型中搜索M最佳解决方案》，J.Artif。智力。决议，55，889-952（2016）·Zbl 1352.68221号 [4] 布拉托夫，A。；达尔摩，V。；格罗，M。；Marx，D.，《列举同态》，J.Compute。系统。科学。，78, 2, 638-650 (2012) ·Zbl 1253.68165号 [5] 布拉夫曼，R。；罗西，F。；Salvagnin，D。；维纳布尔，K。；Walsh，T.，《在基于约束和偏好的知识表示形式中寻找下一个解决方案》（KR’10的Proc.（2010）），425-433 [6] Montanari，U.，《约束网络：图像处理的基本属性和应用》，《信息科学》。，7, 95-132 (1974) ·Zbl 0284.68074号 [7] Yannakakis，M.，《非循环数据库方案的算法》（VLDB Proc.of VLDB’81（1981）），82-94 [8] Fagin，R.，超图和关系数据库方案的无环度，J.ACM，30，3，514-550（1983）·Zbl 0624.68088号 [9] Gottlob，G。；格雷科·G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《超树分解：问题与答案》，（《PODS程序》第16期（2016年），计算机协会（ACM）），第57-74页 [10] Kimelfeld，B。；Sagiv，Y.，增量计算非循环连接查询的有序答案，（NGITS’06（2006）Proc.），33-38 [11] Gottlob，G。；格雷科·G。；Scarcello，F.，通过基于超图的结构限制的可牵引优化问题，（ICALP’09（2009）Proc.），16-30·Zbl 1248.68246号 [12] 格雷科，G。；Scarcello，F.，约束优化的结构可处理性，（CP'11（2011）Proc.），340-355 [13] Marx，D.，约束满足和合取查询的可追踪超图属性，J.ACM，60，6，42:1-42:51（2013）·Zbl 1281.68135号 [14] 古德曼，N。；Shmueli，O.，树投影定理和关系查询处理，J.Compute。系统。科学。，28, 1, 60-79 (1984) ·Zbl 0571.68086号 [15] 萨吉夫，Y。；Shmueli，O.，通过树投影解决查询，ACM Trans。数据库系统。，18, 3, 487-511 (1993) [16] Gottlob，G。；Miklós，Z。；Schwentick，T.，广义超树分解：NP-harrdness和可处理变体，J.ACM，56，6，1-32（2009）·Zbl 1325.68097号 [17] 格雷科·G。；Scarcello，F.，合取查询和约束满足问题的贪婪策略和更大的可控制岛，Inf.Compute。，252, 201-220 (2017) ·Zbl 1355.68121号 [18] 罗伯逊，N。；Seymour，P.，《未成年人图形》。二、。树宽的算法方面，J.Algorithms，7，3，309-322（1986）·Zbl 0611.05017号 [19] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《超树分解和易处理查询》，J.Compute。系统。科学。，64, 3, 579-627 (2002) ·兹比尔1052.68025 [20] 陈，H。；Dalmau，V.，《超树宽度之外：无分解的分解方法》（CP'05（2005）Proc.），167-181·Zbl 1153.68452号 [21] 格雷科·G。；Scarcello，F.，合取查询和约束满足问题中局部一致性的力量，SIAM J.Compute。，1111-1145 (2017) ·Zbl 1371.68061号 [22] 比里，C。；费金，R。；Maier，D。；Yannakakis，M.，《关于非循环数据库方案的可取性》，J.ACM，30，3，479-513（1983）·Zbl 0624.68087号 [23] Gyssens，M.，《关于连接依赖的复杂性》，ACM Trans。数据库系统。，11, 1, 81-108 (1986) ·Zbl 0602.68097号 [24] Karakashian，S。；伍德沃德，R.J。；里森，C.G。；B.Y.Choueiry。；Bessiere，C.，《第一个实现高水平关系一致性的实用算法》（AAAI’10（2010）Proc.），101-107 [25] Kask，K。；Dechter，R。；Larrosa，J。；Dechter，A.，统一图形模型中推理的树分解，Artif。智力。，166, 1-2, 165-193 (2005) ·Zbl 1132.68680号 [26] 比斯塔雷利，S。；蒙塔纳里，美国。；Rossi，F.，基于半环的约束满足和优化，J.ACM，44，2，201-236（1997）·Zbl 0890.68032号 [27] 特里奥克斯，C。；Jégou，P.，值约束满足问题的有界回溯，（CP'03（2003）Proc.），709-723·Zbl 1273.68363号 [28] Gottlob，G。；Greco，G.，分解组合拍卖和集合包装问题，J.ACM，60，4，1-39（2013）·Zbl 1281.91088号 [29] Joglekar，M。；普塔古塔，R。；Ré，C.，广义超树分解上的聚合，CoRR [30] Abo Khamis，M。；Ngo，H.Q。；Rudra，A.，《常见问题：常见问题》（2016年《PODS程序》），13-28 [31] Lauritzen，S。；Spiegelhalter，D.，《图形结构上概率的局部计算及其在专家系统中的应用》（《不确定推理中的阅读》（1990），摩根考夫曼出版社），415-448 [32] 唐尼，R.G。；Fellows，M.R.，参数化复杂性（2012），施普林格出版公司·Zbl 0914.68076号 [33] 科莱蒂斯，P。；Vardi，M.，连接查询包含和约束满足，J.Compute。系统。科学。，61, 2, 302-332 (2000) ·Zbl 0963.68059号 [34] 伯恩斯坦，P。；Goodman，N.，《自然半联接的力量》，SIAM J.Compute。，10, 4, 751-771 (1981) ·Zbl 0469.68090号 [35] 格雷科，G。；Scarcello，F.，枚举CSP解决方案的结构可处理性，约束，18，1，38-74（2013）·Zbl 1310.05151号 [36] Lawler，E.，计算离散优化问题k个最佳解的程序及其在最短路径问题中的应用，Manag。科学。，18, 7, 401-405 (1972) ·兹比尔0234.90050 [37] Kasif，S.，关于约束满足网络中离散松弛的并行复杂性，Artif。智力。，45, 3, 275-286 (1990) ·Zbl 0717.68043号 [38] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《非循环连接查询的复杂性》，J.ACM，48，3，431-498（2001）·Zbl 1323.68250号 [39] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《计算LOGCFL证书》，Theor。计算。科学。，270, 1-2, 761-777 (2002) ·Zbl 0992.68062号 [40] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《非循环连接查询的高级并行算法》（1998），维也纳技术大学，技术代表DBAI-TR-98/18 [41] 格雷科·G。；Scarcello，F.，《树投影和结构分解方法：极小性和游戏理论表征》，Theor。计算。科学。，522, 95-114 (2014) ·Zbl 1279.68277号 [42] 卡普·R·M。；Ramachandran，V.，《共享内存机器的并行算法》（van Leeuwen，J.，《理论计算机科学手册》（A卷）（1990年），麻省理工学院出版社：麻省理学院出版社，美国马萨诸塞州剑桥），869-941·Zbl 0900.68267号 [43] Gent，I.P。；杰斐逊，C。；米格尔，I。；北卡罗来纳州摩尔。；南丁格尔，P。；Prosser，P。；Unsworth，C.，《并行约束求解文献的初步综述》（PMCS’11（2011）Proc.） [44] Valiant，L.G.，《多核计算的桥接模型》，J.Compute。系统。科学。，77, 1, 154-166 (2011) ·Zbl 1210.68134号 [45] 美国维什金（Vishkin），《使用简单抽象重塑并行计算》（Commun）。ACM，54、1、75（2011年） [46] Afrati，F.N。；乔格勒卡，M.R。；Ré，C。；萨利霍格鲁，S。；Ullman，J.D.，GYM:一种多轮分布式连接算法，（ICDT’17（2017）Proc.），4:1-4:18·Zbl 1402.68036号 [47] Dubois，D。；法吉尔，H。；Prade，H.，作为柔性约束满足基础的模糊约束演算，（FUZZ-IEEE’93（1993）Proc.），1131-1136 [48] Fargier，H。；Lang，J.，约束满足问题中的不确定性：概率方法，（ECSQARU'93（1993）Proc.），97-104 [49] Schiex，T.，可能性约束满足问题或“如何处理软约束？”，（UAI'92（1992）Proc.），268-275 [50] 弗洛伊德，E。；Wallace，R.，部分约束满足，Artif。智力。，58, 21-70 (1992) [51] Fargier，H。；朗·J。；Schiex，T.，在模糊约束满足问题中选择首选解决方案，（EUFIT’93（1993）Proc.） [52] Schiex，T。；Fargier，H。；Verfaillie，G.，《有值约束满足问题：困难和容易的问题》，（1995年《IJCAI学报》），631-637 [53] Cooper，M.，有值约束满足的高阶一致性，约束，10，3，283-305（2005）·Zbl 1112.68118号 [54] 巴克斯，F。；陈，X。；van Beek，P。；Walsh，T.，二进制与非二进制约束，Artif。智力。，140, 1-2, 1-37 (2002) ·Zbl 0999.68201号 [55] 拉金，D。；Dechter，R.，《决定论存在下的贝叶斯推断》（AISTATS’03（2003）Proc.） [56] 费金，R。；门德尔松，A。；Ullman，J.，简化的泛关系假设及其性质，ACM Trans。数据库系统。，7, 3, 343-360 (1982) ·兹伯利0488.68069 [57] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《结构CSP分解方法的比较》，Artif。智力。，124, 2, 243-282 (2000) ·Zbl 0952.68044号 [58] 科恩，D。；杰文斯，P。；Gyssens，M.，约束满足问题的结构可处理性统一理论，J.Compute。系统。科学。，74, 5, 721-743 (2008) ·Zbl 1151.68640号 [59] 格雷科，G。；Scarcello，F.，《关于基于图形的约束问题表示的结构分解的威力》，Artif。智力。，174, 5-6, 382-409 (2010) ·Zbl 1207.68355号 [60] Dechter，R。；Pearl，J.，约束网络的树聚类，Artif。智力。，38,3353-366（1989年）·Zbl 0665.68084号 [61] 弗鲁姆，J。；弗里克，M。；Grohe，M.，通过树分解进行查询评估，J.ACM，49，6，716-752（2002）·Zbl 1326.68123号 [62] Grohe，M.，从另一面看同态和约束满足问题的复杂性，J.ACM，54，1，1-24（2007）·Zbl 1312.68101号 [63] 格罗，M。；Marx，D.，通过分数边覆盖求解约束，ACM Trans。算法，11，1，1-20（2014）·Zbl 1398.68240号 [64] Marx，D.，近似分数超树宽度，ACM Trans。算法，6，2，1-17（2010）·Zbl 1300.05201号 [65] 费希尔，W。；Gottlob，G。；Pichler，R.，《一般和分数超树分解：困难和简单的情况》，简写版出现在Proc中。PODS 2018 [66] Jégou，P。；Terrioux，C.，由约束网络的树分解限定的混合回溯，Artif。智力。，146, 1, 43-75 (2003) ·Zbl 1082.68803号 [67] 比斯塔雷利，S。；Frühwirth，T。；马特，M。；Rossi，F.，约束处理规则中的软约束传播和求解，计算机。智力。，20, 2, 287-307 (2004) [68] 库珀，M。；Schiex，T.，软约束的弧一致性，Artif。智力。，154, 1-2, 199-227 (2004) ·Zbl 1085.68672号 [69] Larrosa，J。；Schiex，T.，《寻求加权CSP的最佳局部一致性形式》（IJCAI'03（2003）Proc.），239-244 [70] 库珀，M。；德吉夫里，S。；桑切斯，M。；Schiex，T。；Zytnicki，M。；沃纳，T.，重新审视软弧一致性，Artif。智力。，174、7-8、449-478（2010年）·Zbl 1213.68580号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。