Problem:
Score : 400 points

Problem Statement

There are N people standing on the x-axis.
Let the coordinate of Person i be x_i.
For every i, x_i is an integer between 0 and 10^9 (inclusive).
It is possible that more than one person is standing at the same coordinate.

You will given M pieces of information regarding the positions of these people.
The i-th piece of information has the form (L_i, R_i, D_i).
This means that Person R_i is to the right of Person L_i by D_i units of distance, that is, x_{R_i} - x_{L_i} = D_i holds.

It turns out that some of these M pieces of information may be incorrect.
Determine if there exists a set of values (x_1, x_2, ..., x_N) that is consistent with the given pieces of information.

Constraints

1 \leq N \leq 100 000

0 \leq M \leq 200 000

1 \leq L_i, R_i \leq N (1 \leq i \leq M)

0 \leq D_i \leq 10 000 (1 \leq i \leq M)

L_i \neq R_i (1 \leq i \leq M)

If i \neq j, then (L_i, R_i) \neq (L_j, R_j) and (L_i, R_i) \neq (R_j, L_j).

D_i are integers.

Input

Input is given from Standard Input in the following format:

N M
L_1 R_1 D_1
L_2 R_2 D_2
:
L_M R_M D_M

Output

If there exists a set of values (x_1, x_2, ..., x_N) that is consistent with all given pieces of information, print Yes; if it does not exist, print No.

Sample Input 1

3 3
1 2 1
2 3 1
1 3 2

Sample Output 1

Yes

Some possible sets of values (x_1, x_2, x_3) are (0, 1, 2) and (101, 102, 103).

Sample Input 2

3 3
1 2 1
2 3 1
1 3 5

Sample Output 2

No

If the first two pieces of information are correct, x_3 - x_1 = 2 holds, which is contradictory to the last piece of information.

Sample Input 3

4 3
2 1 1
2 3 5
3 4 2

Sample Output 3

Yes

Sample Input 4

10 3
8 7 100
7 9 100
9 8 100

Sample Output 4

No

Sample Input 5

100 0

Sample Output 5

Yes

Solution in C (GCC 5.4.1) (judge verdict: Wrong Answer)

#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <stdint.h> // uint64_t

#define max(a,b) ((a) > (b) ? (a) : (b))
#define min(a,b) ((a) > (b) ? (b) : (a))
#define BUF_SIZE 50
#define DIVISOR 1000000007

// size: specify sizeof(str)
int get_str(char *str, int size) {
    if(!fgets(str, size, stdin)) return -1;
    return 0;
}

int get_int(void) {
  int num;
#ifdef BUF_SIZE
  char line[BUF_SIZE];
  if(!fgets(line, BUF_SIZE, stdin)) return 0;
  sscanf(line, "%d", &num);
#else
#error
#endif
  return num;
}

int get_int2(int *a1, int *a2) {
#ifdef BUF_SIZE
  char line[BUF_SIZE];
  if(!fgets(line, BUF_SIZE, stdin)) return -1;
  sscanf(line, "%d %d", a1, a2);
#else
#error
#endif
  return 0;
}

int get_int3(int *a1, int *a2, int *a3) {
#ifdef BUF_SIZE
  char line[BUF_SIZE];
  if(!fgets(line, BUF_SIZE, stdin)) return -1;
  sscanf(line, "%d %d %d", a1, a2, a3);
#else
#error
#endif
  return 0;
}

struct wufind {
    int parent;
    int depth;
    int dist;
};

#define VERTEX_MAX 100000
struct wufind *create_wufind(int num) {
    static struct wufind wufind[VERTEX_MAX];
    int i;
    for(i = 0; i < num; i++) {
        wufind[i].parent = i;
    }
    return wufind;
}

int get_root(struct wufind *wu, int v) {
    int base = v;
    struct wufind *elem = &wu[v];
    if(base == elem->parent) {
        return base;
    } else {
        int root = get_root(wu, elem->parent);
        elem->dist += wu[elem->parent].dist;
        // compression
        elem->parent = root;
        return root;
    }
} 

int get_diff(struct wufind *wufind, int v1, int v2) {
    int root1 = get_root(wufind, v1);
    int root2 = get_root(wufind, v2);
    return wufind[root2].dist - wufind[root1].dist;
}

int is_connect(struct wufind *wufind, int v1, int v2) {
    int root1 = get_root(wufind, v1);
    int root2 = get_root(wufind, v2);
#ifdef DEBUG
    printf("is_connect: v1: %d, v2: %d\n", root1, root2);
#endif
    return root1 == root2;
}

// assume that v1, v2 gets compresson done
void unite(struct wufind *wufind, int v1, int v2, int diff) {
    int root1 = wufind[v1].parent;
    int root2 = wufind[v2].parent;
    int w1 = wufind[v1].dist;
    int w2 = wufind[v2].dist;
    struct wufind *wr1 = &wufind[root1];
    struct wufind *wr2 = &wufind[root2];
    // 2->1
    int new_dist = w1 + diff - w2;
    if(wr1->depth >= wr2->depth) {
        if(wr1->depth == wr2->depth) wr1->depth++;
        // 2->1
        wr2->parent = root1;
        wr2->depth = wr1->depth;
        wr2->dist = new_dist;
    } else {
        // 1->2
        wr1->parent = root2;
        wr1->depth = wr2->depth;
        wr1->dist = -new_dist;
    }
    return;
}


int main(void) {
    int num, qs;
    get_int2(&num, &qs);
    struct wufind *wufind = create_wufind(num);

    int i;
    int flag = 1;
    for(i = 0; i < qs; i++) {
        int p1, p2, diff;
        get_int3(&p1, &p2, &diff);
        // 1-indexed -> 0-indexed
        p1--; p2--;
        if(!is_connect(wufind, p1, p2)) {
            unite(wufind, p1, p2, diff);
        } else {
            if(diff != get_diff(wufind, p1, p2)) {
                flag = 0;
                break;
            }
        }
    }
    printf("%s\n", flag ? "Yes" : "No");
    return 0;
}