The condensation of D is a directed graph with m vertices.

• D的凝聚图是指一个有m个顶点的有向图。