Submission #1087616

# Submission time Handle Problem Language Result Execution time Memory
1087616 2024-09-13T03:00:23 Z Whisper Aesthetic (NOI20_aesthetic) C++17
51 / 100
895 ms 78420 KB
#include <bits/stdc++.h>

using namespace std;
using ll = long long;

#define int long long
#define FOR(i, a, b) for (int i = (a); i <= (b); i++)
#define FORD(i, a, b) for (int i = (b); i >= (a); i --)
#define REP(i, a) for (int i = 0; i < (a); ++i)
#define REPD(i, a) for (int i = (a) - 1; i >= 0; --i)

#define MASK(i) (1LL << (i))
#define BIT(x, i) (((x) >> (i)) & 1)


constexpr ll LINF = (1ll << 60);
constexpr int INF = (1ll << 30);
constexpr int Mod = 1e9 + 7;
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());

/*
    Phu Trong from Nguyen Tat Thanh High School for gifted student
*/

template <class X, class Y>
    bool minimize(X &x, const Y &y){
        X eps = 1e-9;
        if (x > y + eps) {x = y; return 1;}
        return 0;
    }

template <class X, class Y>
    bool maximize(X &x, const Y &y){
        X eps = 1e-9;
        if (x + eps < y) {x = y; return 1;}
        return 0;
    }
#define MAX                 300005
int numNode, numEdge;
vector<int> G[MAX];
struct Edge{
    int u, v, w;
    Edge(){}
    Edge(int _u, int _v, int _w): u(_u), v(_v), w(_w){}

    int other(int x){return (x ^ u ^ v);}
} edge[MAX];
int minDist[2][MAX];

void dijkstra(int s, int minDist[]){
    for (int i = 1; i <= numNode; ++i) minDist[i] = LINF;
    priority_queue<pair<int, int>, vector<pair<int, int>>, greater<pair<int, int>>> q;
    q.emplace(0, s);
    minDist[s] = 0;
    while(q.size()){
        int du, u; tie(du, u) = q.top(); q.pop();
        if(du > minDist[u]) continue;

        for(int&i : G[u]) {
            int v = edge[i].other(u);
            if(minimize(minDist[v], minDist[u] + edge[i].w)){
                q.emplace(minDist[v], v);
            }
        }
    }
}

int low[MAX], num[MAX], timeDfs = 0;

int suffix[MAX];
bool contain[MAX];
vector<pair<int, int>> newG[MAX];
bool ok = 0;

int value = 0;
void tarjan(int u, int p){
    if(u == numNode) contain[u] = true;
    low[u] = num[u] = ++timeDfs;
    for (pair<int, int>&x : newG[u]){
        int v = x.first, i = x.second;
        if(v ^ p){
            if(num[v]) minimize(low[u], num[v]);
            else{
                tarjan(v, u);
                minimize(low[u], low[v]);
                contain[u] |= contain[v];

                if(num[v] == low[v]){
                    if(!contain[v]) continue;
                    if(minDist[0][u] + edge[i].w + minDist[1][v] != minDist[0][numNode]) continue;
                    if(minDist[0][u] + edge[i].w + minDist[1][v] + suffix[i] >= minDist[0][numNode] + value)
                        ok = 1;
                }
            }
        }
    }
}

void process(void){
    cin >> numNode >> numEdge;
    int max_weight = 0;
    for (int i = 1; i <= numEdge; ++i){
        cin >> edge[i].u >> edge[i].v >> edge[i].w;
        G[edge[i].u].emplace_back(i);
        G[edge[i].v].emplace_back(i);
        maximize(max_weight, edge[i].w);
    }

    dijkstra(1, minDist[0]);
    dijkstra(numNode, minDist[1]);

    suffix[numEdge] = -LINF;
    for (int i = numEdge - 1; i >= 1; --i){
        maximize(suffix[i], suffix[i + 1]);
        maximize(suffix[i], edge[i + 1].w);
    }

    for (int i = 1; i <= numEdge; ++i){
        if(minDist[0][edge[i].u] > minDist[0][edge[i].v]) swap(edge[i].u, edge[i].v);
    }
    int l = 0, r = max_weight + 1;
    int add = 0;

    auto check = [&](int val) -> bool{
        timeDfs = 0, ok = 0;
        value = val;
        for (int i = 1; i <= numNode; ++i) newG[i].clear(), contain[i] = num[i] = low[i] = 0;

        auto active = [&](int u, int v, int w, int x) -> bool{
            if(minDist[0][u] + minDist[1][v] + w < minDist[0][numNode] + x) return true;
            if(minDist[0][v] + minDist[1][u] + w < minDist[0][numNode] + x) return true;
            return false;
        };

        for (int u = 1; u <= numNode; ++u){
            for (int&i : G[u]){
                int v = edge[i].other(u);
                if(active(u, v, edge[i].w, val)) {
                    newG[u].emplace_back(v, i);
                }
            }
        }
        tarjan(1, 0);
        return (ok);
    };

    while(l <= r){
        int m = (l + r) >> 1;
        if(check(m)) l = m + 1, add = m;
        else r = m - 1;
    }

    cout << minDist[0][numNode] + add;
}
signed main(){
    #define name "Whisper"
    cin.tie(nullptr) -> sync_with_stdio(false);
    //freopen(name".inp", "r", stdin);
    //freopen(name".out", "w", stdout);
    process();
    return (0 ^ 0);
}




Compilation message

Aesthetic.cpp: In lambda function:
Aesthetic.cpp:127:81: warning: suggest parentheses around assignment used as truth value [-Wparentheses]
  127 |         for (int i = 1; i <= numNode; ++i) newG[i].clear(), contain[i] = num[i] = low[i] = 0;
      |                                                                          ~~~~~~~^~~~~~~~~~~~
# Verdict Execution time Memory Grader output
1 Correct 7 ms 14428 KB Output is correct
2 Correct 6 ms 14428 KB Output is correct
3 Correct 6 ms 14428 KB Output is correct
4 Correct 6 ms 14428 KB Output is correct
5 Correct 6 ms 14612 KB Output is correct
6 Correct 6 ms 14428 KB Output is correct
7 Correct 6 ms 14432 KB Output is correct
8 Correct 8 ms 14428 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 7 ms 14428 KB Output is correct
2 Correct 6 ms 14428 KB Output is correct
3 Correct 6 ms 14428 KB Output is correct
4 Correct 6 ms 14428 KB Output is correct
5 Correct 6 ms 14612 KB Output is correct
6 Correct 6 ms 14428 KB Output is correct
7 Correct 6 ms 14432 KB Output is correct
8 Correct 8 ms 14428 KB Output is correct
9 Correct 7 ms 14684 KB Output is correct
10 Correct 8 ms 14684 KB Output is correct
11 Correct 12 ms 14684 KB Output is correct
12 Correct 9 ms 14684 KB Output is correct
13 Correct 8 ms 14684 KB Output is correct
14 Correct 8 ms 14684 KB Output is correct
15 Correct 8 ms 14684 KB Output is correct
16 Correct 7 ms 14684 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 795 ms 51024 KB Output is correct
2 Correct 895 ms 51028 KB Output is correct
3 Correct 809 ms 50768 KB Output is correct
4 Correct 805 ms 50748 KB Output is correct
5 Correct 845 ms 51136 KB Output is correct
6 Correct 816 ms 51860 KB Output is correct
7 Correct 804 ms 51580 KB Output is correct
8 Correct 837 ms 51696 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 787 ms 52052 KB Output is correct
2 Correct 697 ms 51280 KB Output is correct
3 Correct 670 ms 51116 KB Output is correct
4 Correct 651 ms 51764 KB Output is correct
5 Correct 653 ms 51064 KB Output is correct
6 Correct 615 ms 51200 KB Output is correct
7 Correct 669 ms 51124 KB Output is correct
8 Correct 615 ms 51484 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 236 ms 44916 KB Output is correct
2 Correct 138 ms 46420 KB Output is correct
3 Correct 188 ms 61008 KB Output is correct
4 Correct 187 ms 61008 KB Output is correct
5 Correct 178 ms 61052 KB Output is correct
6 Correct 183 ms 61112 KB Output is correct
7 Correct 180 ms 61012 KB Output is correct
8 Correct 183 ms 61340 KB Output is correct
9 Correct 178 ms 61156 KB Output is correct
10 Correct 179 ms 61616 KB Output is correct
11 Correct 201 ms 61268 KB Output is correct
12 Correct 223 ms 45144 KB Output is correct
13 Correct 180 ms 61268 KB Output is correct
14 Correct 120 ms 78420 KB Output is correct
15 Correct 111 ms 78416 KB Output is correct
16 Correct 200 ms 45000 KB Output is correct
17 Correct 204 ms 44108 KB Output is correct
18 Correct 200 ms 44676 KB Output is correct
19 Correct 119 ms 46244 KB Output is correct
20 Correct 128 ms 46420 KB Output is correct
21 Correct 119 ms 46368 KB Output is correct
22 Correct 132 ms 46416 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 236 ms 44916 KB Output is correct
2 Correct 138 ms 46420 KB Output is correct
3 Correct 188 ms 61008 KB Output is correct
4 Correct 187 ms 61008 KB Output is correct
5 Correct 178 ms 61052 KB Output is correct
6 Correct 183 ms 61112 KB Output is correct
7 Correct 180 ms 61012 KB Output is correct
8 Correct 183 ms 61340 KB Output is correct
9 Correct 178 ms 61156 KB Output is correct
10 Correct 179 ms 61616 KB Output is correct
11 Correct 201 ms 61268 KB Output is correct
12 Correct 223 ms 45144 KB Output is correct
13 Correct 180 ms 61268 KB Output is correct
14 Correct 120 ms 78420 KB Output is correct
15 Correct 111 ms 78416 KB Output is correct
16 Correct 200 ms 45000 KB Output is correct
17 Correct 204 ms 44108 KB Output is correct
18 Correct 200 ms 44676 KB Output is correct
19 Correct 119 ms 46244 KB Output is correct
20 Correct 128 ms 46420 KB Output is correct
21 Correct 119 ms 46368 KB Output is correct
22 Correct 132 ms 46416 KB Output is correct
23 Correct 276 ms 45328 KB Output is correct
24 Correct 202 ms 48980 KB Output is correct
25 Correct 146 ms 43856 KB Output is correct
26 Correct 188 ms 41944 KB Output is correct
27 Correct 155 ms 42064 KB Output is correct
28 Incorrect 158 ms 44324 KB Output isn't correct
29 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 7 ms 14428 KB Output is correct
2 Correct 6 ms 14428 KB Output is correct
3 Correct 6 ms 14428 KB Output is correct
4 Correct 6 ms 14428 KB Output is correct
5 Correct 6 ms 14612 KB Output is correct
6 Correct 6 ms 14428 KB Output is correct
7 Correct 6 ms 14432 KB Output is correct
8 Correct 8 ms 14428 KB Output is correct
9 Correct 7 ms 14684 KB Output is correct
10 Correct 8 ms 14684 KB Output is correct
11 Correct 12 ms 14684 KB Output is correct
12 Correct 9 ms 14684 KB Output is correct
13 Correct 8 ms 14684 KB Output is correct
14 Correct 8 ms 14684 KB Output is correct
15 Correct 8 ms 14684 KB Output is correct
16 Correct 7 ms 14684 KB Output is correct
17 Correct 795 ms 51024 KB Output is correct
18 Correct 895 ms 51028 KB Output is correct
19 Correct 809 ms 50768 KB Output is correct
20 Correct 805 ms 50748 KB Output is correct
21 Correct 845 ms 51136 KB Output is correct
22 Correct 816 ms 51860 KB Output is correct
23 Correct 804 ms 51580 KB Output is correct
24 Correct 837 ms 51696 KB Output is correct
25 Correct 787 ms 52052 KB Output is correct
26 Correct 697 ms 51280 KB Output is correct
27 Correct 670 ms 51116 KB Output is correct
28 Correct 651 ms 51764 KB Output is correct
29 Correct 653 ms 51064 KB Output is correct
30 Correct 615 ms 51200 KB Output is correct
31 Correct 669 ms 51124 KB Output is correct
32 Correct 615 ms 51484 KB Output is correct
33 Correct 236 ms 44916 KB Output is correct
34 Correct 138 ms 46420 KB Output is correct
35 Correct 188 ms 61008 KB Output is correct
36 Correct 187 ms 61008 KB Output is correct
37 Correct 178 ms 61052 KB Output is correct
38 Correct 183 ms 61112 KB Output is correct
39 Correct 180 ms 61012 KB Output is correct
40 Correct 183 ms 61340 KB Output is correct
41 Correct 178 ms 61156 KB Output is correct
42 Correct 179 ms 61616 KB Output is correct
43 Correct 201 ms 61268 KB Output is correct
44 Correct 223 ms 45144 KB Output is correct
45 Correct 180 ms 61268 KB Output is correct
46 Correct 120 ms 78420 KB Output is correct
47 Correct 111 ms 78416 KB Output is correct
48 Correct 200 ms 45000 KB Output is correct
49 Correct 204 ms 44108 KB Output is correct
50 Correct 200 ms 44676 KB Output is correct
51 Correct 119 ms 46244 KB Output is correct
52 Correct 128 ms 46420 KB Output is correct
53 Correct 119 ms 46368 KB Output is correct
54 Correct 132 ms 46416 KB Output is correct
55 Correct 276 ms 45328 KB Output is correct
56 Correct 202 ms 48980 KB Output is correct
57 Correct 146 ms 43856 KB Output is correct
58 Correct 188 ms 41944 KB Output is correct
59 Correct 155 ms 42064 KB Output is correct
60 Incorrect 158 ms 44324 KB Output isn't correct
61 Halted 0 ms 0 KB -