(最优子结构性质)
不失一般性,令无向图
G
=
(
V
,
E
)
G=(V,E)
G=(V,E)的某棵最小生成树
T
=
(
V
,
E
′
)
T=(V,E')
T=(V,E′)中,其中最短的一条边
e
u
v
e_{uv}
euv对应的一对节点为
u
u
u和
v
v
v。现将图
G
G
G中的节点
u
u
u和
v
v
v缩成一个节点
u
v
uv
uv,生成图
G
′
G'
G′,则边
e
u
v
e_{uv}
euv是节点
u
v
uv
uv到自身的环。在
G
′
G'
G′中令该树为
T
′
=
(
V
,
E
′
′
)
T'=(V,E'')
T′=(V,E′′),现需证明
T
′
T'
T′为
G
′
G'
G′最小生成树。
反证法:假设
G
′
G'
G′的最小生成树不是
T
′
T'
T′,则存在
G
′
G'
G′的另外一棵生成树
T
′
′
T''
T′′,使得
w
(
T
′
′
)
<
w
(
T
′
)
w(T'')<w(T')
w(T′′)<w(T′)。现将节点
u
u
u和
v
v
v展开获得
G
G
G的一棵生成树
T
′
′
′
T'''
T′′′,
G
G
G中的生成树
T
T
T和
T
′
′
′
T'''
T′′′比
G
′
G'
G′中的生成树
T
′
T'
T′和
T
′
′
T''
T′′多了一条边
e
u
v
e_{uv}
euv,
w
(
T
′
′
′
)
=
w
(
T
′
′
)
+
w
(
e
u
v
)
<
w
(
T
′
)
+
w
(
e
u
v
)
=
w
(
T
)
,
w(T''')=w(T'')+w(e_{uv}) < w(T')+w(e_{uv})=w(T),
w(T′′′)=w(T′′)+w(euv)<w(T′)+w(euv)=w(T),
这与
T
T
T是无向图
G
G
G中的最小生成树矛盾。
Prim最优子结构性质
最新推荐文章于 2024-08-18 23:19:45 发布