具有7个顶点的有向图至少应有（ ）条边才能确保一个强连通图。