0037 算法笔记 - 分支限界法 - 最大团问题 0037 算法笔记 - 分支限界法 - 最大团问题

** 问题描述**

给定无向图G = (V, E)，其中V是非空集合称为顶点集；E是V中元素构成的无序二元组集合称为边集。若对于任意u \in V满足\forall u, v \in U, 均有(u, v) \in E成立，则称该集合U为图G的一个 子完全图（全连接图为指任一顶点间均有边相连） 。一个子完全图若不含于任何更大的子完全图内，则被称为 独立子完全图（独立全连接图） 。而 最大团（Maximum Clique） 则指的是包含顶点数量最多的独立子完全图。

如果U\in V且对于任意u,v\in U有(u,v)\notin E成立，则称U为图G的一个_空顶点集_。图G中的一个空顶点集U被称为其独立集仅当不存在另一个更大的独立集能够包含它。而图G的最大独立集则指的是在其所有可能的独立集中拥有的最多顶点数的那个。

给定任意一个无向图G = (V, E)及其补图G' = (V', E')中（其中V'= V），任意一对顶点(u, v)属于E'的前提条件是(u, v)也存在于E中

如图所示，在无向图G={V, E}中（其中V={1,2,3,4,5}），边集合E={(1,2), (1,4), (1,5),(2,3), (2,5), (3,