結果
| 問題 | No.2712 Play more! | 
| コンテスト | |
| ユーザー |  umezo | 
| 提出日時 | 2024-03-31 15:29:59 | 
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 47 ms / 2,000 ms | 
| コード長 | 1,430 bytes | 
| コンパイル時間 | 2,982 ms | 
| コンパイル使用メモリ | 254,548 KB | 
| 実行使用メモリ | 5,248 KB | 
| 最終ジャッジ日時 | 2024-09-30 23:50:20 | 
| 合計ジャッジ時間 | 4,152 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 33 | 
ソースコード
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define ALL(v) v.begin(), v.end()
typedef long long ll;
#include <bits/stdc++.h>
using namespace std;
const ll INF=1LL<<60;
struct Edge{
  int to;
  ll w;
  Edge(int to,ll w) : to(to),w(w) {}
};
using Graph=vector<vector<Edge>>;
template<class T> bool chmin(T& a,T b){
  if(a>b){
    a=b;
    return true;
  }
  else return false;
}
int main(){
  int n,m;
  cin>>n>>m;
  vector<ll> A(n);
  rep(i,n) cin>>A[i];
  Graph G(n),G1(n);
  vector<ll> AA(m),B(m),C(m);
  rep(i,m){
    ll a,b,w;
    cin>>a>>b>>w;
    a--,b--;
    AA[i]=a,B[i]=b,C[i]=w;
    G[b].push_back(Edge(a,1));
  }
  
  vector<int> can(n);
  auto dfs=[&](auto dfs,int v,int p)->void{
    can[v]=1;
    for(auto nv:G[v]){
      if(nv.to==p) continue;
      if(can[nv.to]) continue;
      dfs(dfs,nv.to,v);
    }
  };
  dfs(dfs,n-1,-1);
  
  rep(i,m){
    if(can[AA[i]]==0 || can[B[i]]==0) continue;
    G1[AA[i]].push_back(Edge(B[i],C[i]-A[AA[i]]));
  }
  
  bool exist_negative_cycle=false;
  vector<ll> dist(n,INF);
  dist[0]=0;
  rep(i,n){
    bool update=false;
    rep(v,n){
      if(dist[v]==INF) continue;
      for(auto e:G1[v]){
        if(chmin(dist[e.to],dist[v]+e.w)){
          update=true;
        }
      }
    }
    if(!update) break;
    if(i==n-1 && update) exist_negative_cycle=true;
  }
  
  if(exist_negative_cycle) cout<<"inf"<<endl;
  else cout<<A[n-1]-dist[n-1]<<endl;
  
  return 0;
}
            
            
            
        