×

重访典型序列-计算图形的宽度参数。 (英语) Zbl 07680319号

摘要:在这项工作中,我们给出了一个关于典型序列合并的结构引理,这是1991年引入的一个概念[Lagergren和Arnborg,Bodlaender和Kloks,两者都是ICALP 1991],以获得树宽和路径宽度的构造性线性时间参数化算法。该引理解决了这些算法中的一个运行时瓶颈,但到目前为止,它并没有导致渐进更快的算法。然而,我们应用引理证明了串-平行有向图的割宽和修改割宽可以在多项式时间内计算。

MSC公司:

68瓦xx 计算机科学中的算法
68卢比 离散数学与计算机科学
05Cxx号 图论
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] Althaus,E.,Ziegler,S.:重温最优树分解:一种更简单的线性时间FPT算法,CoRR,1912.09144(2019)
[2] Amir,E.,《树宽近似算法》,《算法》,56,4,448-479(2010)·Zbl 1187.68703号 ·文件编号:10.1007/s00453-008-9180-4
[3] Bodlaender,HL,求小树宽树分解的线性时间算法,SIAM J.Compute。,25, 6, 1305-1317 (1996) ·兹比尔0864.68074 ·doi:10.1137/S00975397932321219
[4] Bodlaender,H.L.,Cai,L.,Chen,J.,Fellows,M.R.,Telle,J.A.,Marx,D.:参数化和精确计算中的开放问题-IWPEC 2006。乌得勒支大学信息与计算科学系技术报告UU-CS-2006-052(2006)
[5] 博德兰德,HL;德雷吉,PG;Dregi,理学硕士;Fomin,FV;Lokshtanov,D。;Pilipczuk,M.,树宽的ckn 5-近似算法,SIAM J.Compute。,45, 2, 317-378 (2016) ·Zbl 1333.05282号 ·数字对象标识代码:10.1137/130947374
[6] 博德兰德,HL;研究员,MR;Thilikos,DM,剖切宽度和相关图形布局参数算法的推导,计算机J。系统。科学。,75, 4, 231-244 (2009) ·Zbl 1165.68523号 ·doi:10.1016/j.jcss.2008.10.03
[7] Bodlaender,H.L.,Gustedt,J.,Telle,J.A.:固定数量寄存器的线性时间寄存器分配。摘自:第九届ACM-SIAM离散算法年会论文集,SODA 1998,第574-583页。ACM/SIAM(1998)·Zbl 0930.68016号
[8] 博德兰德,HL;Kloks,T.,图的路径宽度和树宽度的高效构造算法,J.Algor。,21, 2, 358-402 (1996) ·Zbl 0861.68036号 ·doi:10.1006/jagm.1996.0049
[9] Bodlaender,H.L.,Thilikos,D.M.:分支宽度的构造性线性时间算法。摘自:《第24届国际自动化、语言和编程学术讨论会论文集》,ICALP 1997,计算机科学(LNCS)讲稿第1256卷,第627-637页。施普林格(1997)·Zbl 1401.05277号
[10] Bodlaender,H.L.,Thilikos,D.M.:计算线性时间内的小搜索数。摘自:第一届参数化和精确计算国际研讨会论文集,IWPEC 2004,计算机科学(LNCS)讲稿第3162卷,第37-48页。斯普林格(2004)·Zbl 1104.68079号
[11] Bojanczyk,M.,Pilipczuk,M.:优化MSO中的树分解。收录于:Vollmer,H.,Vallée,B.(eds.)第34届计算机科学理论方面研讨会论文集,STACS 2017,莱布尼茨国际信息学论文集(LIPIcs)第66卷,第15:1-15:13页(2017)·Zbl 1402.68140号
[12] Feige,美国。;哈加伊,MT;Lee,JR,最小权顶点分隔符的改进近似算法,SIAM J.Compute。,38, 2, 629-657 (2008) ·兹比尔1172.68063 ·数字对象标识码:10.1137/05064299X
[13] Fürer,M.:更快地计算路径宽度。摘自:《第27届组合算法国际研讨会论文集》,IWOCA 2016,计算机科学(LNCS)讲稿第9843卷,第385-396页。斯普林格(2016)·Zbl 1478.68238号
[14] Jeong,J。;金,EJ;Oum,S.,“网格解码的艺术”是固定参数可处理的,IEEE Trans-Inf Theory,63,11,7178-7205(2017)·Zbl 1390.94926号 ·doi:10.10109/TIT.2017.22740283
[15] Kessler,CW,针对最小寄存器需求的调度表达式DAG,Compute。Lang.,24,1,33-53(1998)·Zbl 0904.68047号 ·doi:10.1016/S0096-0551(98)00002-2
[16] Lagergren,J.,有界树宽图的高效并行算法,J.Algor。,20, 1, 20-44 (1996) ·Zbl 0840.68058号 ·doi:10.1006/jagm.1996.002
[17] Lagergren,J.,Arnborg,S.:使用有限同余寻找最小禁止子项。摘自:第18届国际自动化、语言和编程学术讨论会论文集,ICALP 1991,计算机科学(LNCS)讲稿第510卷,第532-543页。斯普林格(1991)·Zbl 0764.68122号
[18] Reed,B.A.:找到近似分隔符并快速计算树宽。摘自:《第24届ACM计算机理论研讨会论文集》,STOC 1992,第221-228页。ACM(1992年)
[19] 罗伯逊,N。;西摩,PD,Graph Minors。十三、。不相交路径问题,J.Combinat。理论Ser。B、 63、1、65-110(1995)·Zbl 0823.05038号 ·doi:10.1006/jctb.1995.1006
[20] Sethi,R.,《完全寄存器分配问题》,SIAM J.Compute。,4, 3, 226-248 (1975) ·Zbl 0327.68042号 ·数字对象标识代码:10.1137/0204020
[21] Sethi,R。;Ullman,JD,算术表达式最佳代码的生成,J.ACM,17,4,715-728(1970)·Zbl 0212.18802号 ·doi:10.1145/321607.321620
[22] Stanley,RP,枚举组合数学,第二版。,第一卷(2011),剑桥:剑桥大学出版社,剑桥·doi:10.1017/CBO9781139058520
[23] 蒂利科斯,DM;塞尔纳,MJ;Bodlaender,HL,Cutwidth i:线性时间固定参数算法,J.Algor。,56, 1, 1-24 (2005) ·兹比尔1161.68856 ·doi:10.1016/j.jalgor.2004年12月01日
[24] 蒂利科斯,DM;塞尔纳,MJ;Bodlaender,HL,Cutwidth II:有界度部分w-树的算法,J.Algor。,56, 1, 25-49 (2005) ·Zbl 1161.68857号 ·doi:10.1016/j.jalgor.2004年12月03日
[25] 瓦尔德斯,J。;RE塔尔詹;Lawler,EL,系列平行有向图的识别,SIAM J.Comput。,11, 2, 298-313 (1982) ·Zbl 0478.68065号 ·doi:10.1137/021023
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。