有向无环图{{mvar|G}}的[[传递规约]]为和其有着相同可达性,边数最少的图。它是{{mvar|G}}的一个子图。构造方法为当{{mvar|G}}有着一条更长的路径连接顶点{{mvar|u}}和{{mvar|v}}的时候,消去边{{math|''u'' → ''v''}}。 | 有向无环图{{mvar|G}}的[[传递规约]]为和其有着相同可达性,边数最少的图。它是{{mvar|G}}的一个子图。构造方法为当{{mvar|G}}有着一条更长的路径连接顶点{{mvar|u}}和{{mvar|v}}的时候,消去边{{math|''u'' → ''v''}}。 |