计算 $2$-无孪生块

设 $G=(V,E))$ 为有向图。G 中的 $2$-无孪生块是一个极大的顶点集 $B\subseteq V$, 其大小至少为 $2$, 使得对于 B 中每对相异顶点 $x,y$, 以及每个顶点 $w\in V\setminus\left\lbrace x,y \right\rbrace$, 顶点 $x,y$ 在 $G\setminus\left \lbrace w \right\rbrace$ 的同一无孪生强连通分支中。本文给出计算有向图 $2$-无孪生块的算法。