有向图中不相交的准核(英文)

有向图d的一个顶点集x被称为d的一个核,如果x是一个独立集并且x之外的每一个点都能经一步到达x.有向图d的一个顶点集x被称为d的一个准核,如果x是一个独立集并且x之外的每一个点都能经一步或两步到达x.在这篇文章中,我们给出了一个有向图有一对不相交的准核的一个必要条件和若干充分条件.