图论的一些简单命题的证明

Proposition 1
如果$G$是简单图,那么:
$$ϵ(G)⩽\{\begin{array}{ll}v(v-1)& ,\text{if }v\text{ is directed}.\\ \frac{1}{2}v(v-1)& ,\text{if }v\text{ is undirected}.\end{array}$$
证明:由度数等式且:
$$2ϵ(G)⩽\{\begin{array}{ll}\sum _{x\in V}(d_G^{+}(x)+d_G^{-}(x))& ,\text{if }v\text{ is directed}.\\ \sum _{x\in V}{d}_G(x)& ,\text{if }v\text{ is undirected}.\end{array}$$
令$\forall x\in V,d_G^{+}(x)=d_G^{-}(x)=v-1\text{ or }{d}_G(x)=v-1$即可.

Proposition 2

记号${\mathcal{D}}_v$和${\mathcal{G}}_v$分别表示简单有向图和简单无向图中所有不同$v$阶图(所有顶点有不同标号)的数量,那么:

(a)${\mathcal{D}}_v=2^{v(v-1)}$;

(b)${\mathcal{G}}_v=2^{v(v-1)/2}$.

证明:根据命题,每一个度是否计入对应同构图中唯一一条边的有无,因此命题成立.

Proposition 3
证明一个简单无向图$G$有$2^{ϵ}$种不同的定向图 .
证明:每一个无向边有$u\to v$和​$v\to u$两种不同的方向的取法,所以命题成立.
Proposition 4
如果​$G\cong H$,那么:
$$v(G)=v(H)\wedge ϵ(G)=ϵ(H)$$
证明:
因为$f$是$V_G,V_H$之间的双射,所以$v(G)=v(H)$.因为$f$诱导出一个$E_G$和$E_H$间的双射,所以$ϵ(G)=ϵ(H)$.

Proposition 5
$$ϵ(G)⩽\{\begin{array}{ll}\frac{1}{4}{v}^2& ,\text{if }v\text{ is even}.\\ \frac{1}{4}(v^2-1)& ,\text{if }v\text{ is odd}.\end{array}$$
证明:
设二分图有二分集 { x 1 , x 2 , … , x m } , { y 1 , y 2 , … , y n } \{x_1,x_2,\dots,x_m\},\{y_1,y_2,\dots,y_n\} { x1​,x2​,…,xm​},{ y1​,y2​,…,yn​}那么$d_G(x_1)=d_G(x_2)=\cdots =d_G(x_m)=n,d_G(y_1)=d_G(y_2)=\cdots =d_G(y_n)=m$,所以$ϵ(K_{m,n})=\frac{1}{2}\sum _{x\in G}{d}_G(x)=\frac{1}{2}(mn+nm)=mn$.
根据均值不等式:
$$ϵ(G)⩽(\frac{m+n}{2}{)}^2=\frac{1}{4}{v}^2$$
若$v$是偶数,该不等式严格成立,若$v$是奇数,则显然不等式不严格成立.
所以:
$$ϵ(G)⩽\lfloor \frac{1}{4}(v^2-1)+\frac{1}{4}\rfloor =\frac{1}{4}(v^2-1)$$
Proposition 6
设$H(n,k,i)$和$J(n,k,i)$分别如定义所示 .那么:
$$H(n,k,2k-2i)\cong J(n,k,i)$$
证明:
因为 ∀ x y ∈ E H ( n , k , 2 k − 2 i ) \forall xy\in E_{H(n,k,2k-2i)} ∀xy∈E