Problem p03450 (C++)

Buggy submission (status: Runtime Error):
#include <bits/stdc++.h>
#define sort_(a) sort(a.begin(), a.end())
#define rsort(a) sort(a.rbegin(), a.rend())
#define rep(i, n) for (int i = 0; i < n; i++)
#define rrep(i, n) for (int i = n - 1; 0 <= i; i--)
#define for_(i, start, end) for (int i = start; i < end; i++)
#define rfor(i, start, end) for (int i = start - 1; 0 <= i; i--)
#define all(a) a.begin(), a.end()
using ll = long long;
using ld = long double;
using namespace std;
constexpr int INF32 = 1'050'000'000;
constexpr long long INF64 = 4'000'000'000'000'000'000;
constexpr int MOD7 = 1'000'000'007;
constexpr int MOD53 = 998'244'353;
constexpr double PI = 3.14159265358979323846;
template <class T> inline bool chmin(T &a, T b) {
  if (a > b) {
    a = b;
    return true;
  }
  return false;
}
template <class T> inline bool chmax(T &a, T b) {
  if (a < b) {
    a = b;
    return true;
  }
  return false;
}
void print() { std::cout << '\n'; }
template <class H, class... T> void print(H &&head, T &&...args) {
  std::cout << head;
  sizeof...(args) == 0 ? std::cout << "" : std::cout << ' ';
  print(std::forward<T>(args)...);
}
template <class T> void print(std::vector<T> &v) {
  for (int i = 0; i < v.size(); i++) {
    std::cout << v[i];
    i == v.size() - 1 ? std::cout << '\n' : std::cout << ' ';
  }
}
template <class T> void print(std::vector<std::vector<T>> &v) {
  for (int i = 0; i < v.size(); i++) {
    for (int j = 0; j < v[i].size(); j++) {
      std::cout << v[i][j];
      j == v[i].size() - 1 ? std::cout << '\n' : std::cout << ' ';
    }
  }
}
void scan() {}
template <class H, class... T> void scan(H &&head, T &&...args) {
  std::cin >> head;
  scan(std::forward<T>(args)...);
}
template <class T> void scan(std::vector<T> &v) {
  for (auto &&i : v) {
    scan(i);
  }
}

class Weighted_UnionFind {
public:
  // 親の番号を格納する。親の場合 -1 になる
  vector<int> Parent;
  vector<long long> Weight;

  // 宣言されたとき Parent の値はすべて -1 にする
  Weighted_UnionFind(int N) {
    Parent = vector<int>(N, -1);
    Weight.resize(N);
  }

  // 与えられた値 x がどの親であるか調べる
  int root(int x) {
    if (Parent[x] < 0)
      return x;
    int par = root(Parent[x]);
    Weight[x] += Weight[Parent[x]];
    return Parent[x] = par;
  }

  // 木の全体の数を返す
  int size(int x) { return -Parent[root(x)]; }

  // 引数と親の重さを返す
  long long weight_to_parent(int x) {
    root(x);
    return Weight[x];
  }

  // 2つの引数を同じ親にする
  bool update(int x, int y, long long w) {
    w += weight_to_parent(x);
    w -= weight_to_parent(y);
    x = root(x);
    y = root(y);
    if (x == y)
      return false;
    if (size(x) < size(y)) {
      swap(x, y);
      w *= -1;
    }
    Parent[x] += Parent[y];
    Parent[y] = x;
    Weight[y] = w;
    return true;
  }

  // 引数の親が同じか判定する
  bool is_same(int x, int y) { return root(x) == root(y); }

  // 引数の差を求める。存在しないしない場合、0 を返す
  long long diff(int x, int y) {
    if (!is_same(x, y))
      return 0;
    return Weight[y] - Weight[x];
  }
};

int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);

  int N, M;
  scan(N, M);
  Weighted_UnionFind uni(N);
  rep(i, M) {
    int l, r, d;
    scan(l, r, d);
    if (uni.is_same(l, r) && uni.diff(r, l) != d) {
      print("No");
      return 0;
    }
    uni.update(r, l, d);
  }
  print("Yes");

  return 0;
}

Fixed submission:
#include <bits/stdc++.h>
#define sort_(a) sort(a.begin(), a.end())
#define rsort(a) sort(a.rbegin(), a.rend())
#define rep(i, n) for (int i = 0; i < n; i++)
#define rrep(i, n) for (int i = n - 1; 0 <= i; i--)
#define for_(i, start, end) for (int i = start; i < end; i++)
#define rfor(i, start, end) for (int i = start - 1; 0 <= i; i--)
#define all(a) a.begin(), a.end()
using ll = long long;
using ld = long double;
using namespace std;
constexpr int INF32 = 1'050'000'000;
constexpr long long INF64 = 4'000'000'000'000'000'000;
constexpr int MOD7 = 1'000'000'007;
constexpr int MOD53 = 998'244'353;
constexpr double PI = 3.14159265358979323846;
template <class T> inline bool chmin(T &a, T b) {
  if (a > b) {
    a = b;
    return true;
  }
  return false;
}
template <class T> inline bool chmax(T &a, T b) {
  if (a < b) {
    a = b;
    return true;
  }
  return false;
}
void print() { std::cout << '\n'; }
template <class H, class... T> void print(H &&head, T &&...args) {
  std::cout << head;
  sizeof...(args) == 0 ? std::cout << "" : std::cout << ' ';
  print(std::forward<T>(args)...);
}
template <class T> void print(std::vector<T> &v) {
  for (int i = 0; i < v.size(); i++) {
    std::cout << v[i];
    i == v.size() - 1 ? std::cout << '\n' : std::cout << ' ';
  }
}
template <class T> void print(std::vector<std::vector<T>> &v) {
  for (int i = 0; i < v.size(); i++) {
    for (int j = 0; j < v[i].size(); j++) {
      std::cout << v[i][j];
      j == v[i].size() - 1 ? std::cout << '\n' : std::cout << ' ';
    }
  }
}
void scan() {}
template <class H, class... T> void scan(H &&head, T &&...args) {
  std::cin >> head;
  scan(std::forward<T>(args)...);
}
template <class T> void scan(std::vector<T> &v) {
  for (auto &&i : v) {
    scan(i);
  }
}

class Weighted_UnionFind {
public:
  // 親の番号を格納する。親の場合 -1 になる
  vector<int> Parent;
  vector<long long> Weight;

  // 宣言されたとき Parent の値はすべて -1 にする
  Weighted_UnionFind(int N) {
    Parent = vector<int>(N, -1);
    Weight.resize(N);
  }

  // 与えられた値 x がどの親であるか調べる
  int root(int x) {
    if (Parent[x] < 0)
      return x;
    int par = root(Parent[x]);
    Weight[x] += Weight[Parent[x]];
    return Parent[x] = par;
  }

  // 木の全体の数を返す
  int size(int x) { return -Parent[root(x)]; }

  // 引数と親の重さを返す
  long long weight_to_parent(int x) {
    root(x);
    return Weight[x];
  }

  // 2つの引数を同じ親にする
  bool update(int x, int y, long long w) {
    w += weight_to_parent(x);
    w -= weight_to_parent(y);
    x = root(x);
    y = root(y);
    if (x == y)
      return false;
    if (size(x) < size(y)) {
      swap(x, y);
      w *= -1;
    }
    Parent[x] += Parent[y];
    Parent[y] = x;
    Weight[y] = w;
    return true;
  }

  // 引数の親が同じか判定する
  bool is_same(int x, int y) { return root(x) == root(y); }

  // 引数の差を求める。存在しないしない場合、0 を返す
  long long diff(int x, int y) {
    if (!is_same(x, y))
      return 0;
    return Weight[y] - Weight[x];
  }
};

int main() {
  cin.tie(0);
  ios::sync_with_stdio(false);

  int N, M;
  scan(N, M);
  Weighted_UnionFind uni(N + 1);
  rep(i, M) {
    int l, r, d;
    scan(l, r, d);
    if (uni.is_same(l, r) && uni.diff(r, l) != d) {
      print("No");
      return 0;
    }
    uni.update(r, l, d);
  }
  print("Yes");

  return 0;
}