×
库斯塔·坎加斯;Mikko Koivisto;萨米·萨洛宁

一种基于树分解的快速线性扩展计数算法。 （英文） Zbl 1452.68265号

算法 82，第8号，2156-2173（2020）.
摘要：我们研究了覆盖图具有树宽的给定元素偏序集的线性扩张数的计算问题。我们提出了一种算法，该算法对任何常数（t）都是在时间（tilde{O}（n^{t+3}））内运行的；符号\（\ tilde{O}\）隐藏了多对数因子。我们的算法沿着覆盖图的树分解应用动态规划；树分解的连接节点通过多元多项式的快速乘法处理。我们还从实用的角度研究了该算法。我们观察到，运行时间并不是仅由参数（n）和（t）很好地表征的：由于选定的最优宽度树分解的不可控特性，固定这些参数会导致运行时间出现很大差异。我们比较了两种方法来选择有效的树分解：一种是包含树分解的附加特征，以构建更准确、启发式的成本函数；另一种方法是根据收集的运行时间数据拟合统计回归模型。这两种方法都能产生比随机最优宽度树分解效率更高的树分解。

引用于1文件

MSC公司：

68周05 非数值算法
05二氧化碳 树
06A07年 偏序集的组合数学
68瓦40 算法分析

关键词：

算法选择;经验硬度;线性延伸;多项式的乘法;树分解

软件：

打火石;威卡;高温气冷堆
PDF格式BibTeX公司 XML格式引用
\textit{K.Kangas}等人，Algorithmica 82，No.8，2156--2173（2020；Zbl 1452.68265）
全文： 内政部

参考文献：

[1] Abseher，M.，Musliu，N.，Woltran，S.：HTD：一个免费的开源框架，用于（定制的）树分解及其他。摘自：《第14届限制编程中人工智能与操作规则技术集成国际会议论文集》，计算机科学讲稿第10335卷，第376-386页。柏林施普林格出版社（2017）
[2] Abseher，M。；Musliu，N。；Woltran，S.，《通过机器学习提高树分解的动态编程效率》，J.Artif。智力。第58229-858号决议（2017年）·Zbl 1407.68386号
[3] 阿霍，AV；马里兰州加里；Ullman，JD，有向图的传递约简，SIAM J.Compute。，1, 2, 131-137 (1972) ·Zbl 0247.05128号
[4] Arnborg，S。；科内尔DG；Proskurowski，A.，《在k树中查找嵌入的复杂性》，SIAM J.Algebr。光盘。，8, 2, 277-284 (1987) ·Zbl 0611.05022号
[5] Atkinson，MD，关于计算树的线性扩展数，Order，7，1，23-25（1990）·Zbl 0793.06002号
[6] Banks，J.，Garrabrant，S.，Huber，M.L.，Perizzolo，A.：使用TPA计算线性延伸。arXiv预印arXiv:1010.4981（2017）·Zbl 1410.68261号
[7] 贝特莱，美国。；Brioschi，F.，《非串行动态编程》（1972），纽约：学术出版社，纽约·Zbl 0187.17801号
[8] Bodlaender，HL，求小树宽树分解的线性时间算法，SIAM J.Compute。，25, 6, 1305-1317 (1996) ·Zbl 0864.68074号
[9] 博德兰德，HL；Fomin，FV，低成本树分解，离散应用。数学。，1452143-154（2005年）·Zbl 1084.05057号
[10] 博德兰德，HL；Kloks，T.，图的路径宽度和树宽度的高效构造算法，J.算法，21，2，358-402（1996）·Zbl 0861.68036号
[11] Brightwell，G。；Winkler，P.，《计算线性扩展》，Order，8，3，225-242（1991）·Zbl 0759.06001号
[12] Dechter，R.，《桶消除：推理的统一框架》，Artif。智力。，113, 1-2, 41-85 (1999) ·Zbl 0939.68847号
[13] 戴尔，M。；弗里兹，A。；Kannan，R.，用于近似凸体体积的随机多项式时间算法，J.ACM，38，1，1-17（1991）·Zbl 0799.68107号
[14] Eiben，E。；加尼安，R。；Kangas，K。；Ordyniak，S.，《计算线性扩展：树宽参数化》，《算法》，第81、4、1657-1683页（2019年）·Zbl 1421.68074号
[15] Fürer，M.，《更快的整数乘法》，SIAM J.Compute。，39, 3, 979-1005 (2009) ·Zbl 1192.68926号
[16] 霍尔，M。；E.弗兰克。；霍姆斯，G。；普法林格，B。；鲁特曼，P。；Witten，IH，WEKA数据挖掘软件：更新，SIGKDD Explor。新闻。，11, 1, 10-18 (2009)
[17] Hart，W.B.：数论快速库：简介。摘自：《第三届国际数学软件大会论文集》，第88-91页。施普林格，柏林（2010）。http://flintlib.org ·兹比尔1273.11177
[18] Kangas，K.、Hankala，T.、Niinimäki，T.和Koivisto，M.：计算稀疏偏序集的线性扩张。摘自：《第25届国际人工智能联合会议记录》，第603-609页。IJCAI/AAAI出版社（2016）
[19] Kangas，K.，Koivisto，M.，Salonen，S.：基于树分解的计算线性扩展的快速算法。摘自：2018年IPEC第13届参数化和精确计算国际研讨会论文集（2018年，待出版）·Zbl 1520.68218号
[20] Karp、RM、动态编程符合包含和排除的原则，Oper。Res.Lett.公司。，1, 2, 49-51 (1982) ·Zbl 0486.90083号
[21] Koivisto，M.：通过包含-排除解决图着色和其他划分问题的（O^*（2^n））算法。摘自：第47届IEEE计算机科学基础年会论文集，第583-590页。IEEE计算机学会（2006）
[22] 莱顿-布朗，K。；Nudelman，E。；Shoham，Y.，《经验硬度模型：组合拍卖的方法和案例研究》，J.ACM，56，4，22（2009）·Zbl 1325.68110号
[23] Lukasiewicz，T.，Martinez，M.V.，Simari，G.I.：概率偏好逻辑网络。摘自：《第21届欧洲人工智能会议论文集》，第263卷，《人工智能与应用前沿》，第561-566页。IOS出版社（2014）·Zbl 1366.68343号
[24] Mannila，H.，Meek，C.：序列数据的全球部分订单。摘自：《第六届知识发现和数据挖掘国际会议论文集》，第161-168页。ACM（2000年）
[25] 莫林，RH；Rival，I.，有序集的计算可处理类，算法与秩序，105-193（1989），Dordrecht:Kluwer Academic Publishers，Dordecht·Zbl 1261.06003号
[26] J.莫顿。；Pachter，L。；Shiu，A。；Sturmfels，B。；Wienand，O.，凸秩检验和半形文字，SIAM J.离散数学。，23, 3, 1117-1134 (2009) ·Zbl 1198.62038号
[27] 梅瑟，CJ；贝克，JC；McIlraith，SA，通过MaxSAT的最优偏序计划松弛，J.人工制品。智力。决议，57，113-149（2016）·Zbl 1386.68155号
[28] Niinimäki，T。；Parviainen，P。；Koivisto，M.，《通过抽样部分阶在贝叶斯网络中发现结构》，J.Mach。学习。研究，17，57:1-57:47（2016）·Zbl 1395.62057号
[29] Peczarski，M.，最小比较排序的新结果，算法，40，2，133-145（2004）·兹比尔1088.68043
[30] 赖斯，JR，算法选择问题，高级计算。，15, 65-118 (1976)
[31] Ryser，HJ，组合数学，Carus数学专著（1963）第14卷，华盛顿：美国数学协会，华盛顿·Zbl 0112.24806号
[32] Talvitie，T.、Kangas，K.、Niinimäki，T.和Koivisto，M.：计算实际中的线性扩展：MCMC与指数蒙特卡罗。附：第32届AAAI人工智能会议记录（2018年）
[33] van der Hoeven，J。；Lecerf，G.，《关于稀疏多项式和级数乘法的位复杂性》，J.Symb。计算。，50, 227-254 (2013) ·Zbl 1261.65017号
[34] Wallace，C.S.，Korb，K.B.，Dai，H.：通过MML发现因果关系。摘自：《第13届机器学习国际会议论文集》，第516-524页。Morgan Kaufmann（1996）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。