托马斯·巴西乌斯;托拜厄斯·弗里德里希;朱利叶斯·利谢德;米克斯，基蒂;马丁·施奈克 高效枚举数据分析中出现的超图的命中集。 （英语） Zbl 1478.68219号 J.计算。系统。科学。 124, 192-213 (2022). 摘要：横向超图问题要求枚举超图的最小命中集。如果解具有有界大小，T.艾特和G.戈特洛布[SIAM J.Compute.24，No.6，1278–1304（1995；Zbl 0842.05070号)] 给出了一种在输出多项式时间内运行的算法，但其空间要求也随输出而变化。我们将其改进为多项式延迟和空间。我们方法的核心是扩展问题，它决定一组顶点是否包含在任何最小命中集中。我们证明这是W[3]完成的第一个自然问题之一。我们给出了在时间内运行的扩展问题（mathrm{O}（m^{|X|+1}n））的一个算法，并证明了一个SETH下界，表明这是接近最优的。我们将枚举方法应用于从数据分析中发现最小唯一列组合的问题。我们的经验评估表明，对于来自真实数据库的超图，该算法的性能优于其最坏情况下的保证。 引用于1文件 MSC公司： 68兰特 计算机科学中的图论（包括图形绘制） 05C30号 图论中的枚举 05C65号 Hypergraphs（Hypergraph） 05C85号 图形算法（图形理论方面） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 68年第27季度 参数化复杂性、可处理性和核化 关键词：数据分析;枚举算法;最小打击集;横向超图;唯一列组合;W[3]-完整性 引文：Zbl 0842.05070号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bläsius}等人，《计算杂志》。系统。科学。124192-213（2022年；Zbl 1478.68219） 全文： DOI程序 链接 参考文献： [1] 阿贝让、齐亚瓦什；卢卡斯·戈拉布；菲利克斯·诺曼；Papenbrock，Thorsten，《数据剖析》，《数据管理综合讲座》，第10卷（2018年），摩根和克莱普尔出版社：摩根和克莱浦出版社，加利福尼亚州圣拉斐尔，美国 [2] 阿劳霍，朱利奥；马林·布盖雷特；维克托·坎波斯（Victor A.Campos）。；Sau，Ignasi，计算最大最小阻塞集和命中集的参数化复杂度（2021），CoRR [3] 克里斯蒂娜·巴兹甘；Ljiljana布兰科维奇；卡塞尔，凯特琳；费尔瑙，海宁；克劳斯·詹森；Klein，Kim-Manuel；Michael Lampis；马修·利德洛夫；杰罗姆·莫诺；帕斯科斯，万杰利斯·托恩，上层统治的多个方面，提奥。计算。科学。，717, 2-25 (2018) ·Zbl 1388.68099号 [4] Berge，Claude，超图-有限集的组合数学，North-Holland数学图书馆，第45卷（1989），North-Holland出版公司：North-Holland出版社，荷兰阿姆斯特丹·Zbl 0674.05001号 [5] 克劳德·贝热（Claude Berge）；Pierre Duchet，Gilmore定理的推广，（第二届捷克斯洛伐克图论最新进展研讨会论文集（1975）），49-55·Zbl 0325.05125号 [6] Bioch，Jan C。；Ibaraki，Toshihide，正布尔函数识别和对偶的复杂性，Inf.Compute。，123, 50-63 (1995) ·Zbl 1096.68633号 [7] 安德烈亚斯·比约克隆德；佩特里·卡斯基（Petteri Kaski）；科瓦利克（Kowalik，Łukasz）；Lauri，Juho，《大型图形的工程模体搜索》，（第17届算法工程与实验会议论文集，第17届计算机工程与实验论文集，ALENEX（2015）），104-118·Zbl 1429.68177号 [8] 托马斯·巴西乌斯；托拜厄斯·弗里德里希；朱利叶斯·里舍伊德（Julius Lischeid）；米克斯，基蒂；Schirneck，Martin，高效枚举数据剖析中出现的超图的命中集，（《第21届算法工程与实验会议论文集》，《第21次算法工程与试验会议论文集，ALENEX（2019）》），130-143·Zbl 1430.68178号 [9] 托马斯·巴西乌斯；托拜厄斯·弗里德里希；Schirneck，Martin，关系数据库依赖检测的参数化复杂性，（第11届参数化和精确计算国际研讨会论文集。第11届国际参数化和准确计算研讨会论文集，IPEC（2016）），6:1-6:13·兹比尔1398.68215 [10] 尼古拉·鲍里亚（Nicolas Boria）；Della Croce，费德里科；Paschos，Vangelis Th.，关于最大最小顶点覆盖问题，离散应用。数学。，196, 62-71 (2015) ·Zbl 1321.05177号 [11] 博罗斯、恩德雷；Elbassoni，Khaled M。；弗拉基米尔·古尔维奇；Khachiyan，Leonid G.，在有界维超图中生成所有最大独立集的高效增量算法，并行过程。莱特。，10, 253-266 (2000) [12] 博罗斯、恩德雷；Elbassioni，Khaled M。；弗拉基米尔·古尔维奇；Leonid G.Khachiyan。；Makino，Kazuhisa，对偶有界生成问题：单调线性不等式组的所有最小整数解，SIAM J.Compute。，31, 1624-1643 (2002) ·Zbl 1041.68064号 [13] 博罗斯、恩德雷；弗拉基米尔·古尔维奇；Hammer，Peter L.，正布尔函数的对偶次蕴涵，Optim。方法软件。，10, 147-156 (1998) ·Zbl 0972.90048号 [14] 佛罗伦萨卡佩利；Strozecki，Yann，增量延迟枚举：空间和时间，离散应用。数学。，268, 179-190 (2019) ·Zbl 1419.05014号 [15] Carmosino，Marco L。；高佳伟；罗素·Impagliazzo；伊凡·米哈伊林；拉莫汗的帕图里；Schneider，Stefan，强指数时间假设的非确定性扩展和不可约性的后果，（第七届理论计算机科学创新会议论文集。第七届计算机科学理论创新会议论文集中，ITCS（2016）），261-270·Zbl 1334.68079号 [16] 卡塞尔，凯特琳；亨宁费尔瑙；Khosravian Ghadikolaei，Mehdi；杰罗姆·莫诺；Sikora，Florian，关于优化问题解扩展的复杂性，Theoret。计算。科学。（2021），出版中·兹比尔1441.68170 [17] 卡塞尔，凯特琳；费尔纳·梅赫迪·科斯拉维·加迪科莱伊（Fernau Mehdi Khosravian Ghadikolaei），海宁（Henning）；杰罗姆·莫诺；Sikora，Florian，某些图类中顶点覆盖和独立集的扩展及推广，（第十一届算法与复杂性国际会议论文集。第十一届国际算法与复杂性会议论文集，CIAC（2019）），124-136·Zbl 1525.68093号 [18] 陈建尔；黄秀珍；Kanj，Iyad A。；Xia，Ge，通过参数化复杂性的强计算下限，J.Compute。系统。科学。，72, 1346-1367 (2006) ·Zbl 1119.68092号 [19] 陈建尔；张凤辉，关于三层供应链模型中的产品覆盖：（W[3]）和（W[4]）的自然完全问题，Theor。计算。科学。，363, 278-288 (2006) ·Zbl 1154.68055号 [20] Cheston，Grant A。；Gerd H.Fricke。；Hedetniemi，Stephen T。；雅各布斯，大卫·波克拉斯，《关于上分数控制的计算复杂性》，《离散应用》。数学。，27, 195-207 (1990) ·Zbl 0717.05068号 [21] 皮埃尔·科伦布；Nourine，Lhouari，《关于形式上下文和共形超图的键》，（第六届形式概念分析国际会议论文集。第六届国际形式概念分析会议论文集，ICFCA（2008）），140-149·Zbl 1132.68057号 [22] 克里尼奥，娜迪亚；Hébrard，Jean-Jacques，关于生成广义可满足性问题的所有解，RAIRO Theor。通知。申请。，31, 499-511 (1997) ·Zbl 0901.68075号 [23] 马雷克·赛根（Marek Cygan）；Fedor V.Fomin。；科瓦利克（Kowalik，Łukasz）；丹尼尔·洛克斯塔诺夫（Daniel Lokshtanov）；达尼尔·马克思；马钦·皮里普祖克（Marcin Pilipczuk）；米查·皮利普祖克；Saurabh，Saket，参数化算法（2015），施普林格：瑞士施普林格商学院·Zbl 1334.90001号 [24] Peter Damaschke，带秩限制和最大最小顶点覆盖的双超图对偶的参数化算法，离散优化。，8, 18-24 (2011) ·Zbl 1248.90069号 [25] 杰诺斯·德梅特罗维奇；Thi，Vu Duc，Keys，antikeys and prime attributes，Ann.Univ.Sci。比索。罗兰多·埃特沃斯·诺明。，第节。计算。，8, 35-52 (1987) ·兹比尔0657.68112 [26] 卡洛斯·多明戈；尼娜·米什拉（Nina Mishra）；Pitt，Leonard，通过成员查询学习实现高效的读限制单调CNF/DNF二元化，马赫。学习。，37, 89-110 (1999) ·Zbl 0948.68097号 [27] 罗德尼·G·唐尼。；Fellows，Michael R.，《参数化复杂性基础》，《计算机科学文本》（2013），施普林格出版社：英国伦敦施普林格出版社·Zbl 1358.68006号 [28] 路易斯·杜布洛伊斯；Michael Lampis；Paschos，Vangelis Th.，上支配集：路径宽度和次指数近似的紧算法，（第十二届国际算法与复杂性会议论文集。第十二届算法与复杂性国际会议论文集，CIAC（2021）），202-215·Zbl 07667131号 [29] Thomas Eiter，《精确横截超图及其在布尔μ函数中的应用》，J.Symb。计算。，17, 215-225 (1994) ·Zbl 0809.94032号 [30] 托马斯·艾特；Georg Gottlob，识别超图的最小横截和相关问题，SIAM J.Compute。，24, 1278-1304 (1995) ·Zbl 0842.05070号 [31] 托马斯·艾特；乔治·戈特洛布（Georg Gottlob）；Makino，Kazuhisa，关于单调对偶和生成超图断面的新结果，SIAM J.Compute。，32, 514-537 (2003) ·Zbl 1052.68101号 [32] 托马斯·艾特；Kazuhisa Makino；Gottlob，Georg，《单调二元化的计算方面：简要调查》，《离散应用》。数学。，156, 2035-2049 (2008) ·兹比尔1160.68016 [33] Elbassioni，Khaled M。；马提亚斯·黑根（Matthias Hagen）；Rauf，Imran，超图对偶的一些固定参数可处理类及相关问题，（第三届参数化和精确计算国际研讨会论文集。第三届国际参数化和准确计算研讨会论文集，IWPEC（2008）），91-102·Zbl 1142.68455号 [34] 研究员，Michael R。；丹尼·赫尔梅林（Danny Hermelin）；弗朗西斯·罗萨蒙德。；Vialette，Stéphane，关于多区间图问题的参数化复杂性，Theor。计算。科学。，410, 53-61 (2009) ·Zbl 1161.68038号 [35] Fernau，Henning，《参数化算法：图论方法》（2005），图宾根大学，Habilitationsschrift·Zbl 1117.68456号 [36] 弗鲁姆，约格；马丁·格罗（Martin Grohe），参数化复杂性理论，理论计算机科学文本。EATCS系列（2006），施普林格：施普林格柏林和海德堡，德国·Zbl 1143.68016号 [37] 迈克尔·弗雷德曼（Michael L.Fredman）。；Khachiyan，Leonid G.，《关于单调析取范式二元化的复杂性》，J.算法，21，618-628（1996）·Zbl 0864.68038号 [38] 高佳伟；罗素·Impagliazzo；安东尼娜·科洛科洛娃（Antonina Kolokolova）；Ryan Williams，R.，稀疏结构上一阶性质的完全性及其算法应用，ACM Trans。算法，15，23（2018）·Zbl 1454.68054号 [39] 赫克托·加西亚·莫利纳；Daniel Barbara，《如何在分布式系统中分配投票》，J.ACM，32，841-860（1985）·Zbl 0633.68109号 [40] Gogic，Goran；Christos H.Papadimitriou。；Sideri，Martha，《知识的增量重新编译》，J.Artif。智力。决议，8，23-37（1998年）·Zbl 0895.68133号 [41] Miika Hannula；宋伯宽；Link，Sebastian，发现独立于数据的算法（2021），CoRR [42] 阿维德·海泽；Jorge-Arnulfo，Quiané-Ruiz；阿贝让、齐亚瓦什；Jentzsch，Anja；Naumann，Felix，独特列组合的可扩展发现，（VLDB捐赠会议记录，第7卷（2013）），301-312 [43] 罗素·Impagliazzo；Paturi，Ramamohan，《关于k-SAT的复杂性》，J.Compute。系统。科学。，62, 367-375 (2001) ·Zbl 0990.68079号 [44] 罗素·Impagliazzo；拉莫汗的帕图里；Zane，Francis，哪些问题具有强烈的指数复杂性？，J.计算。系统。科学。，63, 512-530 (2001) ·Zbl 1006.68052号 [45] 大卫·约翰逊（David S.Johnson）。；Christos H.Papadimitriou。；Yannakakis，Mihalis，关于生成所有最大独立集，Inf.过程。莱特。，27, 119-123 (1988) ·Zbl 0654.68086号 [46] Leonid G.Khachiyan。；博罗斯、恩德雷；Elbassoni，Khaled M。；Vladimir Gurvich，超图横向问题的全局并行算法，Inf.Process。莱特。，101, 148-155 (2007) ·Zbl 1185.68838号 [47] Kossmann，Jan；Papenbrock、Thorsten；Naumann，Felix，《查询优化的数据依赖性：调查》，VLDB J.，30（2021） [48] 塞巴斯蒂安·克鲁斯；Papenbrock、Thorsten；哈穆赫（Harmouch）、哈扎尔（Hazar）；Naumann，Felix，《数据分析：向组织承认原始数据》，IEEE数据工程公告。，39, 8-20 (2016) [49] Lawler，Eugene L.，计算离散优化问题k个最佳解的程序及其在最短路径问题中的应用，Manag。科学。，18, 401-405 (1972) ·Zbl 0234.90050号 [50] 曼尼拉，海基；Räihä，Kari-Jouko，依赖推断，（第十三届超大数据库国际会议论文集。第十三届特大数据库国际会议文献集，VLDB（1987）），155-158 [51] 玛丽·阿诺德；Strozecki，Yann，闭合操作产生的解决方案的有效枚举，Discret。数学。西奥。计算。科学。，21 (2019) ·Zbl 1417.05010号 [52] Niedermeier，Rolf，固定参数算法邀请函，牛津数学及其应用系列讲座（2006），牛津大学出版社：牛津大学出版社，英国牛津·Zbl 1095.68038号 [53] Papenbrock、Thorsten；埃利希、延斯；詹尼克，马滕；汤米·诺伯特（Tommy Neubert）；詹·皮尔·鲁道夫（Jan-Peer Rudolph）；马丁·施恩贝格（Martin Schönberg）；雅各布·兹维纳；Naumann，Felix，《功能依赖发现：七种算法的实验评估》，Proc。荷兰VLDB。，8, 1082-1093 (2015) [54] Papenbrock、Thorsten；Naumann，Felix，高效独特列组合发现的混合方法，（第17届Fachtagung Datenbanksysteme in Business，Technologie und Web Technik.第17届Fahtagung-Datenbanksysteme on Business，Technogie und Web-Technik会议录，BTW（2017）），195-204年 [55] 里德（Ronald C.Read）。；Tarjan，Robert E.，《列出循环、路径和生成树的回溯算法的界限》，《网络》，5，237-252（1975）·Zbl 0316.05125号 [56] 雷蒙德·赖特（Raymond Reiter），《第一原理诊断理论》（A theory of diagnosis from first principles），阿蒂夫（Artif）。整数。，32, 57-95 (1987) ·Zbl 0643.68122号 [57] Williams，R.Ryan，最优2-约束满足的新算法及其含义，Theor。计算。科学。，348, 357-365 (2005) ·Zbl 1081.68095号 [58] Williams，R.Ryan，《Strong ETH与Merlin和Arthur的决裂：批量评估的简短非交互证据》（《第31届计算复杂性会议论文集》，《第31次计算复杂性会议文献集》，CCC（2016））·Zbl 1380.68234号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。