循环图的连通度的下界

在本文中,D表示有向强连通图,D(n,s)表示连通有向循环图。设C是V(D)的真子集,若D-C不为强连通的或者为单一顶点,则称C为D的点截集。用B(D)记D中点截集的全体。