图论第01讲
- 格式:ppt
- 大小:396.00 KB
- 文档页数:39
图和子图 图和简单图图 G = (V, E)V ---顶点集,ν---顶点数12ε E ---边集, ε---边数例。
左图中, V={a, b,......,f}, E={p,q, ae, af,......,ce, cf} 注意, 左图仅仅是图G 的几何实现(代表), 它们有无穷多个。
真正的 图G 是上面所给出式子,它与顶点的位置、边的形状等无关。
不过今后对两者将经常不加以区别。
称 边 ad 与顶点 a (及d) 相关联。
也称 顶点 b(及 f) 与边 bf 相关联。
称顶点a 与e 相邻。
称有公共端点的一些边彼此相邻,例如p 与af 。
环(loop ,selfloop ):如边 l 。
棱(link ):如边ae 。
重边:如边p 及边q 。
简单图:(simple graph )无环,无重边 平凡图:仅有一个顶点的图(可有多条环)。
一条边的端点:它的两个顶点。
记号:νε()(),()().G V G G E G ==。
习题1.1.1 若G 为简单图,则εν≤⎛⎝ ⎫⎭⎪2 。
1.1.2 n ( ≥ 4 )个人中,若每4人中一定有一人认识其他3人,则一定有一 人认识其他n-1人。
同构在下图中, 图G 恒等于图H , 记为 G = H ⇔ VG)=V(H), E(G)=E(H)。
图G 同构于图F ⇔ V(G)与V(F), E(G)与E(F)之间 各 存在一一对应关系,且这二对应关系保持关联关系。
记为 G ≅F。
注 往往将同构慨念引伸到非标号图中,以表达两个图在结构上是否相同。
de f G = (V , E )yz w cG =(V , E )w cyz H =(V ’, E ’)’a ’c ’y ’e ’z ’F =(V ’’, E ’’)注 判定两个图是否同构是NP-hard 问题。
完全图(complete graph) Kn空图(empty g.) ⇔ E = ∅ 。
V’ ( ⊆ V) 为独立集 ⇔ V’中任二顶点都互不相邻。
习题一1. 一个工厂为一结点;若两个工厂之间有业务联系,则此两点之间用边相联;这样就得到一个无向图。
若每点的度数为3,则总度数为27,与图的总度数总是偶数的性质矛盾。
若仅有四个点的度数为偶数,则其余五个点度数均为奇数,从而总度数为奇数,仍与图的总度数总是偶数的性质矛盾。
(或者利用度数为奇数的点的个数必须为偶数个)2.若存在孤立点,则m 不超过K n —1的边数, 故m 〈= (n-1)(n-2)/2, 与题设矛盾。
3.4。
用向量(a 1,a 2,a 3)表示三个量杯中水的量, 其中a i 为第i 杯中水的量, i = 1,2,3。
以满足a 1+a 2+a 3 = 8 (a 1,a 2,a 3为非负整数)的所有向量作为各结点, 如果(a 1,a 2,a 3)中某杯的水倒满另一杯得到 ( a ’1, a'2, a ’3 ) , 则由结点到结点画一条有向边。
这样可得一个有向图。
本题即为在此图中找一条由( 8, 0, 0 )到( 4, 4, 0 )的一条有向路,以下即是这样的一条:5. 可以。
6 若9个人中没有4个人相互认识,构造图G ,每个点代表一个点,两个人相互认识则对应的两个点之间有边。
1) 若可以找到点v,d (v)>5,则与v 相连的6个点中,要么有3个相互认识,要么有3个相互不认识(作K 6并给边涂色:红=认识,蓝=不认识,只要证图中必有同色三角形。
v 1有5条边,由抽屉原则必有三边同色(设为红),这三边的另一顶点设为v 2, v 3, v 4。
若 △v 2v 3v 4有一边为红,则与v 1构成红色△,若△v 2v 3v 4的三边无红色,则构成蓝色△)。
若有3个人相互认识,则这3个人与v 相互认识,这与假设没有4个人相互认识矛盾,所以这6个人中一定有3个人相互不认识∑∑∑∑∑∑∑==+====-=++=-==---=--=ni i n i i n i n i n i ni i i n i i n i i i i a a n n a a a n n n a n a v v 12 12 12112212 12 i i 2/)1(C )1(2)1(])1[(a a 。