数学 图论与组合

1.1

确定 Petersen 图的独立数 (independent number, 最大独立集的大小)、团数 (clique number, 最大团的大小) 和染色数。

本页目录5 节

1.1 #

1 #

写出 Km,nK_{m,n} 的邻接矩阵.

答案

设其邻接矩阵 A⊂{0,1}(n+m)×(n+m)A\subset\{0,1\}^{(n+m)\times (n+m)}

ai,j=1a_{i,j}=1 当且仅当满足下列两个条件之一:

  • i⩽ni\leqslant n 且 j>nj>n.
  • i>ni>n 且 j⩽nj\leqslant n.

其余情况 ai,j=0a_{i,j}=0.

2 #

确定 Petersen 图的独立数 (independent number, 最大独立集的大小)、团数 (clique number, 最大团的大小) 和染色数.

答案

独立数: 4.

首先存在一种方案 {12,13,14,15}\{12,13,14,15\} 是一个大小为 4 的独立集.

其次, 假设存在大小为 5 的独立集, 类似任两个不相邻的顶点恰有唯一一个公共邻居可以推出当两组不相邻顶点不完全一致时, 其对应的公共邻居也不一样.

所以对于这个大小为 5 的独立集, 任选两个顶点就会对应一个邻居, 且这些邻居都是不同的, 所以一共会有 (52)\binom{5}{2} 个邻居, 这样总共就有 5+10=15 个点超出总共 10 个点, 矛盾.

所以最大的独立数是 4.

团数: 2.

首先存在一种方案 {12,34}\{12, 34\} 是一个大小为 2 的团.

其次由于围长是 5, 故不存在 3-cycle, 所以不存在大小为 3 的团, 进而不存在更大的团.

所以最大的团数是 2.

染色数 3:

首先存在一种方案 {12,13,14,15},{23,24,25},{34,35,45}\{12,13,14,15\},\{23,24,25\},\{34,35,45\} 可以划分为三个独立集, 故染色数不超过 3.

其次, 由于存在长的为 5 的奇环, 所以不可能是二部图, 即染色数不可能是 2.

所以染色数是 3.

3 #

(n,k)-Kneser graph: 令 n⩾2kn\geqslant 2k, 以 {1,2,…,n}\{1,2,\ldots,n\} 的所有 kk 元子集为顶点, 两点之间连边当且仅当相应的集合不相交.

  • 计算 (n,k)-Kneser 图的顶点数目和边的数目.
  • 分析 (n,k)-Kneser 图的团数.
  • 说明 (n,k)-Kneser 图的独立数大于等于 (n−1k−1)\binom{n-1}{k-1}.
  • 证明 (n,k)-Kneser 图的染色数不超过 n−2k+2n-2k+2.
答案
  • 顶点数目: (nk)\binom{n}{k}, 边的数目: 12(nk)(n−kk)\frac 1 2 \binom{n}{k}\binom{n-k}{k}.

顶点数目显然, 边的数目利用对称性, 计算每个顶点的度数再除以 2.

  • 团数: ⌊nk⌋\left\lfloor\dfrac{n}{k}\right\rfloor.

首先存在构造 {12⋯k,k+1 k+2⋯2k,…}\{12\cdots k, k+1\ k+2 \cdots 2k,\ldots\} 是一个大小为 ⌊nk⌋\left\lfloor\dfrac{n}{k}\right\rfloor 的团.

其次假设存在更大的团, 不妨设大小为 ⌊nk⌋+1\left\lfloor\dfrac n k \right\rfloor+1, 由于任意两个顶点交集为空, 所以一共需要元素数量为 k(⌊nk⌋+1)>nk\left(\left\lfloor\dfrac n k \right\rfloor+1\right)>n 故不存在.

  • 独立数:

存在构造, 我们将所有包含 11 的顶点取出, 共有 (n−1k−1)\binom{n-1}{k-1} 个顶点, 这些顶点构成一个独立集, 所以独立数大于等于 (n−1k−1)\binom{n-1}{k-1}.

  • 染色数:

存在构造, 记 c(v)c(v) 表示顶点 vv 的颜色, min⁡v\min v 表示 vv 中最小的数, 那么当 min⁡v⩽n−2k+1\min v\leqslant n-2k+1 时我们取c(v)=min⁡vc(v)=\min v, 其余情况我们取 c(v)=n−2k+2c(v)=n-2k+2.

验证合法性,

首先对于颜色 c∈[1,n−2k+1]c\in[1,n-2k+1], 其中的顶点一定包含数 cc, 从而两两之间无边, 每个颜色都形成一个独立集.

而对于颜色 c=n−2k+2c=n-2k+2, 其中的顶点由 2k−12k-1 个数中选取 kk 个数构成, 根据抽屉原理, 任意两个顶点至少存在 ⌊k+k2k−1⌋=1\left\lfloor \frac {k+k}{2k-1}\right\rfloor=1 个相同的数, 所以任意两个点之间没有边, 形成独立集.

综上该构造是符合染色要求的, 所以染色数不超过 n−2k+2n-2k+2.

4 #

列出所有 5 个顶点 4 条边的无标号图.

答案

图

讨论

评论

正在加载评论…

输入关键词开始搜索。