4. 对一个有 $n$ 个顶点、$m$ 条边的带正权有向简单图使用 Dijkstra 算法计算单源最短路。若所用堆可以在 $\Theta(\log n)$ 时间查询最小值、在 $\Theta(\sqrt n)$ 时间合并两个堆、在 $\Theta(1)$ 时间将堆内一个元素变小，并在 $\Theta(\log n)$ 时间弹出最小值，则整个算法的时间复杂度为（ ）。

{{ select(1) }}

• $\Theta(n\sqrt n+m\log n)$
• $\Theta((n+m)\log n)$
• $\Theta(m+n\log n)$
• $\Theta(m\sqrt n+n\log n)$