codeforces 715B：Complete The Graph

Description

ZS the Coder has drawn an undirected graph of n vertices numbered from 0 to n - 1 and m edges between them. Each edge of the graph is weighted, each weight is a positive integer.

The next day, ZS the Coder realized that some of the weights were erased! So he wants to reassign positive integer weight to each of the edges which weights were erased, so that the length of the shortest path between vertices s and t in the resulting graph is exactly L. Can you help him?

Input

The first line contains five integers n, m, L, s, t (2 ≤ n ≤ 1000,  1 ≤ m ≤ 10 000,  1 ≤ L ≤ 10⁹,  0 ≤ s, t ≤ n - 1,  s ≠ t) — the number of vertices, number of edges, the desired length of shortest path, starting vertex and ending vertex respectively.

Then, m lines describing the edges of the graph follow. i-th of them contains three integers, u_i, v_i, w_i (0 ≤ u_i, v_i ≤ n - 1,  u_i ≠ v_i,  0 ≤ w_i ≤ 10⁹). u_i and v_i denote the endpoints of the edge and w_i denotes its weight. If w_i is equal to 0 then the weight of the corresponding edge was erased.

It is guaranteed that there is at most one edge between any pair of vertices.

Output

Print "NO" (without quotes) in the only line if it's not possible to assign the weights in a required way.

Otherwise, print "YES" in the first line. Next m lines should contain the edges of the resulting graph, with weights assigned to edges which weights were erased. i-th of them should contain three integers u_i, v_i and w_i, denoting an edge between vertices u_i and v_i of weight w_i. The edges of the new graph must coincide with the ones in the graph from the input. The weights that were not erased must remain unchanged whereas the new weights can be any positive integer not exceeding 10¹⁸.

The order of the edges in the output doesn't matter. The length of the shortest path between s and t must be equal to L.

If there are multiple solutions, print any of them.

Examples

Input

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

Output

YES
0 1 5
2 1 2
3 2 3
1 4 8
4 3 4

Input

2 1 123456789 0 1
0 1 0

Output

YES
0 1 123456789

Input

2 1 999999999 1 0
0 1 1000000000

Output

NO

Note

Here's how the graph in the first sample case looks like :

In the first sample case, there is only one missing edge weight. Placing the weight of 8 gives a shortest path from 0 to 4 of length 13.

In the second sample case, there is only a single edge. Clearly, the only way is to replace the missing weight with 123456789.

In the last sample case, there is no weights to assign but the length of the shortest path doesn't match the required value, so the answer is "NO".

 

 

正解：dijkstra

解题报告：

　　其实这道题也很简单，考场上没想出来真是我傻...

　　首先那些可以修改的边最小边权为1，则全部改为1，那么如果此时最短路小于等于L，那么至少是有解的。否则无解。

　　然后依次修改当前还差的边权，直到合法，反正CF机子快，丝毫不虚。

　　然而我WA了一个晚上，因为我的inf设大了，一加就炸，调了很久才发现...

 

//It is made by jump~
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <ctime>
#include <vector>
#include <queue>
#include <map>
#include <set>
using namespace std;
typedef long long LL;
const int MAXN = 1011;
const int MAXM = 20011;
const int MOD = 2000000;
int n,m,L,s,t,ecnt;
int first[MAXN],to[MAXM],next[MAXM],w[MAXM],dis[MAXN];
int tag[MAXM];//!!!!!
int dui[MAXN*10],head,tail;
bool in[MAXN],ok;

inline int getint()
{
       int w=0,q=0; char c=getchar();
       while((c<'0' || c>'9') && c!='-') c=getchar(); if(c=='-') q=1,c=getchar(); 
       while (c>='0' && c<='9') w=w*10+c-'0', c=getchar(); return q ? -w : w;
}

inline void SPFA(){
    //memset(dis,63,sizeof(dis));
    for(int i=1;i<=n;i++) dis[i]=1000000001;//不能设太大！！！不然会炸，WA了好久！！！
    dis[s]=0;   head=tail=0;   dui[++tail]=s; memset(in,0,sizeof(in)); in[s]=1;
    while(head!=tail) {
    head%=n; head++; int u=dui[head]; in[u]=0;
    for(int i=first[u];i>0;i=next[i]) {
        int v=to[i];
        if(dis[v]>dis[u]+w[i]) {
        dis[v]=dis[u]+w[i];
        if(!in[v]) { tail%=n; tail++; dui[tail]=v; in[v]=1; }
        }
    }
    }
}

inline void work(){
    //memset(first,-1,sizeof(first));
    n=getint(); m=getint(); L=getint(); s=getint()+1; t=getint()+1;
    int x,y,z;ecnt=1;
    for(int i=1;i<=m;i++) {
    x=getint()+1; y=getint()+1; z=getint();
    next[++ecnt]=first[x]; first[x]=ecnt; to[ecnt]=y; w[ecnt]=z; if(z==0) tag[ecnt]=1,w[ecnt]=1;
    next[++ecnt]=first[y]; first[y]=ecnt; to[ecnt]=x; w[ecnt]=z; if(z==0) tag[ecnt]=1,w[ecnt]=1;
    }
    SPFA();   if(dis[t]>L) { printf("NO"); return ; }
    ok=false;
    for(int i=1;i<=n;i++) {
    for(int j=first[i];j>0;j=next[j]) {
        if(j & 1)
        if(tag[j]) {
            if(dis[t]==L){ ok=true ; break;}
            if(dis[t]<L) {
            w[j]=w[j^1]=L-dis[t]+1;
            SPFA();        
            }
        }
    }
    if(ok) break;
    }
    if(!ok && dis[t]!=L) { printf("NO"); }
    else{
    printf("YES
");
    for(int i=1;i<=n;i++)  
        for(int j=first[i];j>0;j=next[j]) 
        if(j&1)
            printf("%d %d %d
",to[j]-1,to[j^1]-1,w[j]);
    }
}

int main()
{
  work();
  return 0;
}