【算法概论】FAS问题与顶点覆盖问题

最新推荐文章于 2021-11-27 15:40:56 发布

枫叶果酱

最新推荐文章于 2021-11-27 15:40:56 发布

阅读量1.6k

点赞数 2

分类专栏：算法概论文章标签： NP问题

本文链接：https://blog.csdn.net/MapleJam/article/details/53350812

版权

本文探讨了FAS（Feedback Arc Set）问题与顶点覆盖问题的关联，证明了FAS问题的NP-completeness。通过从顶点覆盖问题的转换，展示了在有向图中找到FAS的条件，以及FAS存在如何推导出顶点覆盖的情况。内容包括FAS的多项式时间验证、顶点覆盖转化为FAS和FAS转化为顶点覆盖的证明。

摘要由CSDN通过智能技术生成

题目出自《算法概论》的第八章8.22

问题描述：
Given a directed graph $G = (V, E)$ , a subset $E' \in E$ is called a feedback arc set if the removal of edges $E'$ renders $G$ acyclic.
FEEDBACK ARC SET(FAS): Given a directed graph $G=(V,E)$ and a budget $b$ , find a feedback arc set of $<=b$ edges, if one exists.
FAS can be shown to be NP-complete by a reduction from VERTEX COVER.
(a) Show that FAS is in NP.
(b) Show that if $G$ contains a vertex cover of size $b$ , then $G'$ contains a feedback arc set of size $b$ .
(c) Show that if $G'$ contains a feedback arc set of size $b$ , then $G$ contains a vertex cover of size (at most) $b$ .
$G=(V,E)$ has $n$ vertices $v_1, ..., v_n$ , then make $G'=(V',E')$ a directed graph with $2n$ vertices $w_1, {w_1}',...,w_n, {w_n}'$ , and $n+2|E|$ (directed) edges:

$(w_i, {w_i}')$ for all $1,2,...,n$ .
$(w_i, {w_j}')$ and $(w_j, {w_i}')$ for every $(v_i, v_j)\in E$ .
值得注意的是， $G$ 为无向图， $G'$ 为有向图。

问题解析：
(a) 问题a需要证明FAS是一个NP问题。首先介绍一下P问题，NP问题，以及NP完全问题(NPC, NP - Complete).

P问题(Polynomial Problem)即可以在多项式时间内解决的问题。
NP问题(Non-deterministic Polynomial Problem), 即不确定是否能在多项式时间内解决，但可以在多项式时间内验证一个解的问题。
NPC问题：如果所有的NP问题能够在多项式时间内规约为某个NP问题，那么这个NP问题被称为NPC问题。

我们不确定FAS问题是否能在多项式时间内得到一个解，需要证明在多项式时间内验证一个解 $E'$ 是否是FAS的解。
有如下验证：