在一个至少包含三个顶点的加权连通单向图中，假定边的权重互不相同，则权重最大的边不可能被包含在任何最小生成树中