中文

新分支规则:稀疏图中独立集和顶点覆盖的改进

数据结构与算法 2009-04-20 v1 离散数学

摘要

我们提出了一种O(1.0919n)O^*(1.0919^n)时间的算法,用于在最大度数为3的nn顶点图中寻找最大独立集,这改进了Bourgeois、Escoffier和Paschos [IWPEC 2008]先前提出的运行时间为O(1.0977n)O^*(1.0977^n)的算法。我们还提出了一种O(1.1923k)O^*(1.1923^k)时间的算法,用于判定最大度数为3的图是否存在大小为kk的顶点覆盖,这改进了Chen、Kanj和Xia [ISAAC 2003]先前提出的运行时间为O(1.1939k)O^*(1.1939^k)的算法。引入了两种新的分支技术,即“瓶颈分支”和“4-环分支”,这有助于我们为最大独立集和最小顶点覆盖问题设计简单快速的算法,并避免了繁琐的分支规则。

关键词

引用

@article{arxiv.0904.2712,
  title  = {New Branching Rules: Improvements on Independent Set and Vertex Cover in Sparse Graphs},
  author = {Mingyu Xiao},
  journal= {arXiv preprint arXiv:0904.2712},
  year   = {2009}
}

备注

The paper was presented at the 2nd annual meeting of asian association for algorithms and computation (AAAC 2009), April 11-12, 2009, Hangzhou, China