学校网络

主要是证明第二问,也就是将一个有向图变为一个SCC所需要添加的最少的边数(与将一个无向图变成一个e-DCC联系起来)

首先,\(max(p,q)\)是下界,因为连一条边最多只能减少一个零入度点和一个零出度点并且一个零入/出度点如果不添加出/入边是永远无法被消除的(会一直待在那里),而最终的图不可能有原来的任何一个零入/出度点

我们尝试构造一种方法:见这篇题解

这种证明方法的心路历程:

我们先假设零入度点更少,此时为了尽快达到下界,我们就一直将一个连通块的零出度点与另一个连通块的零入度点相连,这就是情况②的讨论,而由于零入度点更少,我们会发现某一个时刻图有且仅有一个原来的零入度点,现在无法再进行之前的操作了(因为现在就只有一个连通块了),于是我们将情况①拿出来讨论

posted @ 2024-02-11 11:55  最爱丁珰  阅读(2)  评论(0编辑  收藏  举报