考虑如下的贪心算法,它试图找出在有正边长的有向图G中顶点s到顶点t的距离。从顶点s开始,到最近的顶点,称为x;从x出发到最近的顶点,称为y,继续这种做法直到达到顶点t。给出一个最少顶点的图,证明这种探索不总是产生从s到t的距离(回忆从顶点u到顶点v的距离是从u到v的最短路径的长度)。