×
奥利维拉、法利·索尔斯;Hiraishi、Hidefumi;伊迈，广岛

FPT算法用于枚举和计数非循环和全循环方向。 （英语） Zbl 07515219号

Coutinho，Gabriel（编辑）等人，《2019年拉丁美洲和美洲算法、图形和优化研讨会论文集》，巴西贝洛奥里藏特，2019年6月2-7日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。346, 655-666 (2019).
摘要：在本文中，我们讨论了两类图方向的计数和计数问题：非循环方向和全循环方向。众所周知，计数对他们俩来说都是#P-hard。为了避免这个问题，我们提出了固定参数跟踪（FPT）算法。对于枚举任务，我们构造了一个二进制决策图（BDD）来表示这两种类型的所有方向，而不是显式枚举它们。我们证明了这种结构的运行时间是由关于路径宽度pw的\（O^\ast（2^{mathrm{pw}^2/4+O（\mathrm}pw}^2）}）限定的。然后我们开发了更快的FPT算法来计算非循环方向和全非循环方向，运行在\（O*ast（2 ^{mathrm{bw}^2）+2+O（\ mathrm[bw}）}（）时间，其中bw表示给定图形的分支宽度。这些计数算法是通过将枚举算法中的观测值应用于分支分解而获得的。
关于整个系列，请参见[Zbl 1423.05002号].

MSC公司：

05Cxx号 图论
90立方厘米 数学编程

关键词：

非循环取向;全循环定向;参数化算法;FPT算法;路径宽度;分支宽度;二元决策图
PDF格式BibTeX公司 XML格式引用
\textit{F.S.Oliveira}等人，《电子》。注释Theor。计算。科学。346655-666（2019年；Zbl 07515219）
全文： DOI程序

参考文献：

[1] 阿维斯，D。；Fukuda，K.，枚举的反向搜索，离散应用数学，65，21-46（1996）·Zbl 0854.68070号
[2] 巴博萨，V.C。；Gafni，E.，重负载邻域约束系统中的并发性，AC编程语言和系统事务（TOPLAS），11，562-584（1989）
[3] 巴博萨，V.C。；Szwarcfiter，J.L.，生成无向图的所有非循环方向，信息处理快报，72，71-74（1999）·Zbl 1339.05379号
[4] Bodlaender，H.L.，有界树宽图的部分k-树丛，理论计算机科学，209，1-45（1998）·Zbl 0912.68148号
[5] Bodlaender，H.L。；Thilikos，D.M.，《分支宽度的构造线性时间算法》，（自动化、语言和编程国际学术讨论会（1997），施普林格），627-637·Zbl 1401.05277号
[6] Bryant，R.E.，布尔函数操作的基于图形的算法，IEEE计算机学报，35，677-691（1986）·Zbl 0593.94022号
[7] Brylawski，T。；Oxley，J.，《Tutte多项式及其应用》，《Matroid应用》，第40期，第123-225页（1992年）·Zbl 0769.05026号
[8] 查韦兹·洛梅利，L.E。；梅里诺，C。；诺布尔，S.D。；Ramírez-Ibáñez，M.，Tutte多项式的一些不等式，欧洲组合数学杂志，32，422-433（2011）·Zbl 1290.05055号
[9] 孔戴，A。；格罗西，R。；A.马里诺。；Rizzi，R.，列出单源和多源图的非循环方向，（拉丁语2016：理论信息学-第十二届拉丁美洲研讨会（2016）），319-333·Zbl 1479.05151号
[10] 孔戴，A。；格罗西，R。；A.马里诺。；Rizzi，R。；Versari，L.，通过列出强方向来指导道路网络，（组合算法国际研讨会（2016），Springer），83-95·Zbl 1478.68226号
[11] Coudert，O.，用ZBDD解决图形优化问题，（1997年欧洲设计与测试会议论文集（1997），IEEE计算机学会），224-228
[12] Fürer，M.，《路径宽度的更快计算》，（组合算法国际研讨会（2016），施普林格），385-396·Zbl 1478.68238号
[13] Greene，C。；Zaslavsky，T.，《通过超平面、分区图、非radon分区和图的方向的排列解释Whitney数》，美国数学学会学报，28097-126（1983）·Zbl 0539.05024号
[14] Kleitman，D.J。；罗斯柴尔德，B.L.，有限集上偏序的渐近枚举，美国数学学会学报，205205-220（1975）·Zbl 0302.05007号
[15] Knuth，D.E.，《计算机编程艺术》，第4卷，第1卷：逐位技巧；二元决策图（2009），Addison-Wesley Professional·Zbl 1178.68372号
[16] Las Vergnas，M.，组合几何的非循环和全循环方向，离散数学，20，51-61（1977）·Zbl 0404.05017号
[17] Las Vergnas，M.，拟阵同态的Tutte多项式II。定向活动，图论进展（1984）·Zbl 0556.05013号
[18] Lin，F.，关于3-连通图的生成树和全循环定向的注记，组合数学杂志，4，95-104（2013）·Zbl 1301.05070号
[19] Noble，S.D.，评估有界树宽图的Tutte多项式，组合数学，概率与计算，7307-321（1998）·兹比尔0917.05072
[20] 诺布尔，S.D。；Royle，G.F.，《Merino-Welsh猜想适用于串-平行图》，《欧洲组合数学杂志》，38，24-35（2014）·Zbl 1282.05031号
[21] F.S.Oliveira，H.Hiraishi，H.Imai，重温图的生成树的BDD的自顶向下计算及其Tutte多项式，已被接受出版。；F.S.Oliveira，H.Hiraishi，H.Imai，重温图的生成树的BDD的自顶向下计算及其Tutte多项式，接受出版。
[22] Robertson，北卡罗来纳州。；西摩，P.D.，《未成年人图形》。X.树分解的障碍，《组合理论杂志》，B辑，52153-190（1991）·Zbl 0764.05069号
[23] Sekine，K。；Imai，H。；Tani，S.，计算中等大小图的Tutte多项式，（算法和计算.算法和计算，计算机科学讲义（1995）），224-233·Zbl 1512.68251号
[24] Shiroshita，S。；小笠原，T。；Hiraishi，H。；Imai，H.，Fpt算法利用欧拉方向和冰型模型的雕刻分解，（算法与计算国际研讨会（2018），Springer），216-227·Zbl 1498.68216号
[25] Squire，M.B.，生成图的非循环方向，《算法杂志》，26，275-290（1998）·Zbl 0894.68106号
[26] Stanley，R.P.，图的非循环方向，离散数学，5171-178（1973）·Zbl 0258.05113号
[27] Thomassen，C.，《生成树和图的方向》，《组合数学杂志》，第1101-111页（2010年）·兹比尔1219.05044
[28] Vertigan，D.L。；Welsh，D.J.A.，《Tutte平面的计算复杂性：二部案例》，组合数学，概率与计算，1181-187（1992）·Zbl 0793.05091号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。