arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 0907.2165cs.DScs.DM
收藏

Tourist中反馈弧集的核

Kernels for Feedback Arc Set In Tournaments

Stéphane Bessy, Fedor V. Fomin, Serge Gaspers, Christophe Paul, Anthony Perez, Saket Saurabh, Stéphan Thomassé

摘要:

竞赛图T=(V,A)是一个有向图,其中每对不同的顶点之间只有一条弧。给定n个顶点的有向图和整数参数k,反馈弧集问题询问给定的有向图是否有一组k条弧,其去除导致无圈有向图。限制于竞赛的反馈弧集问题被称为k-反馈弧集竞赛(k-FAST)问题。在本文中,我们得到了一个线性顶点核的k-FAST。也就是说,我们给出了一个多项式时间算法,该算法给k-FAST一个输入实例T,在O(k)个顶点上得到一个等价的实例T'。事实上,给定任何固定的e>0,核化实例最多有(2+e)k个顶点。我们的结果改进了以前已知的k-FAST的核大小的O(k^2)界。我们的核化算法在多项式时间内解决了比赛子类上的问题,并使用已知的多项式时间近似方案k-FAST。

英文摘要:

A tournament T=(V,A) is a directed graph in which there is exactly one arc between every pair of distinct vertices. Given a digraph on n vertices and an integer parameter k, the Feedback Arc Set problem asks whether the given digraph has a set of k arcs whose removal results in an acyclic digraph. The Feedback Arc Set problem restricted to tournaments is known as the k-Feedback Arc Set in Tournaments (k-FAST) problem. In this paper we obtain a linear vertex kernel for k-FAST. That is, we give a polynomial time algorithm which given an input instance T to k-FAST obtains an equivalent instance T' on O(k) vertices. In fact, given any fixed e>0, the kernelized instance has at most (2+e)k vertices. Our result improves the previous known bound of O(k^2) on the kernel size for k-FAST. Our kernelization algorithm solves the problem on a subclass of tournaments in polynomial time and uses a known polynomial time approximation scheme for k-FAST.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑