算法设计期末作业-08-8.22

题目 ##（题目比较长，找了一个中文版的贴在下面）

在任务调度，常常会用到图。其中节点应用于任务，任务i到j的有向边表示i是j的先期条件。这样的图描述了调度问题中的任务先后关系（约束） 。显然，一个调度是可行的当且仅当该图无环；如果调度不可行，我们需要使其无环所需的最小约束数量。
给定一个有向图G =（V，E），子集E’⊆E称为一个反馈弧集，反馈弧集是指将其移除后，将使得G无环。
反馈弧集（FAS）：给定一个有向图G =（V，E）和预算b，求包含不超过b条边的反馈弧集合——如果这样的集合存在。
（a）证明 FAS是NP的
（b）证明，如果G包含一个大小B顶点覆盖，然后G’ 包含反馈弧集尺寸B.
（c）证明如果G’ 包含反馈弧集大小B，则G包含一个大小为顶点覆盖（最多）B（提示：给出一个反馈弧在G0，大小B组你可能需要fiRST稍微修改一下获得另一个人这是一个更方便的形式，但该相同或更小的尺寸。然后，认为G必须包含一个顶点覆盖的大小相同的莫迪fiED反馈弧集。）

问题解答

（a）
下面举个例子，有顶点覆盖（G,b）,G是一个无向图。如果G=（V,E）
有n个顶点v1,v2,……,vn, 令G0=（V0，E0）是一个有向图，有2n个顶点W1，W’1，W2，W’2……WN,W’N。有N+2|E|条有向边。（WI,i）所有i=1,2,…,n(W’i,Wj)和(W’j,Wj)（vi,vj）属于E。显然FAS可以在多项式时间内得到验证，故该问题是NP问题。

（b）
给出2个图G和G’，G’中任意一顶点wi的出度为1，唯一的出边指向wi’,而对于wi’, 其入度为1，其唯一的入边来自于wi。假设现在C是G的一个规模为b的顶点覆盖集，任意的vi属于C，将边（wi,wi’）添加到E’，那么E’就是所要找的G的一个规模是b 的FAS，当我们将（wi,wi’）去掉后，wi不再有出边，wi’不再有入边。所以wi和wi’的出度是0，不可能存在一个环中，故得证，即若G包含规模为b的顶点覆盖，则G’有规模为b的反馈弧集合。

（c）
取G的任意一条边（vi,vj），设边中顶点在G中对应着wi,wi’,wj,wj’，相对应的边就是（wi,wi’）和（wj,wj’），若E’是G’的一个大小是s的FAS，那么这3条边中一定有一条属于E’，否则会形成环，所以边e一定有一个端点属于（wi,wj），若wi是e的端点。那么将vi加入到集合C中，那么这样下去，我们得到的C就是G 的一个大小为s 的顶点覆盖，得证。