×
费多尔·福明。;Yngve的Villanger

树宽计算和极值组合。 （英文） Zbl 1289.05447号

组合数学 32，第3期，289-308（2012）.
设（G=（V，E）为图。对于v中的每一个\（v\）和所有整数\（b，f\ geq 0 \），连通子集\（b\ substeq v \）的数目最多为\（b+f\ choose b\）。作者证明了这个组合引理，并在此基础上发展了算法，对于给定的顶点上的图，（1）使用指数空间计算时间上的树宽（O（1.7549^n））；（2） 使用多项式空间计算树的时间宽度（O（2.6151^n））；（3） 及时决定树的宽度是否最大（k）；（4） 按时间列出所有最小分隔符（O（1.6181^n））；（5） 列出所有潜在的最大时间团（O（1.7549^n））；它改进了针对这些问题的已知算法。
审核人：海科·米勒（利兹）

引用于22文件

MSC公司：

05C85号 图形算法（图形理论方面）
05C69号 具有特殊属性的顶点子集（支配集、独立集、团等）
65年第68季度 算法和问题复杂性分析
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

精确算法;指数时间算法;图形算法;树宽;最小分隔符;潜在最大集团
PDF格式BibTeX公司 XML格式引用
\textit{F.V.Fomin}和\textit{Y.Villanger}，Combinatorica 32，No.3，289--308（2012；Zbl 1289.05447）
全文： 内政部 arXiv公司

参考文献：

[1] S.Arnborg、D.G.Corneil和A.Proskurowski：在k树中查找嵌入的复杂性，SIAM J.代数离散方法8（1987），277-284·Zbl 0611.05022号 ·doi:10.1137/0608024
[2] C.Beeri、R.Fagin、D.Maier和M.Yannakakis：《关于非循环数据库方案的可取性》，J.ACM 30（1983），479–513·兹比尔062468087 ·doi:10.1145/2402.322389
[3] A.Berry、J.P.Bordat和O.Cogis：生成图的所有最小分隔符。，发现的国际期刊。计算。科学。11 (2000), 397–403. ·Zbl 1320.05120号 ·doi:10.1142/S012905410000211
[4] A.Björklund、T.Husfeldt、P.Kaski和M.Koivisto:有界度图中的旅行推销员问题，收录于：第35届国际自动化、语言和编程学术讨论会论文集（ICALP 2008），第5125卷，《计算讲义》。科学。，施普林格，2008年，198–209·Zbl 1152.90575号
[5] A.Björklund，T.Husfeldt，P.Kaski和M.Koivisto：修剪Moebius反演和有界度图，理论计算。系统。47 (2010), 637–654. ·Zbl 1225.05005号 ·doi:10.1007/s00224-009-9185-7
[6] H.L.Bodlaender：一种求小树宽的树分解的线性时间算法，SIAM J.Compute。25 (1996), 1305–1317. ·兹比尔0864.68074 ·doi:10.137/S0097539793251219
[7] H.L.Bodlaender：具有有界树宽的图的部分k-树丛，Theor。公司。科学。209 (1998), 1–45. ·Zbl 0912.68148号 ·doi:10.1016/S0304-3975（97）00228-4
[8] H.L.Bodlaender、F.V.Fomin、A.M.C.A.Koster、D.Kratsch和D.M.Thilikos：《关于树宽的精确算法》，载于《第十四届欧洲算法研讨会论文集》（ESA 2006），第4168卷《计算讲义》。科学。，施普林格，2006年，672-683·Zbl 1131.68481号
[9] H.L.Bodlaender和A.M.C.A.Koster：有界树宽图的组合优化，计算机期刊51（3），2008，255–269·doi:10.1093/comjnl/bxm037
[10] 博洛巴斯：关于广义图，数学学报。阿卡德。科学。匈牙利。(1965), 447–452. ·Zbl 0138.19404号
[11] V.Bouchitté和I.Todinca：树宽和最小填充：最小分隔符分组，SIAM J.Compute。31 (2001), 212–232. ·Zbl 0987.05085号 ·doi:10.1137/S0097539799359683
[12] V.Bouchitté和I.Todinca：列出图的所有潜在最大团。，西奥。计算。科学。276 (2002), 17–32. ·Zbl 1002.68104号 ·doi:10.1016/S0304-3975（01）00007-X
[13] P.Buneman：刚性电路图的表征，离散数学。9 (1974), 205–212. ·Zbl 0288.05128号 ·doi:10.1016/0012-365X（74）90002-8
[14] M.Davis、G.Logemann和D.Loveland：《理论漫游的机器程序》，ACM 5（1962），394–397·Zbl 0217.54002号 ·数字对象标识代码：10.1145/368273.368557
[15] M.Davis和H.Putnam：量化理论的计算程序，J.ACM 7（1960），201-215·Zbl 0212.34203号 ·数字对象标识代码：10.1145/321033.321034
[16] Y.Dourisboure和C.Gavoille：带小直径离散数学包的树分解，307（2007），2008-2029·Zbl 1118.05077号 ·doi:10.1016/j.disc.2005.12.060
[17] U.Feige、M.Hajiaghayi和J.R.Lee：最小权顶点分隔符的改进近似算法，SIAM J.Compute。38 (2008), 629–657. ·Zbl 1172.68063号 ·数字对象标识码：10.1137/05064299X
[18] F.Fomin、F.Grandoni和D.Kratsch：精确（指数）算法设计和分析中的一些新技术，《欧洲理论计算机科学协会公报》87（2005），47-77·Zbl 1169.68669号
[19] F.V.Fomin和D.Kratsch：精确指数算法，Springer，2010年·Zbl 1370.68002号
[20] F.V.Fomin、D.Kratsch和I.Todinca:《树宽和最小填充的精确算法》，摘自：《第31届国际自动化、语言和编程学术讨论会论文集》（ICALP 2004），第3142卷，《计算讲义》。科学。，施普林格，柏林，2004年，568–580·Zbl 1099.68076号
[21] F.V.Fomin、D.Kratsch、I.Todinca和Y.Villanger：树宽和最小填充的精确算法，SIAM J.Compute。38 (2008), 1058–1079. ·Zbl 1163.05320号 ·doi:10.1137/050643350
[22] F.V.Fomin和Y.Villanger：树宽计算和极值组合，摘自：第34届国际自动化、语言和编程学术讨论会论文集（ICALP 2008），第5125卷，《计算讲义》。科学。，施普林格，2008年，210–221·Zbl 1152.05376号
[23] M.C.Golumbic：《算法图论与完美图》，纽约学术出版社，（1980）。
[24] R.L.Graham、D.E.Knuth和O.Patashnik：《具体数学：计算机科学的基础》，Addison-Wesley出版社，马萨诸塞州雷丁，第二版，1994年·Zbl 0836.00001号
[25] M.Held和R.M.Karp:排序问题的动态编程方法，《SIAM杂志》10（1962），196-210·Zbl 0106.14103号
[26] C.-W.Ho和R.C.T.Lee：计算团树并并行计算完美消除方案，Inform。过程。莱特。31 (1989), 61–68. ·Zbl 0685.68050号 ·doi:10.1016/0020-0190（89）90070-7
[27] 岩马：K-SAT的最坏情况上限，《欧洲理论计算机科学协会公报》82（2004），61-71·Zbl 1169.68443号
[28] S.Jukna：《极值组合学及其在计算机科学中的应用》，Springer-Verlag出版社，柏林，2001年·Zbl 0978.05001号
[29] T.Kloks和D.Kratsch：列出图的所有最小分隔符。，SIAM J.计算。27 (1998), 605–613. ·兹伯利0907.68136 ·doi:10.1137/S00975397979427087X
[30] D.Lokshtanov：《关于计算树长度的复杂性》，载于《第32届国际计算机科学数学基础研讨会论文集》（MFCS 2007），第4708卷《计算讲义》。科学。，施普林格，2007年，276–287·Zbl 1147.68535号
[31] S.Parter：《线性图在高斯消去中的应用》，SIAM Review 3（1961），119-130·Zbl 0102.11302号 ·doi:10.1137/1003021
[32] N.Robertson和P.D.Seymour：未成年人图形。二、。树宽的算法方面，《算法杂志》7（1986），309-322·Zbl 0611.05017号 ·doi:10.1016/0196-6774（86）90023-4
[33] D.J.Rose:线性方程组稀疏正定系统数值解的图形理论研究，收录于：图论与计算，R.C.Read，ed.，学术出版社，纽约，1972，183–217。
[34] U.Schöning：《指数时间的算法》，载于《第22届计算机科学理论方面国际研讨会论文集》（STACS 2005），第3404卷《计算讲稿》。科学。，斯普林格，2005年，36-43·兹比尔1118.68500
[35] S.Seiden：《理论计算机科学备忘》，SIGACT News 27（1996），52–61页·doi:10.1145/242581.242585
[36] R.E.Tarjan和A.E.Trojanowski：寻找最大独立集，SIAM J.Computing 6（1977），537–546·Zbl 0357.68035号 ·数字对象标识代码：10.1137/0206038
[37] Y.Villanger：改进的树宽和最小填充的指数时间算法，载于：第七届拉丁美洲理论信息学研讨会论文集（Latin 2006），第3887卷，《计算机课堂讲稿》。科学。，施普林格，2006年，800–811·Zbl 1145.68475号
[38] G.Woeginger：NP-hard问题的精确算法：一项调查，in：组合优化–Eureka，You Shrink！，计算机课堂讲稿第2570卷。科学。，斯普林格，2003年，185-207·Zbl 1024.68529号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。