有p-2团无p-1团的图添加一条边必无p团的证明

设添加一条边 $e$ 前的图为 $G$ ,添加后的图为 $G^{\prime }$ , $e$ 的两个端点分别为 $v^{\prime }1,v^{\prime }2$

若 $G$ 有$p-2$团但无$p-1$团,那么添加一条边后要么 $G^{\prime }$ 仍然无$p-1$团,要么 $G^{\prime }$ 出现若干个$p-1$团

也就是说，对 $G$ 中任意$p-1$个顶点$V=v1,v2---,vp-1$,要么 $G^{\prime }$ 中 $v1,v2---,vp-1$ 不构成$p-1$团

要么 $G^{\prime }$ 中$v1,v2---,vp-1$ 构成$p-1$团,且 $v^{\prime }1,v^{\prime }2\in V$ , $G$中的 $V-v^{\prime }1,V-v^{\prime }2$ 构成$p-2$团(注意 G 中$v1,v2---,vp-1$ 不构成$p-1$团)

现考虑 $G^{\prime }$ 中任意$p$个顶点 $V^{\prime }=v1,v2---,vp-1,vp$,

考虑顶点集 $V^{\prime \prime }=v1,v2---,vp-1$,

根据先前的说明,若 $G^{\prime }$ 中 $v1,v2---,vp-1$ 不构成$p-1$团,相应的 $v1,v2---,vp-1,vp$ 不构成$p$团

若 $G^{\prime }$ 中 $v1,v2---,vp-1$ 构成$p-1$团,则可断言 $vp$ 不可能和 $V^{\prime \prime }$ 中所有顶点相连，若不然由于

$G$中的 $V^{\prime \prime }-v^{\prime }1$ (或 $V^{\prime \prime }-v^{\prime }2$ )构成$p-2$团,而 $vp$ 和$V^{\prime \prime }-v^{\prime }1$ (或 $V^{\prime \prime }-v^{\prime }2$ )中所有顶点相连，故 G 中的

$(V^{\prime \prime }-v^{\prime }1)\cup vp$ (或 $(V^{\prime \prime }-v^{\prime }2)\cup vp$ )构成$p-1$团,这和 G 中无$p-1$团矛盾，从而 $G^{\prime }$中 顶点$vp$ 必然和 $V^{\prime \prime }$ 中某一个顶点不相连,故$G^{\prime }$中$v1,v2---,vp-1,vp$ 不是$p$团，这就证明了 $G^{\prime }$ 中任意$p$个顶点不构成$p$团，从而完成证明

下面证明一个推论

若图 $G$ 是边数最大的无$p$团图,则 $G$ 必有$p-1$团

证明:事实上,若 $G$ 中至多只有 $p^{\prime }$ 团( $1<=p^{\prime }<=p-2$ )

根据上面证得的结论,在 $G$ 中添加任意一条边得到图 $G^{\prime }$ ,则 $G^{\prime }$ 中必无 $p^{\prime }+2$ 团

其中 $p^{\prime }+2<=p$ ,从而 $G^{\prime }$ 中必无$p$团,但 $G^{\prime }$ 的边数比 $G$多一，矛盾，证毕

类似的我们有

引理:有$p-2$独立集但无$p-1$独立集的图删除任意一条边必无$p$独立集

定理:若图 $G$ 是边数最小的无$p$独立集图,则 $G$ 必有$p-1$独立集