2任兴龙--图的基本算法.docx

图的基本算法

定义1一个有序二元组(V,E)称为一个图,记为G=(V,E),其中

①V称为G的顶点集,V≠?,其元素称为顶点或结点,简称点;

②E称为G的边集,其元素称为边,它联结V中的两个点,如果这两个点是无序的,则称该边为无向边,否则,称为有向边.

对于一个图G=(V,E),人们常用图形来表示它,称其为图解.凡是有向边,在图解上都用箭头标明其方向.

1、图的存储：

邻接矩阵

关联矩阵

赋权矩阵

边目录法

二数组法

后继表法

?0 1

?

0 1? ?0

? ?

6 ? 8?

?

例： 邻接矩阵A??0

?1

0 1 0?，权矩阵B??? 0

0 0 1? ?3 ?

7 ??

0 2?

关联矩阵C?

?1

?

??1

?0

?

0?

0

?

? ? ? ?

10 4001? 5? ?

1

0 4

0

0

1

? 5

? ? ? ?

00

0

0

?1

?1

0

1

1

0

0

0

0

0

?1

1

0

1

?1

0

0

?1

1

0

1

?

?

?

?

?

1?

1

?

2、图的遍历

广度优先搜索：

每次访问当前顶点（队列头）的所有后继（进队列），当前顶点出队列，循环。“由近及远，齐向远方”

广义搜索的框架图如下：

选取v

选取v

所有l(v)=1

结束

l(v)=0

令l(v)=1,入队

判断队列

非空队头顶点u出队列

l?w??1,????u?

或??u???

l?w??0,????u?

l?w??1,p?w??u,w入队

深度优先搜索：

访问当前顶点的某个后继（进栈），再访问后继的某个子顶点。。。。若没有，返回（当前顶点出栈）上一层访问其它的后继。“直往前行，碰壁回头”

深度优先搜索的框架图如下：

所有

所有l(v)=1

V没有父顶点

选取v

结束

l(v)=0

令l(v)=1,入队

判断

lw?1,

??

?

??u

??

退

或??u???

判断

p?v??u,v?u

l?w??0,????u?

l?w??1,p?w??u,w入队

进

p?w??v,令v?w

广度--进队列与出队列的顺序： 深度—进栈与出栈的顺序：

1

1

2

4

5

1

2

3

1

2

4

2

3

4

5

1

2

3

4

5

6

7

1

3

6

8

7

10

4

5

6

7

1

3

6

8

7

6

7

8

1

3

6

8

8

9

10

1

3

6

9

10

1

3

1

时间复杂度：O（n（n-1）。

3、连通支判断逻辑加：

逻辑乘：

连通的顶点与支数判断

示例：

可达矩阵与强连通性

时间复杂度为O(n2（n-1）)。例3.2.1 求有向图的强连通支。

4、搜索有向圈

运行框示意图如下：

X

X=0

（初始：P=(0,0...,0),k=1,p=1）

1

i=p+1

1

i?n

判断1

i?n

判断2

H(p,i)?0,无边

H(p,i)?1,有边

判断3

i在p中

i不在p中

判断4

Xp,i?1,禁止

k

? ?

i=i+1

Xp,i?0,没有禁止

k

k=k+1，p=i

k

? ?

判断6

k?1

H(p,p)?1

输出[p…p]圈

1 k

p?n

k?1

X?p,j??0,j?1

Xp ,p ?1

k?1 k

p?0,k?k?1

k

n

?

k

判断5

H(p,p)?0

?

p?p?1,p?p

p?n

终止

1 1 k 1

p?n

,l,2,31,6111l111111。。

,l,2,31,6

1

1

1

l1

1

1

1

1

1

。。

2。。。

。

。

记录圈和九

2

2

2

2

2

2

4

4

4

。。

。。

3。圈[1.2.4.3]，令压＝i

4 5

。令

。。。

4。

环 ＝1

-0

令丸＝工?t

- Xs = 互4==叩＝0．工” = 1

2

2。。。

5。。令压＝1

l

。。。。

,1” “ ？叫“2 0。。。记录圈和丸222

,1” “ ？叫“

2 0

。。

。

记录圈和丸

2

2

2

2

4

4

4

4

。。。

。。。

3。。圈[2.

.3]｀令知＝1

2

2

4

0

。。。

5。。圈(24枷SJ．令如＝1

令工4l＝环＝环＝环