13级离散数学(3-1图论)
- 格式:ppt
- 大小:1.41 MB
- 文档页数:33
离散数学图论(图、树)常考考点知识点总结图的定义和表示1.图:一个图是一个序偶<V , E >,记为G =< V ,E >,其中:① V ={V1,V2,V3,…, Vn}是有限非空集合,Vi 称为结点,V 称为节点集② E 是有限集合,称为边集,E中的每个元素都有V中的结点对与之对应,称之为边③与边对应的结点对既可以是无序的,也可以是有序的表示方法集合表示法,邻接矩阵法2.邻接矩阵:零图的邻接矩阵全零图中不与任何结点相邻接的结点称为孤立结点,两个端点相同的边称为环或者自回路3.零图:仅有孤立节点组成的图4.平凡图:仅含一个节点的零图无向图和有向图5.无向图:每条边都是无向边的图有向图:每条边都是有向边的图6.多重图:含有平行边的图(无向图中,两结点之间包括结点自身之间的几条边;有向图中同方向的边)7.线图:非多重图8.重数:平行边的条数9..简单图:无环的线图10.子图,真子图,导出子图,生成子图,补图子图:边和结点都是原图的子集,则称该图为原图的子图真子图(该图为原图的子图,但是不跟原图相等)11.生成子图:顶点集跟原图相等,边集是原图的子集12.导出子图:顶点集是原图的子集,边集是由顶点集在原图中构成的所有边构成的图完全图(任何两个节点之间都有边)13.完全图:完全图的邻接矩阵主对角线的元素全为0,其余元素都是114.补图:完全图简单图15.自补图:G与G的补图同构,则称自补图16.正则图:无向图G=<V,E>,如果每个顶点的度数都是k,则图G称作k-正则图17.结点的度数利用邻接矩阵求度数:18.握手定理:图中结点度数的总和等于边数的两倍推论:度数为奇数的结点个数为偶数有向图中,所有结点的入度=出度=边数19.图的度数序列:出度序列+入度序列20.图的同构:通俗来说就是两个图的顶点和边之间有双射关系,并且每条边对应的重数相同(也就是可任意挪动结点的位置,其他皆不变)21.图的连通性及判定条件可达性:对节点vi 和vj 之间存在通路,则称vi 和vj 之间是可达的22.无向图的连通性:图中每两个顶点之间都是互相可达的23..强连通图:有向图G 的任意两个顶点之间是相互可达的判定条件:G 中存在一条经过所有节点至少一次的回路24.单向连通图:有向图G 中任意两个顶点之间至少有一个节点到另一个节点之间是可达的判定条件:有向图G 中存在一条路经过所有节点25.弱连通图:有向图除去方向后的无向图是连通的判定条件:有向图邻接矩阵与转置矩阵的并是全一的矩阵26.点割:设无向图G=<V,E>为联通图,对任意的顶点w  V,若删除w及与w相关联的所有边后,无向图不再联通,则w称为割点;27.点割集:设无向图G=<V,E>为连通图,若存在点集 ,当删除 中所有顶点及与V1顶点相关联的所有边后,图G不再是联通的;而删除了V1的任何真子集 及与V2中顶点先关的所有边后,所得的子图仍是连通图,则称V1是G的一个点割集设无向图G=<V,E>为连通图,任意边e  E,若删除e后无向图不再联通,则称e 为割边,也成为桥28.边割集:欧拉图,哈密顿图,偶图(二分图),平面图29.欧拉通路(回路):图G 是连通图,并且存在一条经过所有边一次且仅一次的通路(回路)称为拉通路(回路)30.欧拉图:存在欧拉通路和回路的图31.半欧拉图:有通路但没有欧拉回路32.欧拉通路判定:图G 是连通的,并且有且仅有零个或者两个奇度数的节点欧拉回路判定:图G 是连通的,并且所有节点的度数均为偶数有向欧拉图判定:图G 是连通的,并且所有节点的出度等于入度33.哈顿密图:图G 中存在一条回路,经过所有点一次且仅一次34..偶图:图G 中的顶点集被分成两部分子集V1,V2,其中V1nV2= o ,V1UV2= V ,并且图G 中任意一条边的两个端点都是一个在V1中,一个在V2中35.平面图:如果把无向图G 中的点和边画在平面上,不存在任何两条边有不在端点处的交叉点,则称图G 是平面图,否则是非平面图36.图的分类树无向树和有向树无向树:连通而不含回路的无向图称为无向树生成树:图G 的某个生成子图是树有向树:一个有向图,略去所有有向边的方向所得到的无向图是一棵树最小生成树最小生成树:设G -< V . E 是连通赋权图,T 是G 的一个生成树,T 的每个树枝所赋权值之和称为T 的权,记为W ( T . G 中具有最小权的生成树称为G 的最小生成树最优树(哈夫曼树)设有一棵二元树,若对所有的树叶赋以权值w1,w2… wn ,则称之为赋权二元树,若权为wi 的叶的层数为L ( wi ),则称W ( T )= EWixL ( wi )为该赋权二元树的权,W )最小的二元树称为最优树。
离散数学中的图论基础知识讲解图论是离散数学中的一个重要分支,研究的是图的性质和图中的关系。
图论在计算机科学、网络科学、运筹学等领域有着广泛的应用。
本文将从图的基本概念、图的表示方法、图的遍历算法以及一些常见的图论问题等方面进行讲解。
一、图的基本概念图是由顶点和边组成的一种数学结构。
顶点表示图中的元素,边表示元素之间的关系。
图可以分为有向图和无向图两种类型。
1. 无向图:无向图中的边没有方向,表示的是两个顶点之间的无序关系。
如果两个顶点之间存在一条边,那么它们之间是相邻的。
无向图可以用一个集合V表示顶点的集合,用一个集合E表示边的集合。
2. 有向图:有向图中的边有方向,表示的是两个顶点之间的有序关系。
如果从顶点A到顶点B存在一条有向边,那么A指向B。
有向图可以用一个集合V表示顶点的集合,用一个集合E表示有向边的集合。
二、图的表示方法图可以用多种方式进行表示,常见的有邻接矩阵和邻接表两种方法。
1. 邻接矩阵:邻接矩阵是一个二维数组,其中的元素表示两个顶点之间是否存在边。
如果顶点i和顶点j之间存在边,那么矩阵的第i行第j列的元素为1;否则为0。
邻接矩阵适用于表示稠密图,但对于稀疏图来说,会造成空间浪费。
2. 邻接表:邻接表是一种链表的数据结构,用来表示图中的顶点和边。
每个顶点对应一个链表,链表中存储与该顶点相邻的顶点。
邻接表适用于表示稀疏图,节省了存储空间。
三、图的遍历算法图的遍历是指按照某一规则访问图中的所有顶点。
常见的图的遍历算法有深度优先搜索(DFS)和广度优先搜索(BFS)。
1. 深度优先搜索:深度优先搜索是一种递归的搜索算法。
从某个顶点出发,首先访问该顶点,然后递归地访问与它相邻的未访问过的顶点,直到所有的顶点都被访问过。
2. 广度优先搜索:广度优先搜索是一种迭代的搜索算法。
从某个顶点出发,首先访问该顶点,然后依次访问与它相邻的所有未访问过的顶点,再依次访问与这些顶点相邻的未访问过的顶点,直到所有的顶点都被访问过。
离散数学中的图论代表知识点介绍离散数学是数学的一个分支,它主要研究离散对象以及其离散性质和离散结构。
图论作为离散数学的重要组成部分,以图为研究对象,研究了图的基本概念、图的表示方法以及图的性质和应用。
本文将介绍离散数学中的图论代表知识点。
1. 图的基本概念图是由顶点集合和边集合组成的离散结构,用V表示顶点集合,E表示边集合。
图可以分为有向图和无向图两种类型。
有向图中的边是有方向的,而无向图中的边是无方向的。
图中的顶点可以表示为V={v1, v2, v3, ...},边可以表示为E={(vi, vj)}。
在图中,两个顶点之间有边相连时,称这两个顶点是相邻的。
2. 图的表示方法图可以用多种方式来表示。
常见的表示方法有邻接矩阵和邻接表。
邻接矩阵是一个二维数组,其中的元素表示两个顶点之间是否存在边。
邻接表则是通过链表的方式来表示图的结构,每个顶点都对应一个链表,链表中存储着与该顶点相邻的顶点。
3. 图的性质图论研究了图的许多性质和特性。
其中一些重要的性质包括连通性、路径、回路、度数、树和连通分量等。
连通性是指图中任意两个顶点之间是否存在路径。
如果图中任意两个顶点都存在路径相连,则图被称为连通图。
反之,如果存在无法通过路径相连的顶点对,则图为非连通图。
连通图中的任意两个顶点之间至少存在一条路径。
路径是指从一个顶点到另一个顶点的顶点序列。
路径的长度是指路径上边的数量。
最短路径是指两个顶点之间边的数量最少的路径。
回路是指路径起点和终点相同的路径。
如果回路中除起点和终点以外的顶点不重复出现,则称为简单回路。
度数是指图中顶点的边的数量。
对于有向图来说,度数分为入度和出度,分别表示指向该顶点的边和从该顶点指出的边的数量。
树是一种无回路的连通图,它具有n个顶点和n-1条边。
树是图论中一个重要的概念,它有广泛的应用。
连通分量是指图中的极大连通子图,即在该子图中的任意两个顶点都是连通的,且该子图不能再加入其他顶点使其连通。