×
埃亚尔·埃米尔

树宽的近似算法。 （英语） Zbl 1187.68703号

算法 56，第4期，448-479（2010）。
摘要：本文提出的算法的输入是一个无向图，输出是一个宽度的树分解，它近似于该图的最优树宽度。这些算法在计算时间和近似保证方面有所不同。第一个算法在多项式时间内工作，并找到因子-（O（\log OPT））近似，其中\（OPT）是图的树宽。这是第一个多项式时间算法，它通过一个不依赖于输入图中节点数的因子来近似最优值。因此，我们得到了一个从最优值中找出因子\（O（\log OPT\cdot\log n）\内的\（路径宽度\）的算法。
我们还提出了一些算法，这些算法通过分别为3.66、4和4.5的常数因子来近似图的树宽，并且花费的时间在树宽中是指数的。通过指数因子，这些算法比以前已知的算法效率更高，并且具有实际意义。求图的最小树宽的三角剖分是计算机科学中许多问题的中心。如果我们有一个有效的近似算法，那么人工智能、超大规模集成电路设计和数据库中的现实世界问题是可以有效解决的。其中许多应用程序依赖于加权图。我们将我们的结果扩展到加权图和加权树宽，对这个更一般的概念显示了类似的近似结果。我们报告了实验结果，证实了我们的算法对与现实问题相关的大型图形的有效性。

引用于25文件

MSC公司：

68周25 近似算法
68兰特 计算机科学中的图论（包括图形绘制）
68M99型 计算机系统组织

关键词：

树宽;三角测量;树分解;网络流量

软件：

SATLIB公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Amir}，Algorithmica 56，No.4，448--479（2010；Zbl 1187.68703）
全文： 内政部

参考文献：

[1] Abrahamson，K.A.，Fellows，M.R.：有限自动机，有界树宽和良好拟序。《未成年人图形会议》（西雅图，1991年）。《当代数学》，第147卷，第539–564页。美国数学学会，普罗维登斯（1993）·Zbl 0791.05094号
[2] Amir，E.：分区和推理项目网站。网址：http://www.cs.uiuc.edu/\（\sim\）eyal/decomp
[3] Amir，E.：最小树宽三角剖分的有效近似。在：第17届人工智能不确定性会议（UAI'01）（2001）
[4] Amir，E.，Krauthgamer，R.，Rao，S.：平面图中顶点切割的常数因子近似。In：程序。第35届ACM交响乐团。《计算理论》，第90-99页。ACM，纽约（2003）·Zbl 1192.68867号
[5] Amir，E.，McIlraith，S.：基于分区的逻辑推理。In:知识表示和推理原理：Proc。第七届国际会议（KR’2000），第389-400页。考夫曼，洛斯·阿尔托斯（2000）·Zbl 0989.68525号
[6] Arnborg，S.，Corneil，D.G.，Proskurowski，A.：在K树中查找嵌入的复杂性。SIAM J.Algebr。离散方法8277–284（1987）·Zbl 0611.05022号 ·doi:10.1137/0608024
[7] Arnborg，S.，Lagergren，J.，Seese，D.：树分解图的容易问题。J.算法12，308–340（1991）·Zbl 0734.68073号 ·doi:10.1016/0196-6774（91）90006-K
[8] Becker，A.，Geiger，D.：一种寻找接近最优连接树的足够快的算法。In：程序。第十二届人工智能不确定性会议（UAI’96），第81-89页。考夫曼，洛斯·阿尔托斯（1996）
[9] Becker，A.，Geiger，D.：一种寻找接近最优团树的足够快的算法。Artif公司。智力。125（1-2），3-17（2001）·Zbl 0972.68152号 ·doi:10.1016/S0004-3702（00）00075-8
[10] Bodlaender，H.L.：一种求小树宽的树分解的线性时间算法。SIAM J.计算。25(6), 1305–1317 (1996) ·Zbl 0864.68074号 ·doi:10.1137/S00975397932321219
[11] Bodlaender，H.L.：树宽：算法技术和结果。In：Prívara，I.，Ruzicka，P.（编辑）计算机科学数学基础1997。LNCS，第1295卷，第19-36页。柏林施普林格（1997）·Zbl 0941.05057号
[12] Bodlaender，H.L.：个人通信（2000年9月）
[13] Bodlaender，H.L.，Gilbert，J.R.，Hafsteinsson，H.，Kloks，T.：近似树宽、路径宽度、正面大小和最短消除树。J.算法18（2），238–255（1995）·Zbl 0818.68118号 ·doi:10.1006/jagm.1995.1009
[14] Bodlaender，H.L.，Kloks，T.：图的路径宽度和树宽度的更好算法。摘自：第18届国际学术讨论会《自动化、语言与编程》。LNCS，第510卷，第544–555页。柏林施普林格（1991）·Zbl 0764.68108号
[15] Bouchitte，V.，Todinca，I.：树宽和最小填充：对最小分隔符进行分组。SIAM J.计算。31(1), 212–232 (2001) ·Zbl 0987.05085号 ·doi:10.1137/S0097539799359683
[16] Broersma，H.，Kloks，T.，Kratsch，D.，Müller，H.：无AT-free图的推广以及求解树宽、最小填充和顶点排名的通用算法。工作组：计算机科学中的图形理论概念，国际研讨会工作组。LNCS，第1517卷，第88-99页。柏林施普林格（1998）·Zbl 0928.68086号
[17] Cherkasky，B.V.，Goldberg，A.V.：关于最大流量问题的推重标记方法的实现。《算法》19（4），390-410（1997）·Zbl 0898.68029号 ·doi:10.1007/PL00009180
[18] Cohen，P.，Chaudhri，V.，Pease，A.，Schrag，R.：先验知识是否有助于开发基于知识的系统。In：程序。全国人工智能会议（AAAI'99），第221-226页。AAAI出版社，门罗公园（1999）
[19] Cormen，T.H.，Leiserson，C.E.，Rivest，R.L.：算法导论。McGraw–Hill，纽约（1989）·Zbl 1187.68679号
[20] Cunningham，W.H.：最优多端切割问题。In:光盘中的DIMACS系列。数学。和Theor。计算。科学。，第5卷，第105–120页。美国数学学会，普罗维登斯（1991）·Zbl 0821.90125号
[21] Dechter，R.：桶消除：概率推理的统一框架。In：程序。第十二届人工智能不确定性会议（UAI’96），第211-219页。考夫曼，洛斯·阿尔托斯（1996）
[22] Dechter，R.，Pearl，J.：约束网络的树聚类。Artif公司。智力。38, 353–366 (1989) ·兹伯利0665.68084 ·doi:10.1016/0004-3702（89）90037-4
[23] Demaine，E.D.，Hajiaghayi，M.T.，Nishimura，N.，Ragde，P.，Thilikos，D.M.：图类的近似算法，不包括作为子图的单交叉图。J.计算。系统。科学。69(2), 166–195 (2004) ·Zbl 1073.68063号 ·doi:10.1016/j.jcss.2003.12.001
[24] Dinic，E.A.：用功率估计解决网络最大流量问题的算法。苏联。数学。多克。11277–1280（1970年）·Zbl 0219.90046号
[25] Even，S.：一种确定图的连通性是否至少为k.SIAM J.Compute的算法。4(3), 393–396 (1975) ·Zbl 0311.05133号 ·数字对象标识代码：10.1137/0204034
[26] Even，S.：图形算法。纽约计算机科学出版社（1979）·Zbl 0441.68072号
[27] Feige，U.，Hajiaghayi，M.T.，Lee，J.R.：最小权重顶点分隔符的改进近似算法。In：程序。第37届ACM交响乐团。计算理论，第563-572页。ACM，纽约（2005）·Zbl 1192.68893号
[28] Fomin，F.V.，Kratsch，D.，Todinca，I.：树宽和最小填充的精确（指数）算法。摘自：第31届国际自动化、语言和编程学术讨论会论文集（ICALP 2004），第568–580页。施普林格，柏林（2004）·Zbl 1099.68076号
[29] Ford，L.R.Jr.，Fulkerson，D.R.：网络中的流动。普林斯顿大学出版社，普林斯顿（1962）·Zbl 0106.34802号
[30] Garg，N.，Vazirani，V.V.，Yannakakis，M.：有向图和节点加权图中的多路切割。In:自动化，语言与编程，第21届ICALP。LNCS，第820卷，第487-498页。施普林格，柏林（1994）·Zbl 1068.68178号
[31] Goldman，R.、Shivakumar，N.、Venkatasubramanian，S.、Garcia-Molina，H.：数据库中的邻近搜索。收录：《第24届国际超大数据库大会论文集》（VLDB 1998）（1998）
[32] Hoos，H.H.，Stützle，T.：SATLIB–可满足性库。加拿大SATLIB网站，由加拿大温哥华不列颠哥伦比亚大学计算机科学系计算智能实验室主办，2001年。可以在以下位置找到网址：http://www.satlib.org
[33] Jensen，F.V.，Lauritzen，S.L.，Olesen，K.G.：通过局部计算在递归图形模型中进行贝叶斯更新。计算。Stat.Q.4，269–282（1990年）·兹比尔0715.68076
[34] Kjaerulff，U.：贝叶斯网络效率改进方面。奥尔堡大学数学与计算机科学系博士论文，Fredrik Bajers Vej 7E，DK-9220奥尔堡，丹麦（1993）
[35] Klein，P.，Agrawal，A.，Ravi，R.，Rao，S.：通过多商品流的近似。In：程序。第31届IEEE交响乐团。《计算机科学基础》（FOCS’90），第726–739页。IEEE出版社，纽约（1990）
[36] Kloks，T.：In：树宽度：计算和近似。LNCS，第842卷。柏林施普林格（1994）·Zbl 0825.68144号
[37] Lagergren，J.：树分解和相关问题的高效并行算法。In：程序。第31届IEEE交响乐团。《计算机科学基础》（FOCS’90），第173-182页。IEEE出版社，纽约（1990）
[38] Lagergren，J.，Arnborg，S.：使用有限同余寻找最小禁止子项。In：程序。第18国际学院。自动机、语言和编程。LNCS，第510卷，第532-543页。柏林施普林格（1991）·Zbl 0764.68122号
[39] Lauritzen，S.L.，Spiegelhalter，D.J.：图形结构概率的局部计算及其在专家系统中的应用。J.R.Stat.Soc.B 50（2），157-224（1988）·Zbl 0684.68106号
[40] Leighton，T.、Makedon，F.、Plotkin，S.、Stein，C.、Tardos，E.、Tragoudas，S.：多商品流问题的快速近似算法。J.计算。系统。科学。50(2), 228–243 (1995) ·Zbl 0826.68055号 ·doi:10.1006/jcss.1995.1020
[41] Leighton，T.，Rao，S.：均匀多商品流问题的近似最大流最小割定理及其在近似算法中的应用。In：程序。第29届IEEE研讨会。《计算机科学基础》（FOCS’88），第422-431页（1988）
[42] Leighton，T.，Rao，S.：多公共最大流最小割定理及其在设计近似算法中的应用。J.ACM 46（6），787-832（1999）·Zbl 1065.68666号 ·doi:10.1145/331524.331526
[43] Lenat，D.B.：Cyc：对知识基础设施的大规模投资。Commun公司。ACM 38（11），33–38（1995）·doi:10.1145/219717.219745
[44] MacCartney，B.，McIlraith，S.，Amir，E.，Uribe，T.：大型知识库中基于分割的实用定理证明。In：程序。第十八届国际人工智能联合会议（IJCAI’03），第89-96页。考夫曼，洛斯·阿尔托斯（2003）
[45] McIlraith，S.，Amir，E.：用结构理论证明定理。In：程序。第十七届国际人工智能联合会议（IJCAI'01），第624-631页。考夫曼，洛斯·阿尔托斯（2001）·Zbl 0990.90558号
[46] Pearl，J.：《智能系统中的概率推理：合理推理网络》。考夫曼，洛斯·阿尔托斯（1988）·Zbl 0746.68089号
[47] Pradhan，M.、Provan，G.、Middleton，B.、Henrion，M.：大型信念网络的知识工程。In：程序。第十届人工智能不确定性会议（UAI’94），第484–490页。考夫曼，洛斯·阿尔托斯（1994）
[48] Reed，B.A.：找到近似分隔符并快速计算树宽。In：程序。第24届ACM交响乐团。《计算理论》，第221-228页。ACM，纽约（1992）
[49] 罗伯逊，N.，西摩，P.D.：未成年人图形。II： 树宽的算法方面。J.算法7，309–322（1986）·Zbl 0611.05017号 ·doi:10.1016/0196-6774（86）90023-4
[50] Robertson，N.，Seymour，P.D.：图未成年人XIII。不相交路径问题。J.库姆。理论Ser。B 63，65–110（1995）·Zbl 0823.05038号 ·doi:10.1006/jctb.1995.1006
[51] Rose，D.J.：三角图和消除过程。J.离散数学。7, 317–322 (1974) ·兹比尔0285.05128 ·doi:10.1016/0012-365X（74）90042-9
[52] P.D.西摩、R.托马斯：呼叫路由和捕鼠器。组合数学14（2），217–241（1994）·Zbl 0799.05057号 ·doi:10.1007/BF01215352
[53] Shoikhet，K.，Geiger，D.：寻找最优三角网的实用算法。In：程序。全国人工智能会议（AAAI’97），第185-190页。考夫曼，洛斯·阿尔托斯（1997）
[54] Walter，J.R.：弦图表示为树的子树。J.图论2265-267（1978）·Zbl 0441.05022号 ·doi:10.1002/jgt.3190020311
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。