結果

問題 No.654 Air E869120
ユーザー parukiparuki
提出日時 2018-02-24 09:55:35
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 10 ms / 2,000 ms
コード長 3,739 bytes
コンパイル時間 2,147 ms
コンパイル使用メモリ 184,280 KB
実行使用メモリ 6,824 KB
最終ジャッジ日時 2024-10-12 20:29:44
合計ジャッジ時間 3,651 ms
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,820 KB
testcase_01 AC 2 ms
6,816 KB
testcase_02 AC 2 ms
6,820 KB
testcase_03 AC 2 ms
6,816 KB
testcase_04 AC 2 ms
6,820 KB
testcase_05 AC 2 ms
6,824 KB
testcase_06 AC 2 ms
6,816 KB
testcase_07 AC 2 ms
6,816 KB
testcase_08 AC 2 ms
6,820 KB
testcase_09 AC 2 ms
6,820 KB
testcase_10 AC 7 ms
6,820 KB
testcase_11 AC 6 ms
6,820 KB
testcase_12 AC 6 ms
6,820 KB
testcase_13 AC 7 ms
6,820 KB
testcase_14 AC 6 ms
6,816 KB
testcase_15 AC 6 ms
6,816 KB
testcase_16 AC 9 ms
6,820 KB
testcase_17 AC 10 ms
6,816 KB
testcase_18 AC 9 ms
6,816 KB
testcase_19 AC 9 ms
6,816 KB
testcase_20 AC 5 ms
6,816 KB
testcase_21 AC 5 ms
6,816 KB
testcase_22 AC 3 ms
6,816 KB
testcase_23 AC 4 ms
6,820 KB
testcase_24 AC 5 ms
6,820 KB
testcase_25 AC 4 ms
6,820 KB
testcase_26 AC 3 ms
6,816 KB
testcase_27 AC 3 ms
6,820 KB
testcase_28 AC 3 ms
6,816 KB
testcase_29 AC 3 ms
6,820 KB
testcase_30 AC 3 ms
6,816 KB
testcase_31 AC 3 ms
6,816 KB
testcase_32 AC 3 ms
6,820 KB
testcase_33 AC 3 ms
6,816 KB
testcase_34 AC 3 ms
6,816 KB
testcase_35 AC 2 ms
6,816 KB
testcase_36 AC 2 ms
6,820 KB
testcase_37 AC 2 ms
6,820 KB
testcase_38 AC 2 ms
6,816 KB
testcase_39 AC 2 ms
6,816 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#define _USE_MATH_DEFINES
#include "bits/stdc++.h"
using namespace std;
#define FOR(i,j,k) for(int (i)=(j);(i)<(int)(k);++(i))
#define rep(i,j) FOR(i,0,j)
#define each(x,y) for(auto &(x):(y))
#define mp make_pair
#define MT make_tuple
#define all(x) (x).begin(),(x).end()
#define debug(x) cout<<#x<<": "<<(x)<<endl
#define smax(x,y) (x)=max((x),(y))
#define smin(x,y) (x)=min((x),(y))
#define MEM(x,y) memset((x),(y),sizeof (x))
#define sz(x) (int)(x).size()
#define RT return
#define vv(a,b,c,d) vector<vector<a> >(b,vector<a>(c,d))
#define vvv(a,b,c,d,e) vector<vector<vector<a> > >(b,vv(a,c,d,e))
using ll = long long;
using pii = pair<int, int>;
using vi = vector<int>;
using vll = vector<ll>;

/*
ディニック法による最大フロー
O(|V|^2|E|)
だけど、たいていはかなり高速
*/
template<class Capacity>
struct Dinic {
    struct E {
        int to, rev;
        Capacity cap;
    };
    vector<vector<E>> G;
    vector<bool> used;
    vector<int> level, iter;
    static const Capacity INFW = numeric_limits<Capacity>::max();
    Dinic() {}
    Dinic(int n) : G(n), used(n) {
    }
    void addEdge(int from, int to, Capacity cap) {
        G[from].push_back(E{ to, (int)G[to].size(), cap });
        G[to].push_back(E{ from, (int)G[from].size() - 1 , 0});
    }

    void bfs(int src, int sink) {
        vector<int> que(G.size());
        int ql = 0, qr = 0;
        que[qr++] = src;
        level.assign(G.size(), -1);
        level[src] = 0;
        while (ql < qr && level[sink] == -1) {
            int u = que[ql++];
            for (auto &e : G[u]) {
                if (e.cap > 0 && level[e.to] < 0) {
                    level[e.to] = level[u] + 1;
                    que[qr++] = e.to;
                }
            }
        }
    }

    Capacity dfs(int v, int t, Capacity f) {
        if (v == t) return f;
        for (int &i = iter[v]; i < G[v].size(); i++) {
            E &e = G[v][i];
            if (e.cap > 0 && level[v] < level[e.to]) {
                Capacity 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;
    }

    Capacity calcMaxFlow(int s, int t) {
        Capacity flow = 0;
        while (1) {
            bfs(s, t);
            if (level[t] < 0)return flow;
            Capacity f;
            iter.assign(G.size(), 0);
            while ((f = dfs(s, t, INFW)) > 0) {
                flow += f;
            }
        }
        return flow;
    }
};

int N, M, D, U[1001], V[1001], P[1001], Q[1001], W[1001], limit;
vi times[1001], vertices[1001];

int main() {
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout << fixed << setprecision(20);

    cin >> N >> M >> D;
    limit = (int)1e9 + D;

    rep(i, M) {
        cin >> U[i] >> V[i] >> P[i] >> Q[i] >> W[i];
        --U[i]; --V[i];
        times[U[i]].push_back(P[i]);
        times[V[i]].push_back(Q[i] + D);
    }
    times[0].push_back(0);
    times[N - 1].push_back(limit);
    rep(i, N) {
        sort(all(times[i]));
        times[i].erase(unique(all(times[i])), times[i].end());
    }
    

    int K = 0;
    rep(i, N)rep(j, sz(times[i]))vertices[i].push_back(K++);
    Dinic<ll> dinic(K);
    rep(i, N) {
        rep(j, sz(vertices[i]) - 1) {
            dinic.addEdge(vertices[i][j], vertices[i][j + 1], dinic.INFW);
        }
    }


    auto f = [&](int x, int y) {
        return vertices[x][lower_bound(all(times[x]), y) - times[x].begin()];
    };
    rep(i, M) {
        int u = f(U[i], P[i]);
        int v = f(V[i], Q[i] + D);
        dinic.addEdge(u, v, W[i]);
    }

    cout << dinic.calcMaxFlow(0, K - 1) << endl;
}
0