有向图可图化的充要条件

一个有向图可以被图化，即可以被绘制成图形，当且仅当该有向图是一个有向无环图（DAG）。有向无环图是指在该图中不存在任何从一个顶点出发经过若干条边后又回到该顶点的闭合路径。充分性是因为有向无环图是没有环的，所以可以将其绘制成一个图形。必要性是因为如果一个有向图存在环，则无法将其绘制成一个图形，因为在图形中无法确定环的起点和终点的位置。