Problem:
Single Source Shortest Path

For a given weighted graph G(V, E) and a source r, find the source shortest path to each vertex from the source (SSSP: Single Source Shortest Path).

Input

An edge-weighted graph G (V, E) and the source r.

|V| |E| r
s0 t0 d0
s1 t1 d1
:
s|E|-1 t|E|-1 d|E|-1

|V| is the number of vertices and |E| is the number of edges in G. The graph vertices are named with the numbers 0, 1,..., |V|-1 respectively. r is the source of the graph.

si and ti represent source and target vertices of i-th edge (directed) and di represents the cost of the i-th edge.

Output

Print the costs of SSSP in the following format.

c0
c1
:
c|V|-1

The output consists of |V| lines. Print the cost of the shortest path from the source r to each vertex 0, 1, ... |V|-1 in order. If there is no path from the source to a vertex, print INF.

Constraints

1 ≤ |V| ≤ 100000

0 ≤ di ≤ 10000

0 ≤ |E| ≤ 500000

There are no parallel edges

There are no self-loops

Sample Input 1

4 5 0
0 1 1
0 2 4
1 2 2
2 3 1
1 3 5

Sample Output 1

0
1
3
4

Sample Input 2

4 6 1
0 1 1
0 2 4
2 0 1
1 2 2
3 1 1
3 2 5

Sample Output 2

3
0
2
INF

Solution in JAVA (judge verdict: Accepted)

import java.util.*;

class Pair{
    public int vertex, dist;
    public Pair(int v, int d){
        vertex = v; dist = d;
    }
}

class Graph{
    private int V; 
    private List<List<Pair>> adjLists;
    private int[] minDist;
    public Graph(int v){
        this.V = v;
        adjLists = new ArrayList<>();
        for(int i = 0; i < v; i++){
            adjLists.add(new ArrayList<>());
        }
        minDist = new int[v];
        Arrays.fill(minDist, Integer.MAX_VALUE);
    }
    public void addEdge(int s, int t, int d){
        adjLists.get(s).add(new Pair(t, d));
    }
    public void djkstra(int r){
        PriorityQueue<Pair> pq = new PriorityQueue<>(1000000, new Comparator<Pair>(){public int compare(Pair p1, Pair p2){
                                                                                            return p1.dist - p2.dist;
                                                                                    }});
        minDist[r] = 0;
        pq.add(new Pair(r, 0));
        while(!pq.isEmpty()){
            Pair p = pq.poll();
            List<Pair> adjList = adjLists.get(p.vertex);
            for(int i = 0; i < adjList.size(); i++){
                Pair c = adjList.get(i);
                if(minDist[c.vertex] > minDist[p.vertex] + c.dist){
                    minDist[c.vertex] = minDist[p.vertex] + c.dist;
                    pq.add(new Pair(c.vertex, c.dist));
                }
            }
        }
        for(int i = 0; i < this.V; i++){
            System.out.println(minDist[i] == Integer.MAX_VALUE? "INF": minDist[i]);
        }
    }
}

class Main{
    public static void main(String args[]){
        Scanner sc = new Scanner(System.in);
        int V, E, r;
        V = sc.nextInt(); E = sc.nextInt(); r = sc.nextInt();
        Graph g = new Graph(V);
        for(int i = 0; i < E; i++){
            int s, t, d;
            s = sc.nextInt(); t = sc.nextInt(); d = sc.nextInt();
            g.addEdge(s, t, d);
        }
        g.djkstra(r);
    }
}