计算机算法基础 第2版 习题及答案 第10章 .docx

PAGE16

第10章 单源最短路径

以图10-1为例，用Dijkstra算法找出下面无向图中以顶点s为源点的最短路径树。

3

3

8

10

7

4

2

a

b

s

c

d

e

4

15

8

4

11

解：和书中图10-1类似，下图(a)显示各点v的d(v)和p(v)初始值。图(b)-图(g)逐步显示每一次循环后，这棵最短路径树增长的情况及被更新各点v的d(v)和p(v)值。树中各点和边用粗线表示，有父子关系的边加上了方向，从父亲指向儿子，这不表示原来图是有向图，而是表示最短路径的取向。图(h)显示了算法结束后的最短路径树及源点s到各点的距离。

10

10

7

8

4

2

a

b

s

c

d

4

15

8

4

11

d(a)=?

?(a)=nil

d(c)=?

?(c)=nil

d(b)=?

?(b)=nil

d(d)=?

?(d)=nil

d(s)=0

?(s)=nil

(a)初始化

3

e

d(e)=?

?(e)=nil

10

7

8

4

2

a

b

s

c

d

e

4

15

8

4

11

d(a)=10

?(a)=s

d(c)=15

?(c)=s

d(b)=7

?(b)=s

d(d)=?

?(d)=nil

d(s)=0

?(s)=nil

(b)顶点s被选中，更新a，b，c

d(e)=?

?(e)=nil

3

10

10

7

8

4

2

a

b

s

c

d

e

4

15

8

4

11

d(a)=10

?(a)=s

d(c)=15

?(c)=s

d(b)=7

?(b)=s

d(d)=15

?(d)=b

d(s)=0

?(s)=nil

(c)顶点b被选中，更新d，e

d(e)=18

?(e)=b

3

10

7

8

4

2

a

b

s

c

d

e

4

15

8

4

11

d(a)=10

?(a)=s

d(c)=13

?(c)=a

d(b)=7

?(b)=s

d(d)=14

?(d)=a

d(s)=0

?(s)=nil

(d)顶点a被选中，更新c，d

d(e)=18

?(e)=b

3

10

10

7

8

4

2

a

b

s

c

d

e

4

15

8

4

11

d(a)=10

?(a)=s

d(c)=13

?(c)=a

d(b)=7

?(b)=s

d(d)=14

?(d)=a

d(s)=0

?(s)=nil

(e)顶点c被选中，更新e

d(e)=17

?(e)=c

3

10

7

8

4

2

a

b

s

c

d

e

4

15

8

4

11

d(a)=10

?(a)=s

d(c)=13

?(c)=a

d(b)=7

?(b)=s

d(d)=14

?(d)=a

d(s)=0

?(s)=nil

(f)顶点d被选中，更新e

d(e)=16

?(e)=d

3

10

10

7

8

4

2

a

b

s

c

d

e

4

15

8

4

11

d(a)=10

?(a)=s

d(c)=13

?(c)=a

d(b)=7

?(b)=s

d(d)=14

?(d)=a

d(s)=0

?(s)=nil

(g)顶点e被选中，无更新点

d(e)=16

?(e)=d

3

10

7

2

a

b

s

c

d

e

4

d(a)=10

?(a)=s

d(c)=13

?(c)=a

d(b)=7

?(b)=s

d(d)=14

?(d)=a

d(s)=0

?(s)=nil

(h)算法产生的最短路径树

d(e)=16

?(e)=d

3

以图10-3为例，用Bellman-Ford算法找出下面有向图中以顶点s为源点的最小最短路径树。每轮松弛遍历所用的边的顺序请按字母顺序确定，即(a,b)，(a,c)，(a,e)，(b,c)，(b,d)，(c,d)，(c,e)，(d,e)，(s,a)，(s,b)，(s,d)。

-3

-3

-1

10

5

-2

4

a

b

s

c

d

e

9

7

8

-2

-3

解：和书中图10-3类似，下图(a)显示各点v的d(v)和p(v)初始值。图(b)-图(c)显示了前2轮松弛遍历的结果。有父子关系的边用粗线表示。因为从第3轮开始，松弛遍历不产生任何更新，所以省去3轮的显示。图(d)显示算法结束后的最短路径树及源点s到各点的距离。

(a)

(a)初始状态，源点是顶点s

d(a)=?

?(a)=nil

d(c)=?

?(c)=n