下面是使用邻接矩阵实现的 Dijkstra 算法的核心片段，用于求单源最短路径。在找到当前距离起点最近的顶点 u 后，需要更新其邻接点 j 的距离。横线处应填入的代码是（ ）。

for (int j = 1; j <= n; j++) {
    if (!visited[j] && graph[u][j] < INF) {
        if (________) { // 在此处填入选项
            dis[j] = dis[u] + graph[u][j];
        }
    }
}

{{ select(1) }}

• dis[j] < dis[u] + graph[u][j]
• dis[j] > dis[u] + graph[u][j]
• graph[u][j] > dis[u] + dis[j]
• dis[j] > graph[u][j]