证明在无三角形且最大度数为d的图中，随机染色下每个顶点的平均可用颜色数至少为d/3

给定图$G$，我们称$\sigma$是它的一个合法$q$-染色，如果$\sigma$赋给每个点$q$个颜色中的一个，并且没有任何一条边的两个端点是同色的。给定一个染色$\sigma$和一个顶点$v\in V$，令$L_{\sigma }(v)$为点$v$处可用的颜色的集合，即在染色$\sigma$下没有出现在$v$的邻居的颜色集合。
证明存在一个正整数$d_0\ge 1$使得对任意整数$d\ge d_0$，以下命题成立：对任意的没有三角形且最大度数为$d$的图$G=(V,E)$，以及它的任意一个顶点$v\in V$,
$${\mathbb{E}}_{\sigma }[|L_G(v)|]\ge d/3,$$
这里$\sigma$是一个符合均匀分布的随机合法$d$-染色。
证：

我们希望证明在无三角形的图$G$中，任意顶点$v$的邻居集合$N(v)$的颜色数量$|L_{\sigma }(v)|$的期望值与顶点的度数$d$之间的关系。

1. 定义和设定

设$d=\mathrm{deg}(v)$，表示顶点$v$