n个顶点的有向图，至少需要()条弧才能保证是连通图。