×
刘云龙;陈建尔;王建新

计算大小为\（k\）的三维匹配。 （英语） Zbl 1185.68364号

算法 54，第4期，530-543（2009）。
摘要：计算给定三元组中大小为\（k\）的匹配数的计算复杂性已经公开。据推测，该问题不是固定参数可处理的。本文针对这一问题提出了一种固定参数可处理的随机逼近方案（FPTRAS）。更准确地说，我们开发了一个随机算法，在给定的正实数（varepsilon）和（delta）以及给定的（n）三元组和整数（k）的集（S）上，生成一个时间上的数字（h）（O（5.48^{3k}n^{2}ln（2/delta）/varepsilon^{2}），这样\[\文本{Prob}[（1-\varepsilon）h_{0}\leq h\leq（1+\varepsilon）h-{0}]\geq1-\delta，\]其中，\（h_{0}\）是三元组\（S\）中大小为\（k\）的匹配总数。我们的算法基于最近改进的彩色编码技术和Karp、Luby和Madras开发的Monte-Carlo自调整覆盖算法。

引用于2文件

MSC公司：

65年第68季度 算法和问题复杂性分析
68瓦20 随机算法
68周25 近似算法
2016年1月5日 渐进枚举

关键词：

三维匹配;参数化算法;近似算法;随机算法;计数复杂性
PDF格式BibTeX公司 XML格式引用
\textit{Y.Liu}等人，Algorithmica 54，No.4，530--543（2009；Zbl 1185.68364）
全文： 内政部

参考文献：

[1] Alon，N.、Yuster，R.、Zwick，U.：彩色编码。J.ACM 42、844–856（1995）·Zbl 0885.68116号 ·数字对象标识代码：10.1145/210332.210337
[2] Arvind，V.，Raman，V.：一些参数化计数问题的近似算法。In：程序。第13届算法与计算国际研讨会（ISAAC 02），《计算机科学讲义》，第2518卷，第453-464页。柏林施普林格出版社（2002年）·Zbl 1019.68135号
[3] Bayati，M.、Gamarnik，D.、Katz，D.、Nair，C.、Tetali，P.：计数匹配的简单确定性近似算法。In：程序。第39届计算理论研讨会（STOC 07），第122–127页（2007）·兹比尔1232.68179
[4] Chen，J.，Lu，S.，Sze，S.-H.，Zhang，F.：路径、匹配和打包问题的改进算法。In：程序。第18届ACM-SIAM离散算法年会（SODA 07），第298-307页（2007）·Zbl 1302.90169号
[5] Chien，S.：一种基于确定性的算法，用于计算一般图中的性能匹配。In：程序。第15届ACM-SIAM离散算法年会（SODA 04），第728–735页（2004）·Zbl 1318.05074号
[6] Flum，J.，Grohe，M.：计数问题的参数化复杂性。SIAM J.计算。33, 892–922 (2004) ·Zbl 1105.68042号 ·网址：10.1137/S0097539703427203
[7] Fellows，M.，Knauer，C.，Nishimura，N.，Ragde，P.，Rosamond，F.，Stege，U.，Thilikos，D.，Whitesides，S.：用于匹配和打包问题的更快的固定参数可处理算法。In：程序。第十二届欧洲算法年会（ESA 04）。计算机科学课堂讲稿，第3221卷，第311-322页。施普林格，柏林（2004）·Zbl 1111.68794号
[8] Garey，M.，Johnson，D.：《计算机与难治性：NP-完备性理论指南》。弗里曼，纽约（1979年）·Zbl 0411.68039号
[9] Koutis，I.：集合打包的快速参数化算法。信息处理。莱特。94, 7–9 (2005) ·Zbl 1182.68367号 ·doi:10.1016/j.ipl.2004.12.005
[10] Karp，R.，Luby，M.，Madras，N.：枚举问题的蒙特卡罗近似算法。J.算法10，429–448（1989）·Zbl 0678.65001号 ·doi:10.1016/0196-6774（89）90038-2
[11] Sankowski，P.：计算图中所有匹配的替代算法。In：程序。第20届计算机科学理论方面年度研讨会（STACS 03）。计算机科学课堂讲稿，第2607卷，第427-438页。柏林施普林格出版社（2003）·Zbl 1035.05091号
[12] Liu，Y.，Lu，S.，Chen，J.，Sze，S.-H.：贪婪的本地化和颜色编码：改进的匹配和打包算法。In：程序。第二届参数化和精确计算国际研讨会（IWPEC 06）。计算机科学课堂讲稿，第4169卷，第84-95页。柏林施普林格出版社（2006）·Zbl 1154.68429号
[13] Vadhan，S.：稀疏、规则和平面图中计数的复杂性。SIAM J.计算。31, 398–427 (2002) ·Zbl 0994.68070号 ·doi:10.137/S009753977321602
[14] Valiant，L.：枚举和可靠性问题的复杂性。SIAM J.计算。8, 410–421 (1979) ·Zbl 0419.68082号 ·数字对象标识代码：10.1137/0208032
[15] Valiant，L.：计算永久值的复杂性。西奥。计算。科学。8, 189–201 (1979) ·Zbl 0415.68008号 ·doi:10.1016/0304-3975（79）90044-6
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。