0.5
00
1 0.8
0.6 0.4 x 0.2
如果 m(G) m(Tl ,n )
则有 m(H ) m(G)
G与H有相同度序列,由定理4:G H
又由 m(G) m(Tl ,n ) ,且由定理3,有:
H Tl ,n 所以有: G Tl ,n
13
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
4部图
4
1
0.5 n 0
0.5
1 2 1.5 t1
0.5
00
1 0.8
0.6 0.4 x 0.2
定义2 如果在一个l 部图G中,任意部Vi中的每个顶点, 和G中其它各部中的每个顶点均邻接,称G为完全l 部 图。记作:
G Kn1,n2 , ,nl , (ni Vi ,1 i l)
例如:
显然:
00
1 0.8
0.6 0.4 x 0.2
几个有趣的相关结果:
设m (n, H)表示n阶单图中不含子图H的最多边数,则:
1, m(n,
K3 )
n2
4
2, m(n, Kl 1 )
(l
1)(n 2 2l
r2)
Cr2
其中,n r(modl), 0 r l
3,
m(n, Cn
)
1
(n
1)(n 2
由此可以推出: G= G1V G2 因为 G= G1V G2和H= G2V H1有相同度序列,于是 得到G1和H1有相同度序列,所以:
GH
定理5(Turán)若G是简单图,并且不包含 Kl+1,则:
m(G) m(Tl,n )
仅当 G Tl ,n 时,有 m(G) m(Tl ,n )