LC-检索的特性 定理7.2的证明 [略] LC-检索的特性 找最小成本答案结点 line procedure LC1(T, c) //为找最小成本答案结点的LC-检索 0 if T是答案结点 then 输出T; return endif 1 E ? T 2 将活结点表初始化为空 3 loop 3 if E是答案结点 then 输出从E到T的路径 return end if 4 for E的每个儿