結果

問題 No.654 Air E869120
コンテスト
ユーザー SHIJOU
提出日時 2020-08-09 01:26:20
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 4 ms / 2,000 ms
コード長 3,384 bytes
コンパイル時間 2,925 ms
コンパイル使用メモリ 212,128 KB
最終ジャッジ日時 2025-01-12 19:14:13
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 35
権限があれば一括ダウンロードができます

ソースコード

diff # 

//#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
#define rep(i, n) for(int i=0; i<n; ++i)
#define all(v) v.begin(), v.end()
#define rall(v) v.rbegin(), v.rend()
using namespace std;
using ll = int64_t;
using ld = long double;
using P = pair<int, int>;
using vs = vector<string>;
using vi = vector<int>;
using vvi = vector<vi>;
template<class T> using PQ = priority_queue<T>;
template<class T> using PQG = priority_queue<T, vector<T>, greater<T> >;
const int INF = 100010001;
const ll LINF = (ll)INF*INF*10;
template<typename T1, typename T2>
inline bool chmax(T1 &a, T2 b) {return a < b && (a = b, true);}
template<typename T1, typename T2>
inline bool chmin(T1 &a, T2 b) {return a > b && (a = b, true);}
template<typename T1, typename T2>
istream &operator>>(istream &is, pair<T1, T2> &p) { return is >> p.first >> p.second;}
template<typename T1, typename T2>
ostream &operator<<(ostream &os, const pair<T1, T2> &p) { return os << p.first << ' ' << p.second;}

struct edge{
  int to, rev;
  int64_t cap;
  edge(int t=0, int64_t c=0, int r=0):to(t), cap(c), rev(r) {}
};

struct max_flow {
  vector<vector<edge> > G;
  vector<int> level, iter;
  int n;
  max_flow(int n=0):n(n), G(n), level(n), iter(n) {}
  inline void add(int from, int to, int64_t cap) {
    G[from].emplace_back(to, cap, G[to].size());
    G[to].emplace_back(from, 0, G[from].size()-1);
  }
  void bfs(int s) {
    for(int i = 0; i < n; i++) level[i] = -1;
    queue<int> que;
    level[s] = 0;
    que.emplace(s);
    while(!que.empty()) {
      int now = que.front();
      que.pop();
      for(edge &e:G[now]) {
        if(e.cap > 0 and level[e.to] < 0) {
          level[e.to] = level[now] + 1;
          que.emplace(e.to);
        }
      }
    }
  }
  int64_t dfs(int v, int t, int64_t f) {
    if(v == t) return f;
    for(int &i = iter[v]; i < G[v].size(); i++) {
      edge &e = G[v][i];
      if(e.cap > 0 and level[v] < level[e.to]) {
        int64_t d = dfs(e.to, t, min(f, e.cap));
        if(d > 0) {
          e.cap -= d;
          G[e.to][e.rev].cap += d;
          return d;
        }
      }
    }
    return 0;
  }
  int64_t Dinic(int s, int t) {
    int64_t flow = 0;
    while(true) {
      bfs(s);
      if(level[t] < 0) return flow;
      for(int i = 0; i < n; i++) iter[i] = 0;
      int64_t f;
      while((f = dfs(s, t, INT64_MAX)) > 0) flow += f;
    }
  }
};

struct flight {
  int u, v, p, q, w;
  bool operator<(const flight X) const {return p < X.p;}
};

const int N = 1000;

//head

int n, m, d;
flight F[N];
PQG<pair<int, P> > q;
int pl[N];

int main() {
  memset(pl, -1, sizeof(pl));
  ios::sync_with_stdio(false);
  cin.tie(0);
  cin >> n >> m >> d;
  const int s = m, t = m+1;
  rep(i, m) {
    int u, v, p, q, w;
    cin >> u >> v >> p >> q >> w;
    u--; v--;
    F[i] = (flight){u, v, p, q, w};
  }
  sort(F, F+m);

  max_flow M(m+2);
  rep(i, m) {
    flight &f = F[i];
    while(!q.empty() and q.top().first <= f.p-d) {
      pair<int, P> y = q.top();
      q.pop();
      if(pl[y.second.second] != -1) M.add(pl[y.second.second], y.second.first, LINF);
      pl[y.second.second] = y.second.first;
    }
    if(f.u and pl[f.u] == -1) continue;
    int z = i;
    if(f.v == n-1) z = t;
    if(!f.u) {
      M.add(s, z, f.w);
    } else {
      M.add(pl[f.u], z, f.w);
    }
    if(f.v != n-1) {
      q.emplace(f.q, P(z, f.v));
    }
  }

  cout << M.Dinic(s, t) << endl;
}
0