Submission #219644

# Submission time Handle Problem Language Result Execution time Memory
219644 2020-04-05T21:09:01 Z tatyam Islands (IOI08_islands) C++17
80 / 100
1194 ms 131076 KB
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using pii = pair<int, int>;
template<class T> using pq = priority_queue<T, vector<T>, greater<T>>;
const ll INF = 0x1fffffffffffffff;
#define overload3(a,b,c,d,...) d
#define all(a) begin(a), end(a)
#define rep1(n) for(int i = 0; i < n; i++)
#define rep2(i,n) for(int i = 0; i < n; i++)
#define rep3(i,a,b) for(int i = a; i < b; i++)
#define rep(...) overload3(__VA_ARGS__, rep3, rep2, rep1)(__VA_ARGS__)
#define each(i,a) for(auto&& i : a)
 
template<class T, class U> bool chmin(T& a, const U& b){ if(a > b){ a = b; return 1; } return 0; }
template<class T, class U> bool chmax(T& a, const U& b){ if(a < b){ a = b; return 1; } return 0; }
 
 
 
struct SlidMax{
    deque<pair<ll, int>> q;
    int low = 0, high = 0;
    ll pop(){
        ll ans = q[0].first;
        if(q.front().second == low++) q.pop_front();
        return ans;
    }
    void push(ll x){
        while(q.size() && q.back().first <= x) q.pop_back();
        q.emplace_back(x, high++);
    }
};
ll Diameter(const vector<vector<pii>>& g){
    int n = g.size();
    vector<ll> cost(n, INF);
    vector<bool> used(n);
    pq<pii> q;
    q.emplace(0, 0);
    cost[0] = 0;
    while(q.size()){
        int at = q.top().second;
        q.pop();
        if(used[at]) continue;
        used[at] = 1;
        each(i, g[at]) if(chmin(cost[i.first], cost[at] + i.second)) q.emplace(cost[i.first], i.first);
    }
    int d = max_element(all(cost)) - cost.begin();
    cost.assign(n, INF);
    used.assign(n, 0);
    q.emplace(0, d);
    cost[d] = 0;
    while(q.size()){
        int at = q.top().second;
        q.pop();
        if(used[at]) continue;
        used[at] = 1;
        each(i, g[at]) if(chmin(cost[i.first], cost[at] + i.second)) q.emplace(cost[i.first], i.first);
    }
    return *max_element(all(cost));
}
ll solve(const vector<vector<pii>>& g){
    int n = g.size();
    int at = 0;
    vector<bool> circle(n);
    rep(n) at = g[at][0].first;
    rep(n){
        at = g[at][0].first;
        circle[at] = 1;
    }
    vector<ll> d(n);
    auto dfs = [&](int from, int at, const auto& f) -> void {
        rep(i, 1, g[at].size()){
            int to = g[at][i].first;
            if(to != from && !circle[to]){
                f(at, to, f);
                chmax(d[at], d[to] + g[at][i].second);
            }
        }
    };
    rep(n) if(circle[i]) dfs(-1, i, dfs);
    ll ans = Diameter(g);
    int circle_size = accumulate(all(circle), 0);
    vector<ll> len(circle_size * 2 + 1);
    rep(circle_size * 2){
        int to = g[at][0].first;
        len[i + 1] = len[i] + g[at][0].second;
        at = to;
    }
    SlidMax mx;
    rep(circle_size - 1){
        at = g[at][0].first;
        mx.push(len[i + 1] + d[at]);
    }
    at = g[at][0].first;
    rep(circle_size){
        chmax(ans, mx.pop() - len[i] + d[at]);
        mx.push(len[circle_size + i] + d[at]);
        at = g[at][0].first;
    }
    return ans;
}
int main(){
    int n;
    cin >> n;
    vector<vector<pii>> G(n);
    rep(n){
        int a, b;
        cin >> a >> b;
        a--;
        G[i].emplace_back(a, b);
    }
    rep(n) G[G[i][0].first].emplace_back(i, G[i][0].second);
    vector<int> idx(n, -1);
    ll ans = 0;
    rep(n) if(idx[i] == -1){
        vector<int> vertex;
        auto cc = [&](int at, const auto& f) -> void {
            idx[at] = vertex.size();
            vertex.push_back(at);
            each(i, G[at]) if(idx[i.first] == -1) f(i.first, f);
        };
        cc(i, cc);
        int n = vertex.size();
        vector<vector<pii>> g(n);
        rep(n){
            auto& edge = G[vertex[i]][0];
            g[i].emplace_back(idx[edge.first], edge.second);
        }
        rep(n){
            auto& edge = g[i][0];
            g[edge.first].emplace_back(i, edge.second);
        }
        ans += solve(g);
    }
    cout << ans << endl;
}

Compilation message

islands.cpp: In instantiation of 'solve(const std::vector<std::vector<std::pair<int, int> > >&)::<lambda(int, int, const auto:1&)> [with auto:1 = solve(const std::vector<std::vector<std::pair<int, int> > >&)::<lambda(int, int, const auto:1&)>]':
islands.cpp:80:40:   required from here
islands.cpp:11:38: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
 #define rep3(i,a,b) for(int i = a; i < b; i++)
                                      ^
islands.cpp:7:32: note: in expansion of macro 'rep3'
 #define overload3(a,b,c,d,...) d
                                ^
islands.cpp:12:18: note: in expansion of macro 'overload3'
 #define rep(...) overload3(__VA_ARGS__, rep3, rep2, rep1)(__VA_ARGS__)
                  ^~~~~~~~~
islands.cpp:72:9: note: in expansion of macro 'rep'
         rep(i, 1, g[at].size()){
         ^~~
# Verdict Execution time Memory Grader output
1 Correct 4 ms 256 KB Output is correct
2 Correct 5 ms 384 KB Output is correct
3 Correct 5 ms 384 KB Output is correct
4 Correct 4 ms 384 KB Output is correct
5 Correct 4 ms 384 KB Output is correct
6 Correct 4 ms 256 KB Output is correct
7 Correct 4 ms 256 KB Output is correct
8 Correct 4 ms 256 KB Output is correct
9 Correct 4 ms 384 KB Output is correct
10 Correct 5 ms 384 KB Output is correct
11 Correct 5 ms 384 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 6 ms 512 KB Output is correct
2 Correct 7 ms 384 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 7 ms 512 KB Output is correct
2 Correct 10 ms 1024 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 25 ms 1692 KB Output is correct
2 Correct 58 ms 6516 KB Output is correct
3 Correct 36 ms 3448 KB Output is correct
4 Correct 21 ms 1792 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 80 ms 9080 KB Output is correct
2 Correct 133 ms 9508 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 305 ms 31348 KB Output is correct
2 Correct 298 ms 26568 KB Output is correct
3 Correct 368 ms 45468 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 550 ms 30404 KB Output is correct
2 Correct 695 ms 89340 KB Output is correct
3 Correct 703 ms 73320 KB Output is correct
4 Correct 903 ms 116036 KB Output is correct
# Verdict Execution time Memory Grader output
1 Runtime error 1194 ms 131076 KB Execution killed with signal 9 (could be triggered by violating memory limits)
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Runtime error 1190 ms 131076 KB Execution killed with signal 9 (could be triggered by violating memory limits)
2 Halted 0 ms 0 KB -