Problem p03722 (C++)

Buggy submission (status: Runtime Error):

// include
//------------------------------------------
#include <algorithm>
#include <bitset>
#include <climits>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <ctime>
#include <deque>
#include <fstream>
#include <functional>
#include <iomanip>
#include <iostream>
#include <limits>
#include <list>
#include <map>
#include <numeric>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <string>
#include <utility>
#include <vector>

using namespace std;

// conversion
//------------------------------------------
inline int toInt(string s) {
  int v;
  istringstream sin(s);
  sin >> v;
  return v;
}
template <class T> inline string toString(T x) {
  ostringstream sout;
  sout << x;
  return sout.str();
}

// math
//-------------------------------------------
template <class T> inline T sqr(T x) { return x * x; }

// typedef
//------------------------------------------
typedef vector<int> VI;
typedef vector<VI> VVI;
typedef vector<string> VS;
typedef pair<int, int> PII;
typedef long long LL;

// container util
//------------------------------------------
#define ALL(a) (a).begin(), (a).end()
#define RALL(a) (a).rbegin(), (a).rend()
#define PB push_back
#define MP make_pair
#define SZ(a) int((a).size())
#define EACH(i, c)                                                             \
  for (typeof((c).begin()) i = (c).begin(); i != (c).end(); ++i)
#define EXIST(s, e) ((s).find(e) != (s).end())
#define EXISTch(s, c)                                                          \
  ((((s).find_first_of(c)) != std::string::npos) ? 1 : 0) // cがあれば1 if(1)
#define SORT(c) sort((c).begin(), (c).end())

#define REP(i, n) for (int i = 0; i < (int)n; ++i)
#define FOR(i, c)                                                              \
  for (__typeof((c).begin()) i = (c).begin(); i != (c).end(); ++i)

// constant
//--------------------------------------------
const double EPS = 1e-10;
const double PI = acos(-1.0);
const int INF = (int)1000000007;
const LL MOD = (LL)1000000007;          // 10^9+7
const LL INF2 = (LL)100000000000000000; // 10^18

template <typename T> struct edge {
  int from, to;
  T cost;

  edge(int to, T cost) : from(-1), to(to), cost(cost) {}

  edge(int from, int to, T cost) : from(from), to(to), cost(cost) {}

  edge &operator=(const int &x) {
    to = x;
    return *this;
  }

  operator int() const { return to; }
};

template <typename T> using Edges = vector<edge<T>>;

template <typename T> vector<T> bellman_ford(Edges<T> &edges, int V, int s) {
  const auto INF = numeric_limits<T>::max();
  vector<T> dist(V, INF);
  dist[s] = 0;
  for (int i = 0; i < V - 1; i++) {
    for (auto &e : edges) {
      if (dist[e.from] == INF)
        continue;
      dist[e.to] = min(dist[e.to], dist[e.from] + e.cost);
    }
  }

  return dist;
}

// 到達できるできない関係なしに、負の閉路があればtrueを返す
template <typename T>
bool find_negative_loopA(Edges<T> &edges, vector<T> &d, int V) {

  // 距離の重みを0にしておくことで、始点から順番にたどるという行動をスキップして
  // 単に構造として負の閉路をもっているかを調べられる
  vector<T> dist(V, 0);

  for (int i = 0; i < V; i++) {
    for (auto &e : edges) {
      if (d[e.to] > d[e.from] + e.cost) {
        d[e.to] = d[e.from] + e.cost;
        // 負の閉路がなければV-1で終わる
        // 負の閉路があるとV回目でも更新が起こる
        if (i == V - 1)
          return true;
      }
    }
  }

  return false;
}

// 到達できる閉路があるかどうか
// 稼いだあとにゴールできるかは問わない

// 始点→終点→負の閉路→×終点のパターンはこの関数では検出できない
template <typename T>
bool find_negative_loopB(Edges<T> &edges, vector<T> &d, int V, int s) {

  for (int i = 0; i < V; i++) {
    for (auto &e : edges) {
      if (d[e.from] != INF && d[e.to] > d[e.from] + e.cost) {
        d[e.to] = d[e.from] + e.cost;
        // 負の閉路がなければV-1で終わる
        // 負の閉路があるとV回目でも更新が起こる
        if (i == V - 1)
          return true;
      }
    }
  }

  return false;
}

// 始点から負の閉路に到達できて、かつ
// 終点が負の閉路に含まれているパターン
// 稼いだあとにゴールできる
template <typename T>
bool find_negative_loopC(Edges<T> &edges, vector<T> &d, int V, int s, int t) {

  // V-1回の更新のあとに更新が起きてると負の閉路
  // 一つの大きな輪になってるとさらにV回かかる
  // V-1以降に更新が起こった時に、辺の行き先toが終点だったら
  // 負の閉路に終点が含まれることになる。
  for (int i = 0; i < 2 * V; i++) {
    for (auto &e : edges) {
      if (d[e.from] != INF && d[e.to] > d[e.from] + e.cost) {
        d[e.to] = d[e.from] + e.cost;
        // 負の閉路がなければV-1で終わる
        // 負の閉路があるとV回目でも更新が起こる
        if (i >= V - 1 && e.to == t)
          return true;
      }
    }
  }

  return false;
}

// if (find_negative_loopB(es, dist, V, R)) {
//	cout << "NEGATIVE CYCLE" << endl;
// }
// else {
//	for (int i = 0; i < V; i++) {
//
//		if (dist[i] != INF) {
//			cout << dist[i] << endl;
//		}
//		else {
//			cout << "INF" << endl;
//		}
//
//	}
// }

// 負の閉路がないとわかっているパターン
// vector< T > bellman_ford(Edges< T > &edges, int V, int s)

// A 到達できるできない関係なしに、負の閉路があればtrueを返す
// 負の閉路のチェックのみ(距離は無効)
// bool find_negative_loopA(Edges< T > &edges, vector<T> &dist, int V)

// B
// 到達できる閉路があるかどうか
// 稼いだあとにゴールできるかは問わない
// 始点→終点→負の閉路→×終点のパターンはこの関数では検出できない
// template< typename T >
// bool find_negative_loopB(Edges< T > &edges, vector<T> &dist, int V, int s)

// C
// 始点から負の閉路に到達できて、かつ
// 終点が負の閉路に含まれているパターン
// 稼いだあとにゴールできる

// bool find_negative_loopC(Edges< T > &edges, vector<T> &dist, int V, int s,
// int t)

int main() {

  LL V, E, R;
  cin >> V >> E >> R;
  Edges<LL> es;

  vector<LL> x(E);
  vector<LL> y(E);
  vector<LL> z(E);

  for (int i = 0; i < E; i++) {
    cin >> x[i] >> y[i] >> z[i];
    x[i]--;
    y[i]--;
    z[i] = -z[i];
    es.emplace_back(x[i], y[i], z[i]);
  }

  vector<LL> dist;

  // たどり着けない最大値を指定する(10^9で間に合わなかったら書き換えて)
  dist.resize(V, INF2);

  dist[R] = 0;

  if (find_negative_loopC(es, dist, V, 0, V - 1)) {
    cout << "inf" << endl;
  } else {
    cout << -dist[V - 1] << endl;
  }

  return 0;
}

Fixed submission:

// include
//------------------------------------------
#include <algorithm>
#include <bitset>
#include <climits>
#include <cmath>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <ctime>
#include <deque>
#include <fstream>
#include <functional>
#include <iomanip>
#include <iostream>
#include <limits>
#include <list>
#include <map>
#include <numeric>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <string>
#include <utility>
#include <vector>

using namespace std;

// conversion
//------------------------------------------
inline int toInt(string s) {
  int v;
  istringstream sin(s);
  sin >> v;
  return v;
}
template <class T> inline string toString(T x) {
  ostringstream sout;
  sout << x;
  return sout.str();
}

// math
//-------------------------------------------
template <class T> inline T sqr(T x) { return x * x; }

// typedef
//------------------------------------------
typedef vector<int> VI;
typedef vector<VI> VVI;
typedef vector<string> VS;
typedef pair<int, int> PII;
typedef long long LL;

// container util
//------------------------------------------
#define ALL(a) (a).begin(), (a).end()
#define RALL(a) (a).rbegin(), (a).rend()
#define PB push_back
#define MP make_pair
#define SZ(a) int((a).size())
#define EACH(i, c)                                                             \
  for (typeof((c).begin()) i = (c).begin(); i != (c).end(); ++i)
#define EXIST(s, e) ((s).find(e) != (s).end())
#define EXISTch(s, c)                                                          \
  ((((s).find_first_of(c)) != std::string::npos) ? 1 : 0) // cがあれば1 if(1)
#define SORT(c) sort((c).begin(), (c).end())

#define REP(i, n) for (int i = 0; i < (int)n; ++i)
#define FOR(i, c)                                                              \
  for (__typeof((c).begin()) i = (c).begin(); i != (c).end(); ++i)

// constant
//--------------------------------------------
const double EPS = 1e-10;
const double PI = acos(-1.0);
const int INF = (int)1000000007;
const LL MOD = (LL)1000000007;          // 10^9+7
const LL INF2 = (LL)100000000000000000; // 10^18

template <typename T> struct edge {
  int from, to;
  T cost;

  edge(int to, T cost) : from(-1), to(to), cost(cost) {}

  edge(int from, int to, T cost) : from(from), to(to), cost(cost) {}

  edge &operator=(const int &x) {
    to = x;
    return *this;
  }

  operator int() const { return to; }
};

template <typename T> using Edges = vector<edge<T>>;

template <typename T> vector<T> bellman_ford(Edges<T> &edges, int V, int s) {
  const auto INF = numeric_limits<T>::max();
  vector<T> dist(V, INF);
  dist[s] = 0;
  for (int i = 0; i < V - 1; i++) {
    for (auto &e : edges) {
      if (dist[e.from] == INF)
        continue;
      dist[e.to] = min(dist[e.to], dist[e.from] + e.cost);
    }
  }

  return dist;
}

// 到達できるできない関係なしに、負の閉路があればtrueを返す
template <typename T>
bool find_negative_loopA(Edges<T> &edges, vector<T> &d, int V) {

  // 距離の重みを0にしておくことで、始点から順番にたどるという行動をスキップして
  // 単に構造として負の閉路をもっているかを調べられる
  vector<T> dist(V, 0);

  for (int i = 0; i < V; i++) {
    for (auto &e : edges) {
      if (d[e.to] > d[e.from] + e.cost) {
        d[e.to] = d[e.from] + e.cost;
        // 負の閉路がなければV-1で終わる
        // 負の閉路があるとV回目でも更新が起こる
        if (i == V - 1)
          return true;
      }
    }
  }

  return false;
}

// 到達できる閉路があるかどうか
// 稼いだあとにゴールできるかは問わない

// 始点→終点→負の閉路→×終点のパターンはこの関数では検出できない
template <typename T>
bool find_negative_loopB(Edges<T> &edges, vector<T> &d, int V, int s) {

  for (int i = 0; i < V; i++) {
    for (auto &e : edges) {
      if (d[e.from] != INF && d[e.to] > d[e.from] + e.cost) {
        d[e.to] = d[e.from] + e.cost;
        // 負の閉路がなければV-1で終わる
        // 負の閉路があるとV回目でも更新が起こる
        if (i == V - 1)
          return true;
      }
    }
  }

  return false;
}

// 始点から負の閉路に到達できて、かつ
// 終点が負の閉路に含まれているパターン
// 稼いだあとにゴールできる
template <typename T>
bool find_negative_loopC(Edges<T> &edges, vector<T> &d, int V, int s, int t) {

  // V-1回の更新のあとに更新が起きてると負の閉路
  // 一つの大きな輪になってるとさらにV回かかる
  // V-1以降に更新が起こった時に、辺の行き先toが終点だったら
  // 負の閉路に終点が含まれることになる。
  for (int i = 0; i < 2 * V; i++) {
    for (auto &e : edges) {
      if (d[e.from] != INF && d[e.to] > d[e.from] + e.cost) {
        d[e.to] = d[e.from] + e.cost;
        // 負の閉路がなければV-1で終わる
        // 負の閉路があるとV回目でも更新が起こる
        if (i >= V - 1 && e.to == t)
          return true;
      }
    }
  }

  return false;
}

// if (find_negative_loopB(es, dist, V, R)) {
//	cout << "NEGATIVE CYCLE" << endl;
// }
// else {
//	for (int i = 0; i < V; i++) {
//
//		if (dist[i] != INF) {
//			cout << dist[i] << endl;
//		}
//		else {
//			cout << "INF" << endl;
//		}
//
//	}
// }

// 負の閉路がないとわかっているパターン
// vector< T > bellman_ford(Edges< T > &edges, int V, int s)

// A 到達できるできない関係なしに、負の閉路があればtrueを返す
// 負の閉路のチェックのみ(距離は無効)
// bool find_negative_loopA(Edges< T > &edges, vector<T> &dist, int V)

// B
// 到達できる閉路があるかどうか
// 稼いだあとにゴールできるかは問わない
// 始点→終点→負の閉路→×終点のパターンはこの関数では検出できない
// template< typename T >
// bool find_negative_loopB(Edges< T > &edges, vector<T> &dist, int V, int s)

// C
// 始点から負の閉路に到達できて、かつ
// 終点が負の閉路に含まれているパターン
// 稼いだあとにゴールできる

// bool find_negative_loopC(Edges< T > &edges, vector<T> &dist, int V, int s,
// int t)

int main() {

  LL V, E, R;
  cin >> V >> E;

  R = 0;
  Edges<LL> es;

  vector<LL> x(E);
  vector<LL> y(E);
  vector<LL> z(E);

  for (int i = 0; i < E; i++) {
    cin >> x[i] >> y[i] >> z[i];
    x[i]--;
    y[i]--;
    z[i] = -z[i];
    es.emplace_back(x[i], y[i], z[i]);
  }

  vector<LL> dist;

  // たどり着けない最大値を指定する(10^9で間に合わなかったら書き換えて)
  dist.resize(V, INF2);

  dist[R] = 0;

  if (find_negative_loopC(es, dist, V, 0, V - 1)) {
    cout << "inf" << endl;
  } else {
    cout << -dist[V - 1] << endl;
  }

  return 0;
}