×
吉安路易吉·格雷科;弗朗西斯科·斯卡切洛

贪婪的策略和更大的可处理性孤岛，用于联合查询和约束满足问题。 （英语） Zbl 1355.68121号

Inf.计算。 252, 201-220 (2017)。
摘要：大多数结构分解方法都可以通过超图游戏来表征，超图游戏是强盗和警察描述树宽概念的图形游戏。分解树对应于单调获胜策略在警察中，超图上强盗的逃跑空间单调缩小。使用非单调策略的cop功能更强，但一般来说，这种策略并不对应有效的分解。本文通过允许非单调性的“贪婪”形式，提供了一种利用非单调策略威力的通用方法。证明了判定（非单调）贪婪获胜策略的存在性（如果有，则计算一个）是容易处理的。此外，通过贪婪策略，我们可以有效地计算有效的分解树。因此，我们能够为结构方法增添力量，并获得更大的可处理性孤岛，例如基于贪婪超树分解的新概念的孤岛。

引用于4文件

MSC公司：

65年第68季度 算法和问题复杂性分析
05第57页 关于图的游戏（图论方面）
第68页，共15页 数据库理论
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

结构分解方法;离散结构上的博弈;联合查询;数据库;约束满足问题;超树分解;树投影;同态问题

软件：

空标题
PDF格式BibTeX公司 XML格式引用
\textit{G.Greco}和\textit{F.Scarcello}，Inf.计算。252201--220（2017；Zbl 1355.68121）
全文： 内政部 arXiv公司

参考文献：

[1] Gottlob，G。；格雷科·G。；Scarcello，F.，《树宽和超树宽》（Bordeaux，L.；Hamadi，Y.；Kohli，P.；Mateescu，R.，《牵引性》（2014），剑桥大学出版社（CUP）），3-38
[2] 比里，C。；费金，R。；Maier，D。；Yannakakis，M.，《关于非循环数据库方案的可取性》，J.ACM，30，3，479-513（1983）·兹比尔062468087
[3] Fagin，R.，超图和关系数据库方案的无环度，J.ACM，30，3，514-550（1983）·Zbl 0624.68088号
[4] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《超树分解和易处理查询》，J.Compute。系统。科学。，64,3579-627（2002年）·Zbl 1052.68025号
[5] 格罗，M。；Marx，D.，通过分数边覆盖求解约束，ACM Trans。算法，11，1，1-20（2014）·Zbl 1398.68240号
[6] 科恩，D。；杰文斯，P。；Gyssens，M.，约束满足问题的结构可处理性的统一理论，J.Comput。系统。科学。，74, 5, 721-743 (2008) ·Zbl 1151.68640号
[7] Gottlob，G。；Miklós，Z。；Schwentick，T.，广义超树分解：NP-harrdness和可处理变体，J.ACM，56，6，1-32（2009）·Zbl 1325.68097号
[8] 古德曼，N。；Shmueli，O.，树投影定理和关系查询处理，J.Compute。系统。科学。，28, 1, 60-79 (1984) ·Zbl 0571.68086号
[9] 格雷科·G。；Scarcello，F.，《树投影和结构分解方法：极小性和游戏理论表征》，Theor。计算。科学。，522, 95-114 (2014) ·Zbl 1279.68277号
[10] 格雷科·G。；Scarcello，F.，《树投影的力量：局部一致性、贪婪算法和更大的可处理岛》，（第二十届美国计算机学会SIGMOD-SIGACT-SIGART数据数据库系统原理研讨会论文集-PODS’10（2010），计算机协会（ACM），327-338
[11] Marx，D.，约束满足和合取查询的可追踪超图属性，J.ACM，60，6，1-51（2013）·Zbl 1281.68135号
[12] Kolaitis，P.G.，约束满足、数据库和逻辑，（第18届国际人工智能联合会议论文集-IJCAI'03（2003）），1587-1595
[13] 罗伯逊，N。；Seymour，P.，《未成年人图形》。三、 平面树宽，J.Comb。理论，Ser。B、 36、1、49-64（1984）·Zbl 0548.05025号
[14] Marx，D.，近似分数超树宽度，ACM Trans。算法，6，2，1-17（2010）·Zbl 1300.05201号
[15] 伯恩斯坦，P.A。；Goodman，N.，自然半连接的幂，SIAM J.计算。，10, 4, 751-771 (1981) ·Zbl 0469.68090号
[16] Bodlaender，H.L.，求小树宽树分解的线性时间算法，SIAM J.Compute。，25, 6, 1305-1317 (1996) ·Zbl 0864.68074号
[17] 格雷科，G。；Scarcello，F.，《关于基于图形的约束问题表示的结构分解的威力》，Artif。智力。，174, 5-6, 382-409 (2010) ·Zbl 1207.68355号
[18] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，《强盗、元帅和守卫：超树宽度的博弈论和逻辑特征》，J.Compute。系统。科学。，6675-808（2003年）·Zbl 1054.68044号
[19] Gottlob，G。；格雷科·G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，超树分解：问题与答案，（第35届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会论文集-PODS’16（2016），计算机械协会（ACM）），57-74
[20] 阿德勒，I。；Gottlob，G。；Grohe，M.，超树宽度和相关超图不变量，Eur.J.Comb。，28, 8, 2167-2181 (2007) ·邮编1127.05065
[21] Johnson，D.S.，《复杂性类目录》（Algorithms and complexity（1990），Elsevier BV），67-161·Zbl 0900.68246号
[22] Chandra，A.K。；科赞，哥伦比亚特区。；Stockmeyer，L.J.，Alternation，J.ACM，28，1，114-133（1981）·Zbl 0473.68043号
[23] Adler，I.，图和超图的树相关宽度，SIAM J.离散数学。，22, 1, 102-123 (2008) ·Zbl 1162.05032号
[24] Adler，I.，超树分解的宽度函数（2006），Albert-Ludwigs-Universityät Freiburg博士论文·Zbl 1094.05039号
[25] Ullman，J.D.，《数据库和知识库系统原理》（1989），计算机科学出版社
[26] 菲昂达，V。；Greco，G.，《混合多单位组合拍卖的复杂性：结构和质量限制下的可处理性》，Artif。智力。，196, 1-25 (2013) ·Zbl 1270.91026号
[27] Gottlob，G。；Greco，G.，《分解组合拍卖和集合包装问题》，J.ACM，60，4，1（2013）·Zbl 1281.91088号
[28] Yannakakis，M.，非循环数据库方案的算法，（第六届超大数据库国际会议论文集-VLDB’81（1981）），82-94
[29] 阿伯格，C.R。；屠呦呦，S。；Olukotun，K。；Ré，C.，EmptyHeaded:图形处理的关系引擎，（2016年国际数据管理会议论文集-SIGMOD’16（2016），计算机协会（ACM）），431-446
[30] O.卡林斯基。；Etsion，Y。；Kimelfeld，B.，trie联接中的灵活缓存，CoRR abs
[31] Amroun，K。；哈巴斯，Z。；Aggoune-Mtalaa，W.，基于压缩广义超树分解的非二进制约束满足问题求解技术，AI Commun。，29, 2, 371-392 (2016) ·Zbl 1373.68369号
[32] Gottlob，G。；塞拉利昂，北。；Scarcello，F.，《非循环连接查询的复杂性》，J.ACM，48，3，431-498（2001）·Zbl 1323.68250号
[33] Afrati，F.N。；Joglekar，M。；Ré，C。；萨利霍格鲁，S。；Ullman，J.D.，GYM：mapreduce中的多轮连接算法，CoRR abs·Zbl 1402.68036号
[34] 迪安·J。；Ghemawat，S.，MapReduce，Commun。ACM，53、1、72（2010年）
[35] 科恩，D。；Jeavons，P.，约束语言的复杂性，（约束编程手册（2006），Elsevier BV），245-280
[36] 格雷科·G。；Scarcello，F.，连接查询的计数解决方案，（第33届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集-PODS’14（2014），计算机协会（ACM）），132-143
[37] 库珀，M.C。；ƀivnƃ，S.，有值约束问题的混合可处理性，Artif。智力。，175, 9-10, 1555-1569 (2011) ·Zbl 1225.68243号
[38] Ghionna，L。；格拉纳塔，L。；格雷科·G。；Scarcello，F.，查询优化的超树分解，（2007年IEEE第23届国际数据工程会议（2007年），电气与电子工程师协会（IEEE）），36-45
[39] Ghionna，L。；格雷科·G。；Scarcello，F.，H-DB：一种混合定量结构SQL优化器，（第20届ACM信息和知识管理国际会议论文集-CIKM’11（2011），计算机械协会（ACM）），2573-2576
[40] Decther，R.，《约束处理》（2003），Morgan Kaufmann
[41] 阿德勒，I.，《元帅、单调元帅和超宽元帅》，《图论》，47，4，275-296（2004）·Zbl 1089.68074号
[42] 西摩，P。；Thomas，R.，图搜索和树宽的最小最大定理，J.Comb。理论，Ser。B、 58、1、22-33（1993）·Zbl 0795.05110号
[43] 诺瓦科夫斯基，R。；Winkler，P.，图中的顶点到顶点追求，离散数学。，43, 2-3, 235-239 (1983) ·Zbl 0508.05058号
[44] Quilliot，A.，《离散追求游戏》，Congr。数字。，38, 227-241 (1983) ·Zbl 0574.90108号
[45] 博纳托，A。；Nowakowski，R.，《图上警察和强盗的游戏》（2011），美国数学学会·Zbl 1298.91004号
[46] Kinnersley，W.B.，《警察和强盗是EXPTIME-complete》，J.Comb。理论，Ser。B、 111201-220（2015）·Zbl 1307.05155号
[47] Goldstein，A.S。；Reingold，E.M.，图上追求的复杂性，Theor。计算。科学。，143, 1, 93-112 (1995) ·Zbl 0873.68152号
[48] Fomin，F.V。；Golovach，P.A。；Prałat，P.，带约束的警察和强盗，SIAM J.离散数学。，26, 2, 571-590 (2012) ·Zbl 1248.05120号
[49] Mamino，M.，关于警察和强盗游戏的计算复杂性，Theor。计算。科学。，477, 48-56 (2013) ·Zbl 1290.68050号
[50] Frankl，P.，《大围长图和凯利图中的警察和强盗》，《离散应用》。数学。，17, 3, 301-305 (1987) ·Zbl 0624.05041号
[51] 艾格纳，M。；M·弗洛姆，《警察和强盗的游戏》，《离散应用》。数学。，8, 1, 1-12 (1984) ·Zbl 0539.05052号
[52] Schröder，B.S.W.，图的copnumber是由\（[3/2\text{genes}（g）]+3\）限定的，（Categorical Perspectives（2001），Springer Science+Business：Springer科学+商业媒体），243-263·Zbl 0983.05030号
[53] 加文契亚克，T。；杰利内克，V。；克拉维克，P。；Kratochvíl，J.，《交叉图上的警察和强盗》（Algorithms and Calculation，2013），施普林格科学+商业：施普林格科技+商业媒体），174-184·Zbl 1329.05209号
[54] Fomin，F.V。；Golovach，P.A。；Kratochvíl，J。；尼斯，N。；Suchan，K.，在图上追捕一个快速强盗，Theor。计算。科学。，411, 7-9, 1167-1181 (2010) ·Zbl 1192.91027号
[55] 阿隆，N。；Mehrabian，A.，《追捕平面图和随机图上的快速抢匪》，《图论》，78，2，81-96（2014）·Zbl 1305.05142号
[56] 弗里兹，A。；克里夫列维奇，M。；Loh，P.-S.，《警察和强盗变奏曲》，《图论》，69，4，383-402（2011）·Zbl 1243.05165号
[57] Dereniowski，D。；Dyer，D。；蒂芬巴赫，R.M。；Yang，B.，《零可视警察和强盗的复杂性》，Theor。计算。科学。，607, 135-148 (2015) ·Zbl 1332.68070号
[58] Baird，W.D.，《图和超图上的警察和强盗》（2011），莱尔森大学，论文和学位论文。第821页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。