<图论><离散数学>计算机科学中的"图"

1.Graph的定义
  我们对图的定义是G=<V,E>。V是一群顶点的集合,E是一群边的集合,每条边连接V中的两个顶点,V不可以是空集,E可以是空集,V和E组成一个G,G就是一个图。
1<1>  directed graph和undirected graph有向图和无向图
  如果E中没有有向边,我们说G是一个无向图,否则G是一个有向图(当然无向图也可以视为有向图)。
1<2>  simple graph和multigraph
  如果在G中,每两个顶点间最多有一条边,或者说每两个顶点间都没有重复多余的边,那么我们说G是一个simple graph;如果G中存在multiple egdes则说G是一个multigraph。
2.path路径和loop回路
  在图G中,如果可以通过前后相连的一条或多条边从顶点A到顶点B那么我们说顶点A到顶点B存在一条path路径。如果在G中存在一个顶点A使得从A出发可以找到一条不重复的路径回到顶点A,那么我们说图G有loop回路。
3.其他的一些基本术语
3<1>  adjacent和incident

  如果图中两个顶点间存在一条边,那么就说这两个顶点是adjacent的。

如果顶点a是边e的一个端点,那么我们说顶点a和边e是incident的。

3<2>  N(v)和deg(v),deg+(v)和deg-(v),isolated和pendant

  v是图G中的一个顶点,v的所以邻居顶点组成的集合记作N(v)。v的边的数量记作deg(v)。如果是有向图,v的出边的数量记作deg+(v),v的入边的数量记作deg-(v)。如果deg(v)=0,我们说顶点v是isolated的,如果deg(v)=1,我们说顶点v是pendant的。

4.subgrpah子图
我们有图H=<W,F>和图G=<V,E>,如果W V并且F E,则说H是G的子图。
5.handshaking theorem握手定理
在图G=<V,E>中,用m来表示边的数量,即m=|E|。必有

5<1>  在无向图里,度数为偶的顶点的数量必为奇。
5<2>  deg-(v) = deg+(v)
6.一些特殊图,K,C,W,Q,K12。
7.图的几种表示方法
<1>直观表示,就是画出来
<2>Adjacency Matrix邻接矩阵表示

<3>Incidence Matrix表示

8.isomorphism图的同构
9.connectivity图的连通性

原文地址:https://www.cnblogs.com/dynmi/p/12149761.html

时间: 2024-11-07 22:42:08

<图论><离散数学>计算机科学中的"图"的相关文章

如何学习离散数学和在计算机科学中应用

引言 离散数学的定义及其在各学科领域的重要作用.离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支.它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程,如程序设计语言.数据结构.操作系统.编译技术.人工智能.数据库.算法设计与分析.理论计算机科学基础等必不可少的先行课程.通过离散数学的学习,不但可以掌握处理离散结构的描述工具和方法,为后续课程的学习创造条件,而且可以提高抽象思维和严

使用axes函数在matlab绘图中实现图中图的绘制

使用axes函数在matlab绘图中实现图中图的绘制 有时为了对细节进行详细说明,需要在一个较大坐标轴上绘制一个小图来对局部进行放大以阐述结果. 这可以通过调用axes函数实现. 下面通过绘制 y=1/(t-3) 的曲线举例说明该函数的使用方法. 程序如下: clc;clear;close all;                                                                                                    

MATLAB-octave中平面向量场图的可视化

quiver,平面向量场图 [x, y, z] = peaks(20); [u, v] = gradient(z); contour(x, y, z, 10); hold on, quiver(x,y,u,v); hold off axis image %令x与y的长度相等 在octave-3.6.4-gcc4.6.2中可运行后可得结果: MATLAB-octave中平面向量场图的可视化,布布扣,bubuko.com

staruml中时序图

转载于 http://blog.csdn.net/longyuhome/article/details/9011629 在看时序图的例子的时候,发现有些的时序图上有小人的图标,可是一些UML工具却没有找到小人的图标,这让我很闹心,一直没解决,今天终于将该问题给解决了.解决这个问题来自于网上的一个建议,那个建议说复制一个小人,可我以前做的复制的时候就没有成功,今天根据这个建议研究了一下,终于把小人(角色)给添加上了.现在分享给需要的人. 步骤如下所示: 1.首先建立一个空项目,如图所示: 2.然后

UML中的图

UML的结构分为三部分,基本构造块.公共机制.UML的规则,其中公共机制和UML的规则是为基本构造块服务的,描述了怎样将这几种图有规则的排列到一起.基本构造块又分为事物.关系.图,将事物用关系连接起来就是我们今天所说的UML中的图. 一.导图宏观把控 二.图解 1 .用例图(Use case diagrams):用来描述用户的需求.从用户的角度描述系统的功能并指出各个功能的执行者,强调谁在使用系统,系统为执行者完成哪些功能.(是谁?在干什么?)机房收费系统中一般用户可以查询学生上机记录和自己的登

Echarts中太阳图(Sunburst)的实例

目前在项目中要实现一个Echars中的太阳图,但是Echars中的太阳图的数据格式是一个树形结构,如下代码格式如下: var mapData = [ { name: '会员属性', itemStyle: { color: '#777' }, children: [ { name: '会员等级', itemStyle: { color: '#5191d4' }, children: [ { itemStyle: { color: '#777' }, children: [ { name: 'V0'

图论(二):图的四种最短路径算法

本文总结了图的几种最短路径算法的实现:深度或广度优先搜索算法,弗洛伊德算法,迪杰斯特拉算法,Bellman-Ford算法 1),深度或广度优先搜索算法(解决单源最短路径)从起始结点开始访问所有的深度遍历路径或广度优先路径,则到达终点结点的路径有多条,取其中路径权值最短的一条则为最短路径. 下面是核心代码: void dfs(int cur, int dst){ /***operation***/ /***operation***/ if(minPath < dst) return;//当前走过路

图论常用算法之一 POJ图论题集【转载】

POJ图论分类[转] 一个很不错的图论分类,非常感谢原版的作者!!!在这里分享给大家,爱好图论的ACMer不寂寞了... (很抱歉没有找到此题集整理的原创作者,感谢知情的朋友给个原创链接) POJ:http://poj.org/ 1062* 昂贵的聘礼 枚举等级限制+dijkstra 1087* A Plug for UNIX 2分匹配 1094 Sorting It All Out floyd 或 拓扑 1112* Team Them Up! 2分图染色+DP 1125 Stockbroker

图论讲解(1)——图基础

前面一直在哔哔数论,是不是感觉很烦的慌了?? ╮(╯▽╰)╭唉,你不烦得慌我都烦得慌了! 既然这样,那我们就改个话题,今天我们就讲讲图论. 有的同学就要问图又是个什么鬼? 难道是这个吗?                                          还是这个??? 哎呀,身为c++选手,我们肯定说的不是这些东西了对吧! 我们信息学上所说的图是指一个有序的二元组(V,E),V是顶点的集合,E是边的集合,E中的每一个元素都用一个二元组(x,y)来表示,其中x,y∈v. 这么说是不