图的定义与术语

 

style="WIDTH: 89.81%; HEIGHT: 64px" src="http://pagead2.googlesyndication.com/pagead/ads?client=ca-pub-4577827332549849&dt=1192819750500&lmt=1192819750&prev_fmts=468x60_as&format=468x15_0ads_al_s&output=html&correlator=1192819750437&channel=1741427766&pv_ch=1741427766%2B&url=http%3A%2F%2Fyzkzoo.5d6d.com%2Fthread-68-1-1.html&color_bg=FFFFFF&color_text=000000&color_link=0000FF&color_url=008000&color_border=336699&ref=http%3A%2F%2Fyzkzoo.5d6d.com%2Fforum-16-1.html&cc=100&ga_vid=1025434795.1192631677&ga_sid=1192817968&ga_hid=1871659779&ga_fc=true&flash=8&u_h=768&u_w=1024&u_ah=738&u_aw=1024&u_cd=32&u_tz=480&u_his=2&u_java=true">

style="WIDTH: 44.33%; HEIGHT: 259px" src="http://pagead2.googlesyndication.com/cpa/ads?client=ca-pub-4577827332549849&cpa_choice=CAEaCB94-nvUZWENUB9QugJQtwRQTVAgULcCUB4&oe=gb2312&dt=1192720966468&lmt=1192720966&format=250x250_as&output=html&correlator=1192720966453&channel=2735220158&url=http%3A%2F%2Fyzkzoo.5d6d.com%2Fthread-67-1-1.html&color_bg=FFFFFF&color_text=000000&color_link=0000FF&color_url=008000&color_border=336699&ad_type=text_image&region=_google_cpa_region_&ref=http%3A%2F%2Fyzkzoo.5d6d.com%2Fforum-16-1.html&cc=100&ga_vid=1025434795.1192631677&ga_sid=1192720940&ga_hid=1155529757&ga_fc=true&flash=8&u_h=768&u_w=1024&u_ah=738&u_aw=1024&u_cd=32&u_tz=480&u_his=2&u_java=true">一、图的定义

图是一种数据元素间为多对多关系的数据结构，加上一组基本操作构成的抽象数据类型。

 

ADT Graph{

数据对象V ：V是具有相同特性的数据元素的集合，称为顶点集。

数据关系R：

R={VR}

VR={<v,w>|v,w(-V且P(v,w),<v,w>表示从v到w的弧，谓词P(v,w)定义了弧<v,w>的意义或信息}

基本操作P：

CreateGraph(&G,V,VR);

初始条件：V是图的顶点集，VR是图中弧的集合。

操作结果：按V和VR的定义构造图G

DestroyGraph(&G);

初始条件：图G存在

操作结果：销毁图G

LocateVex(G,u);

初始条件：图G存在，u一G中顶点有相同特征

操作结果：若G中存在顶点u, 则返回该顶点在图中位置；否则返回其它信息。

GetVex(G,v);

初始条件：图G存在，v是G中某个顶点

操作结果：返回v的值。

PutVex(&G,v,value);

初始条件：图G存在，v是G中某个顶点

操作结果：对v赋值value

FirstAdjVex(G,v);

初始条件：图G存在，v是G中某个顶点

操作结果：返回v的第一个邻接顶点。若顶点在G中没有邻接顶点，则返回“空”

NextAdjVex(G,v,w);

初始条件：图G存在,v是G中某个顶点,w是v的邻接顶点。

操作结果：返回v的（相对于w的）下一个邻接顶点。若w是v的最后一个邻接点，则返回“空”

InsertVex(&G,v);

初始条件：图G存在，v和图中顶点有相同特征

操作结果：在图G中增添新顶点v

DeleteVex(&G,v);

初始条件：图G存在，v是G中某个顶点

操作结果：删除G中顶点v及其相关的弧

InsertAcr(&G,v,w);

初始条件：图G存在，v和w是G中两个顶点

操作结果：在G中增添弧<v,w>,若G是无向的，则还增添对称弧<w,v>

DeleteArc(&G,v,w);

初始条件：图G存在，v和w是G中两个顶点

操作结果：在G中删除弧<v,w>,若G是无向的，则还删除对称弧<w,v>

DFSTraverser(G,v,Visit());

初始条件：图G存在，v是G中某个顶点，Visit是顶点的应用函数

操作结果：从顶点v起深度优先遍历图G，并对每个顶点调用函数Visit一次。一旦Visit()失败，则操作失败。

BFSTRaverse(G,v,Visit());

初始条件：图G存在，v是G中某个顶点，Visit是顶点的应用函数

操作结果：从顶点v起广度优先遍历图G，并对每个顶点调用函数Visit一次。一旦Visit()失败，则操作失败。

}ADT Graph

二、图的常用术语

 

对上图有：G1=(V1,{A1})

其中：V1={v1,v2,v3,v4} A1={<v1,v2>,<v1,v3>,<v3,v4>,<v4,v1>}

如果用n表示图中顶点数目，用e表示边或弧的数目，则有：

对于无向图，e的取值范围是0到n(n-1)/2,有n(n-1)/2条边的无向图称为完全图。

对于有向图，e有取值范围是0到n(n-1)。具有n(n-1)条弧的有向图称为有向完全图。

有很少条边或弧的图称为稀疏图，反之称为稠密图。

 

 

v1与v2互为邻接点
e1依附于顶点v1和v2
v1和v2相关联
v1的度为3

对有向图，如果每一对顶点之间都有通路，则称该图为强连通图。

 

三、总结

图的特征

有向图与无向图的主要区别

style="WIDTH: 52.39%; HEIGHT: 263px" src="http://pagead2.googlesyndication.com/cpa/ads?client=ca-pub-4577827332549849&cpa_choice=CAEaCKcC4yuPlq5lUDRQDVAtUK4BUENQCA&oe=gb2312&dt=1192819388296&lmt=1192819388&format=300x250_as&output=html&correlator=1192819388281&channel=2735220158&url=http%3A%2F%2Fyzkzoo.5d6d.com%2Fviewthread.php%3Ftid%3D70%26page%3D1%26extra%3Dpage%253D1&color_bg=FFFFFF&color_text=000000&color_link=0000FF&color_url=008000&color_border=336699&ad_type=text_image&region=_google_cpa_region_&ref=http%3A%2F%2Fyzkzoo.5d6d.com%2Fpost.php%3Faction%3Dedit%26fid%3D16%26tid%3D70%26pid%3D70%26page%3D1%26extra%3Dpage%253D1&cc=100&ga_vid=1025434795.1192631677&ga_sid=1192817968&ga_hid=1527165455&ga_fc=true&flash=8&u_h=768&u_w=1024&u_ah=738&u_aw=1024&u_cd=32&u_tz=480&u_his=5&u_java=true">

style="WIDTH: 82.23%; HEIGHT: 74px" src="http://pagead2.googlesyndication.com/pagead/ads?client=ca-pub-4577827332549849&dt=1192818497343&lmt=1192818497&format=468x60_as&output=html&correlator=1192818497343&channel=1741427766&url=http%3A%2F%2Fyzkzoo.5d6d.com%2Fthread-68-1-1.html&color_bg=FFFFFF&color_text=000000&color_link=0000FF&color_url=008000&color_border=336699&ad_type=text_image&ref=http%3A%2F%2Fyzkzoo.5d6d.com%2Fforumdisplay.php%3Ffid%3D16%26page%3D1&ui=rc%3A6&cc=100&ga_vid=1025434795.1192631677&ga_sid=1192817968&ga_hid=1000484876&ga_fc=true&flash=8&u_h=768&u_w=1024&u_ah=738&u_aw=1024&u_cd=32&u_tz=480&u_his=6&u_java=true">

style="WIDTH: 58.41%; HEIGHT: 156px" src="http://pagead2.googlesyndication.com/pagead/ads?client=ca-pub-4577827332549849&dt=1192819750656&lmt=1192819750&prev_fmts=468x60_as%2C468x15_0ads_al_s%2C234x60_as&format=200x90_0ads_al_s&output=html&correlator=1192819750437&channel=1741427766&pv_ch=1741427766%2B&url=http%3A%2F%2Fyzkzoo.5d6d.com%2Fthread-68-1-1.html&color_bg=FFFFFF&color_text=000000&color_link=0000FF&color_url=008000&color_border=336699&ref=http%3A%2F%2Fyzkzoo.5d6d.com%2Fforum-16-1.html&cc=100&ga_vid=1025434795.1192631677&ga_sid=1192817968&ga_hid=1871659779&ga_fc=true&flash=8&u_h=768&u_w=1024&u_ah=738&u_aw=1024&u_cd=32&u_tz=480&u_his=2&u_java=true">