单项选择题 贪心算法的正确性必须通过（）。

单项选择题 贪心算法总是作出在当前看来最好的选择，它所作出的选择只是在某种意义上的（）选择。

单项选择题 设置顶点集合S，初始时，S中仅含有源。设u是G的某一个顶点，把从源到u且中间只经过S中顶点的路称为从源到u的特殊路径，并用数组dist记录当前每个顶点所对应的最短特殊路径长度。每次从V-S中取出具有最短特殊路长度的顶点u，将u添加到S中，同时对数组dist作必要的修改。一旦S包含了所有Ⅴ中顶点，dist就记录了从源到所有其它顶点之间的最短路径长度。这是（）的基本思想。