对一个n个顶点、m条边的带权有向简单图，用 Diikstra 算法计算单源最短路时，如果使用二叉堆进行优化，则其时间复杂度为( ）。
O(mn + n3)
o(n2)
o((m + n2) log n)
O((m + n) log n)
