有n个顶点的有向强连通图至少需要[$##$]条弧。