NPC 证明（二）

往期文章：

1. NPC简介

2. NP-hard问题证明

3. NPC 证明（一）

本文在前文的基础上进一步罗列了几个NPC问题的归约。大部分例子来自CSCI5320的课程材料或者作业题。

例子

1. Odd cycle transversal(OCT)问题¹

原问题：给定一个图，是否能移除不超过$k$个点，使得原图成为一个二分图。
转化：Yannakakis²证明了一个图是二分图当且仅当图中没有奇回路(奇回路指的是拥有奇数个点的回路)，并且在文中证明了该问题是FPT(Fixed-parameter Tractable)的。
本质问题：给定一个图，是否能移除不超过$k$个点，使得原图没有奇回路。
NPC证明：我们从支配集问题进行归约。假设OCT问题是多项式可解，那么给定一个图$G$，我们要找到一个支配集合，可以对于每一条边$e=(u,v)$，我们增加一个点$v_e$，同时增加两条边$(v_e,u)$