《算法概论》8.19

问题描述

A kite is a graph on an even number of vertices, say 2n, in which n of the vertices form a clique and the remaining n vertices are connected in a “tail” that consists of a path joined to one of the vertices of the clique.
Given a graph and a goal g, the KITE problem asks for a subgraph which is a kite and which contains 2g nodes. Prove that KITE is NP-complete.

中文描述：
所谓风筝图，其顶点数为偶数(2n),且其中的n个顶点构成了一个团，剩余的n个顶点则由一条称为“尾巴”的路径连接，尾巴的某个端点与团中的一个顶点相连。给定一个图和目标g，风筝图问题要求该图的一个包含2g个顶点的风筝子图。请证明该问题是NP-完全的。

解答

团问题是指给定一个图以及顶点个数g，求出图中的g个顶点，使得这g个顶点两两相连。而团问题是NP-完全的。

将团问题归约到风筝问题。

令G(V,E)表示一个图，然后在G上的每个顶点增加由k个顶点组成的“尾巴”，这样就得到了一个新的图G’。

我们可以很容易发现，如果在G’中存在一个顶点个数为2k的风筝，那么G一定存在一个顶点数为k的团。因为在形成G’过程中不会产生新的团，所以G’和G有一个相同的团。

最大团问题可规约至风筝问题，所以该问题为NP-完全的。