//ゴールに到達可能な頂点集合について時刻N以降の更新が起きる場合はinf //↑をしないで頂点N-1を監視するだけでは「ループの関係しない所からクソデカスコアにできる」場合にループ検出できないので注意 //-INFからの遷移を許容してもループ検出には影響しないか(→大丈夫そう)。ndp, highを持たなくて大丈夫そうか #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]; 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; dp[0] = a[0]; int ans = -INF; rep(i, 2 * n) { rep(j, n) { rep(k, et[j].size()) { int u = j; int v = et[j][k]; int val = dp[u] - ec[j][k] + a[v]; if (can_goal[v] && val > dp[v] && i >= n) { cout << "inf" << endl; return 0; } dp[v] = max(dp[v], val); } } ans = max(ans, dp[n - 1]); } cout << ans << endl; return 0; }