离散数学 图论-图的基本概念

离散图论知识点总结一、基本概念图（Graph）是离散数学中的一个重要概念，它由顶点集合V和边集合E组成。

一般用G （V，E）来表示，其中V={v1,v2,…,vn}是有限非空集合，E是V中元素的无序对的集合。

图分为有向图和无向图。

无向图中的边是无序的，有向图中的边是有序的。

图中存在一些特殊的图，比如完全图、树、路径、回路等。

二、图的表示方法1. 邻接矩阵邻接矩阵是一种常见的图的表示方法，它使用一个二维数组来表示图的关系。

对于一个n 个顶点的图，邻接矩阵是一个n*n的矩阵A，其中A[i][j]表示顶点i到顶点j之间是否存在边。

对于无向图，A[i][j]=1表示顶点i与顶点j之间存在边，A[i][j]=0表示不存在。

对于有向图，A[i][j]=1表示i指向j的边存在，A[i][j]=0表示不存在。

2. 邻接表邻接表是另一种常见的图的表示方法。

它将图的信息储存在一个数组中，数组的每个元素与图的一个顶点相对应。

对于每个顶点vi，数组中储存与该顶点邻接的顶点的信息。

邻接表可以用链表或者数组来表示，链表表示的邻接表比较灵活，但是在查找某个边的相邻顶点时需要遍历整个链表。

三、图的性质1. 度图中每个顶点的度是与其相邻的边的数目。

对于无向图，顶点的度等于与其相邻的边的数目；对于有向图，则分为入度和出度。

2. 连通性对于无向图G，若图中任意两个顶点都有路径相连，则称图G是连通的。

对于有向图G，若从任意一个顶点vi到任意一个顶点vj都存在路径，则称G是强连通的。

3. 路径和回路路径是指图中一系列的边，连接图中的两个顶点；回路是指起点与终点相同的路径。

路径的长度是指路径中边的数目。

4. 树和森林一个无向图，如果是连通图且不存在回路，则称为树。

一个无向图，若它不是连通图，则称为森林。

四、图的常见算法1. 深度优先搜索（DFS）深度优先搜索是一种用于图的遍历的算法，它从图的某个顶点vi出发，访问它的所有邻接顶点，再对其中未访问的顶点继续深度优先搜索。

图论--图的基本概念1.图：1.1⽆向图的定义：⼀个⽆向图G是⼀个有序的⼆元组<V,E>，其中V是⼀个⾮空有穷集，称作顶点集，其元素称作顶点或结点。

E是⽆序积V&V的有穷多重⼦集，称作边集，其元素称作⽆向边，简称边。

注意：元素可以重复出现的集合称作多重集合。

某元素重复出现的次数称作该元素的重复度。

例如，在多重集合{a,a,b,b,b,c,d}中，a,b,c,d的重复度分别为2，3，1，1。

从多重集合的⾓度考虑，⽆元素重复出现的集合是各元素重复度均为1的多重集。

1.2有向图的定义：⼀个有向图G是⼀个有序的⼆元组<V,E>，其中V是⼀个⾮空有穷集，称作顶点集，其元素称作顶点或结点。

E是笛卡尔积V✖V的有穷多重⼦集，称作边集，其元素为有向边，简称为边。

通常⽤图形来表⽰⽆向图和有向图：⽤⼩圆圈（或实⼼点）表⽰顶点，⽤顶点之间的连线表⽰⽆向边，⽤带箭头的连线表⽰有向边。

与1.1，1.2有关的⼀些概念和定义：（1）⽆向图和有向图统称为图，但有时也把⽆向图简称作图。

通常⽤G表⽰⽆向图，D表⽰有向图，有时也⽤G泛指图（⽆向的或有向的）。

⽤V(G),E(G)分别表⽰G的顶点集和边集，|V(G)|,|E(G)|分别是G的顶点数和边数，有向图也有类似的符号。

（2）顶点数称作图的阶，n个顶点的图称作n阶图。

（3）⼀条边也没有的图称作零图，n阶零图记作N n。

1阶零图N1称作平凡图。

平凡图只有⼀个顶点，没有边。

（4）在图的定义中规定顶点集V为⾮空集，但在图的运算中可能产⽣顶点集为空集的运算结果，为此规定顶点集为空集的图为空图，并将空图记作Ø。

（5）当⽤图形表⽰图时，如果给每⼀个顶点和每⼀条边指定⼀个符号（字母或数字，当然字母还可以带下标），则称这样的图为标定图，否则称作⾮标定图。

（6）将有向图的各条有向边改成⽆向边后所得到的⽆向图称作这个有向图的基图。

（7）若两个顶点v i与v j之间有⼀条边连接，则称这两个顶点相邻。

离散数学图论（图、树）常考考点知识点总结图的定义和表示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条边。

树是图论中一个重要的概念，它有广泛的应用。

连通分量是指图中的极大连通子图，即在该子图中的任意两个顶点都是连通的，且该子图不能再加入其他顶点使其连通。

离散数学图论基本概念解释离散数学是一个研究离散对象及其关系和操作的数学分支，而图论则是离散数学的一个重要分支，用于研究图结构以及图中各种相关问题。

本文将对离散数学图论的基本概念进行解释。

一、图的定义图是指由一组顶点和连接这些顶点的边组成的数学结构。

图可以用G=(V, E)来表示，其中V表示顶点集合，E表示边的集合。

顶点之间的连接关系用边来表示，边有可能是有向的或无向的。

二、图的分类1. 无向图：图中的边没有方向，表示顶点之间的无序关系。

无向图可以是简单图（没有自环和重复边）或多重图（包含自环和多条重复边）。

2. 有向图：图中的边有方向，表示顶点之间的有序关系。

有向图也可以是简单图或多重图。

3. 加权图：顶点之间的边带有权重，用于表示边的强度或成本。

加权图可以是无向图或有向图。

三、图的常用术语1. 顶点的度：无向图中与某个顶点连接的边的数量称为该顶点的度。

在有向图中，顶点的度分为出度和入度，分别表示从该顶点出发的边的数量和指向该顶点的边的数量。

2. 路径：在图中，路径是指由一系列顶点和它们之间所连接的边组成的序列。

路径的长度是指路径中经过的边的数目。

3. 连通图：如果图中的任意两个顶点都存在一条路径相连，则称该图为连通图。

如果图非连通，则称为非连通图。

4. 完全图：如果一个无向图的任意两个顶点之间都有边相连，则称该图为完全图。

完全图有边n(n-1)/2条，其中n表示顶点的数量。

四、图的表示方法1. 邻接矩阵：邻接矩阵是一种以二维矩阵的形式来表示图的方法。

矩阵的行和列分别表示顶点，矩阵中的元素表示相应的边。

如果两个顶点之间存在边，就用1表示；否则，用0表示。

2. 邻接表：邻接表是一种以链表的形式来表示图的方法。

每个顶点都对应一个链表，链表中存储与该顶点相连的其他顶点。

五、图的遍历算法1. 深度优先搜索（DFS）：DFS是一种用于遍历图的算法，它从一个初始顶点开始，沿着一条路径一直走到底，然后回溯到上一个顶点，再继续沿另一条路径走到底。