提升顶点覆盖的门槛：更高保证之上的固定参数可解性
数据结构与算法
2015-09-15 v1
摘要
我们研究经典顶点覆盖(Vertex Cover)问题的如下保证之上参数化(above-guarantee parameterization)：给定图 和 作为输入， 是否具有大小至多为 的顶点覆盖？这里 是 的最大匹配的大小， 是 上顶点覆盖的松弛(标准) LP 的最优解的值，而 是参数。由于 ，这是一个比迄今为止研究过的那些——即 above- 和 above-——更严格的参数化。我们证明对于这个更严格的参数 ，顶点覆盖是固定参数可解的：我们推导出一种在 时间内解决顶点覆盖的算法，进一步推进了顶点覆盖参数化可解性的界限。
引用
@article{arxiv.1509.03990,
title = {Raising The Bar For Vertex Cover: Fixed-parameter Tractability Above A Higher Guarantee},
author = {Shivam Garg and Geevarghese Philip},
journal= {arXiv preprint arXiv:1509.03990},
year = {2015}
}