×
西蒙斯特劳布;托马斯·蒂拉夫;费比安·瓦格纳

计算无（K_{5}）图中的完美匹配数。 （英语） Zbl 1353.05100号

理论计算。系统。 59，第3期，416-439（2016）.
摘要：计算图中完美匹配的数量是一个计算困难的问题。然而，对于平面图，甚至对于无（K{3,3}）图，可以有效地计算完美匹配的数量。实现这一点的技术是计算图形的Pfaffian方向。在无（K_{5}）图的情况下，此技术将不起作用，因为某些无（K_（5}”）图没有Pfaffian方向。我们绕过了这个问题，并证明了无（K_{5}）图中的完美匹配数可以在多项式时间内计算出来。我们还对序列算法进行了并行化，并表明问题在（mathrm{TC}^{2}）中。我们注意到，我们的结果推广到没有单交叉次项的图。

引用于6文件

MSC公司：

05C70号 具有特殊性质的边子集（因子分解、匹配、划分、覆盖和打包等）
05C30号 图论中的枚举

关键词：

完美匹配;计数;复杂性
PDF格式BibTeX公司 XML格式引用
\textit{S.Straub}等人，理论计算。系统。59，第3号，416--439（2016；Zbl 1353.05100）
全文： 内政部

参考文献：

[1] Barahona，F.：在多项式时间内平衡有符号环面图。智利大学技术报告（1983年）·Zbl 1053.05081号
[2] Di Battista，G.，Tamassia，R.：增量平面度测试。摘自：IEEE计算机科学基础研讨会（FOCS），第436-441页（1989年）·Zbl 1005.05040号
[3] 迪·巴蒂斯塔，G；Tamassia，R，用SPQR树对三连接部件进行在线维护，Algorithmica，15，302-318，（1996）·Zbl 0843.68088号 ·doi:10.1007/s004539900017
[4] Cayley，A，Sur LES déterminants gauches，J.Pure Appl。数学。，38, 93-96, (1847)
[5] Curticapean，R.：计算不包括单交叉小调的图中的完美匹配。arXiv:1406.4056（2014）·Zbl 0753.05064号
[6] 德迈恩，ED；哈加伊，M；西村，N；拉格德，P；Thilikos，DM，图类的近似算法，不包括作为子图的单交叉图，J.Compute。系统。科学。，69, 166-195, (2004) ·Zbl 1073.68063号 ·doi:10.1016/j.jcss.2003.12.001
[7] Datta，S.，Nimbhorkar，P.，Thierauf，T.，Wagner，F.：（K\）同构_{3,3}-自由和\（K\）_{5} -免费图形是在日志空间中。摘自：《第29届软件技术与理论计算机科学基础年会论文集》，第145-156页（2009年）·Zbl 1248.68239号
[8] 埃德蒙兹，J，《小径，树木和花朵》，加拿大。数学杂志。，17, 449-467, (1965) ·Zbl 0132.20903号 ·doi:10.4153/CJM-1965-045-4
[9] Elberfeld，M.，Jakoby，A.，Tantau，T.：Bodlaender和Courcelle定理的对数空间版本。摘自：IEEE第51届计算机科学基础年会（FOCS），第143-152页（2010）·Zbl 1053.05081号
[10] 加尔比亚蒂，G；Maffioli，F，关于pfafians的计算，离散应用。数学。，51, 269-275, (1994) ·兹伯利0811.68083 ·doi:10.1016/0166-218X（92）00034-J
[11] Gibbons，A.，Rytter，W.：高效并行算法。剑桥大学出版社，剑桥（1988）·Zbl 0771.68015号
[12] Harary，F.：图论。Addison-Wesley，雷丁（1969）·Zbl 0182.57702号
[13] JE霍普克罗夫特；Tarjan，RE，三连通平面图同构的A（V\log V）V logv算法，J.Compute。系统。科学。，7, 323-331, (1973) ·Zbl 0274.05103号 ·doi:10.1016/S0022-0000（73）80013-3
[14] Kasteleyn，P.W.：图论和晶体物理学。摘自：Harary，F.（编辑）《图论和理论物理》，第43-110页。纽约学术出版社（1967年）·Zbl 0205.28402号
[15] 库尔卡尼，R；Mahajan，M；Varadarajan，K，《NC中的一些完美匹配和完美半积分匹配》，Chic。J.西奥。计算。科学。，2008, 1-26, (2008) ·Zbl 1286.05052号 ·doi:10.4086/cjtcs.2008.004
[16] Kuratowski，K，Sur le probléme des courbes gauches en topologie，Fundam。数学。，15, 271-283, (1930)
[17] Little，C.H.C.：Kasteleyn枚举平面图1-因子方法的扩展。摘自：Holton，D.A.（编辑）《组合数学》，数学课堂讲稿第403卷，第63-72页。施普林格，柏林-海德堡（1974）·Zbl 0331.05103号
[18] 米勒，德国劳埃德船级社；Ramachandran，V，一种新的图三连通算法及其并行化，组合数学，12，53-76，（1992）·Zbl 0753.05064号 ·doi:10.1007/BF01191205
[19] Mahajan，M；Subramanya，公共关系部；Vinay，V，组合方法产生了计算pfafians的NC算法，离散应用程序。数学。，143, 1-16, (2004) ·Zbl 1053.05081号 ·doi:10.1016/j.dam.2003.12.001
[20] Robertson，N.，Seymour，P.：排除具有单交叉的图。图结构理论，第669-675页。美国数学学会（1993）·Zbl 0797.05038号
[21] Tutte，W.T.：图中的连通性。多伦多大学出版社，多伦多（1966）·Zbl 0146.45603号
[22] Thierauf，T.，Wagner，F.：可达性（K）_{3,3}-自由图和\（K\）_{5} -免费图形位于明确的日志空间中。别致。J.西奥。计算。科学。，即将出现（2014年）·Zbl 1391.68061号
[23] Valiant，L，计算永久性的复杂性，Theor。计算。科学。，8, 189-201, (1979) ·兹比尔0415.68008 ·doi:10.1016/0304-3975（79）90044-6
[24] Valiant，L，全息算法，SIAM J.Compute。，37, 1565-1594, (2008) ·Zbl 1152.05010号 ·doi:10.1137/070682575
[25] Vazirani，V，计算K3,3-自由图中完美匹配数的NC算法及相关问题，Inf.Compute。，80, 152-164, (1989) ·Zbl 0673.05075号 ·doi:10.1016/0890-5401（89）90017-5
[26] Vollmer，H.：电路复杂性简介。施普林格，柏林（1999）·Zbl 0931.68055号 ·数字对象标识代码：10.1007/978-3-662-03927-4
[27] Wagner，K，《数学》。安，114570-590，（1937）·doi:10.1007/BF01594196
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。