Algorithm Karp缩减：顶点覆盖到半顶点覆盖

我需要为下一个问题找到一个减少：

顶点覆盖-给定（G=（V，E），k）->G是无向图 我们需要大小为k的S（V的子群），覆盖E中的所有边

Hal顶点覆盖-给定（G=（V'，E'），k'）->G是无向图。 我们需要大小为k'的S'（V的子群），它正好覆盖E'的一半边

如果你能告诉我如何做到这一点，以及为什么卡普减少是真实的（证据的两个方向），我会很高兴

---

谢谢。

您已经在CS stackexchange上找到了答案。您已经在CS stackexchange上找到了答案。