最大团的一种剪枝证明

针对这里面的第三种剪枝操作的证明

假设无向图中顶点标号是0 ~ n - 1。
依次求出[n - 1, n - 1], [n - 2, n - 1][n - 3, n - 1], … , [0, n - 1]区间内的最大团siz。
分别记为$si{z}_{n-1},si{z}_{n-2},si{z}_{n-3},...,si{z}_0$。

要证明：$si{z}_{i-1}-si{z}_i\le 1$。
分两种情况：
第一种：$si{z}_{i-1}-si{z}_i=0$ 或者 $si{z}_{i-1}-si{z}_i=1$。
第二种：$si{z}_{i-1}-si{z}_i\ge 2$。

第一种情况是很显然会存在的，不做证明。
下面仅证明情况二不会发生：
用反证法：
假设$si{z}_{i-1}-si{z}_i=k,k\ge 2$
也就是说加入标号为$i-1$的顶点后，最大团由 $si{z}_i$ 变成了 $si{z}_i+k$。
显然，新的最大团肯定包含标号$i-1$ 的顶点(否则, 最大团不会变大)。
有这样一个事实：删除最大团中的任何一个顶点，最大团size减少1。
那么将 $si{z}_i+k$ 这个新的最大团中标号为$i-1$的顶点删除，最大团的size变为了$si{z}_i+k-1$。
$si{z}_i+k-1$这个团不含$i-1$这个顶点，仅由标号在[i, n - 1]的顶点组成。
那么$si{z}_i+k-1$应该小于等于[i, n - 1]中最大团size，
即$si{z}_i+k-1\le si{z}_i$，
即$k\le 1$，
这与假设相矛盾。
所以k不能大于或等于2。

所以一旦dfs能够更新ans($si{z}_{i-1}=si{z}_i+1$), 就不用继续dfs了。