//ゴールに到達可能な頂点集合について時刻N以降の更新が起きる場合はinf //↑をしないで頂点N-1を監視するだけでは「ループの関係しない所からクソデカスコアにできる」場合にループ検出できないので注意 //-INF → -INF + α と遷移する場合を更新とみなすのもよくないので、-INFからは遷移できないようにする #include #include #include #include #include #include #include #include #include #include #include #include #include #define rep(i, n) for(i = 0; i < n; i++) #define int long long using namespace std; const int INF = 1e+16; int n, m; int a[2500]; vector et[2500], rev_et[2500]; vector ec[2500]; bool can_goal[2500]; int dp[2500], ndp[2500], high[2500]; signed main() { int i, j, k; cin >> n >> m; rep(i, n) cin >> a[i]; rep(i, m) { int u, v, c; cin >> u >> v >> c; u--; v--; et[u].push_back(v); ec[u].push_back(c); rev_et[v].push_back(u); } queue que; que.push(n - 1); can_goal[n - 1] = true; while (!que.empty()) { int v = que.front(); que.pop(); for (int nv: rev_et[v]) { if (can_goal[nv] == false) { can_goal[nv] = true; que.push(nv); } } } rep(i, n) dp[i] = -INF; rep(i, n) ndp[i] = -INF; rep(i, n) high[i] = -INF; dp[0] = a[0]; int ans = -INF; rep(i, 2 * n) { rep(j, n) { if (dp[j] == -INF) continue; //始点から到達できない頂点を遷移元にしない rep(k, et[j].size()) { int u = j; int v = et[j][k]; int val = dp[u] - ec[j][k] + a[v]; ndp[v] = max(ndp[v], val); if (can_goal[v] && high[v] < ndp[v] && i >= n) { cout << "inf" << endl; return 0; } high[v] = max(high[v], ndp[v]); } } ans = max(ans, ndp[n - 1]); rep(j, n) dp[j] = ndp[j]; rep(j, n) ndp[j] = -INF; } cout << ans << endl; return 0; }