QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#864886#4809. Maximum RangeMisty7WA 131ms58348kbC++208.3kb2025-01-21 10:42:292025-01-21 10:42:34

Judging History

你现在查看的是最新测评结果

  • [2025-01-21 10:42:34]
  • 评测
  • 测评结果:WA
  • 用时:131ms
  • 内存:58348kb
  • [2025-01-21 10:42:29]
  • 提交

answer

#include <bits/stdc++.h>

using i64 = long long;

std::set<std::pair<int, int>> E;

struct EBCC {
    int n;
    std::vector<std::vector<int>> adj;
    std::vector<int> stk;
    std::vector<int> dfn, low, bel;
    int cur, cnt;
    
    EBCC() {}
    EBCC(int n) {
        init(n);
    }
    
    void init(int n) {
        this->n = n;
        adj.assign(n, {});
        dfn.assign(n, -1);
        low.resize(n);
        bel.assign(n, -1);
        stk.clear();
        cur = cnt = 0;
    }
    
    void addEdge(int u, int v) {
        adj[u].push_back(v);
        adj[v].push_back(u);
    }
    
    void dfs(int x, int p) {
        dfn[x] = low[x] = cur++;
        stk.push_back(x);
        
        for (auto y : adj[x]) {
            if (y == p) {
                continue;
            }
            if (dfn[y] == -1) {
                E.emplace(x, y);
                dfs(y, x);
                low[x] = std::min(low[x], low[y]);
            } else if (bel[y] == -1 && dfn[y] < dfn[x]) {
                E.emplace(x, y);
                low[x] = std::min(low[x], dfn[y]);
            }
        }
        
        if (dfn[x] == low[x]) {
            int y;
            do {
                y = stk.back();
                bel[y] = cnt;
                stk.pop_back();
            } while (y != x);
            cnt++;
        }
    }
    
    std::vector<int> work() {
        dfs(0, -1);
        return bel;
    }
    
    struct Graph {
        int n;
        std::vector<std::pair<int, int>> edges;
        std::vector<int> siz;
        std::vector<int> cnte;
    };
    Graph compress() {
        Graph g;
        g.n = cnt;
        g.siz.resize(cnt);
        g.cnte.resize(cnt);
        for (int i = 0; i < n; i++) {
            g.siz[bel[i]]++;
            for (auto j : adj[i]) {
                if (bel[i] < bel[j]) {
                    g.edges.emplace_back(bel[i], bel[j]);
                } else if (i < j) {
                    g.cnte[bel[i]]++;
                }
            }
        }
        return g;
    }
};

template<class T>
struct MaxFlow {
    struct _Edge {
        int to;
        T cap;
        _Edge(int to, T cap) : to(to), cap(cap) {}
    };
    
    int n;
    std::vector<_Edge> e;
    std::vector<std::vector<int>> g;
    std::vector<int> cur, h;
    
    MaxFlow() {}
    MaxFlow(int n) {
        init(n);
    }
    
    void init(int n) {
        this->n = n;
        e.clear();
        g.assign(n, {});
        cur.resize(n);
        h.resize(n);
    }
    
    bool bfs(int s, int t) {
        h.assign(n, -1);
        std::queue<int> que;
        h[s] = 0;
        que.push(s);
        while (!que.empty()) {
            const int u = que.front();
            que.pop();
            for (int i : g[u]) {
                auto [v, c] = e[i];
                if (c > 0 && h[v] == -1) {
                    h[v] = h[u] + 1;
                    if (v == t) {
                        return true;
                    }
                    que.push(v);
                }
            }
        }
        return false;
    }
    
    T dfs(int u, int t, T f) {
        if (u == t) {
            return f;
        }
        auto r = f;
        for (int &i = cur[u]; i < int(g[u].size()); ++i) {
            const int j = g[u][i];
            auto [v, c] = e[j];
            if (c > 0 && h[v] == h[u] + 1) {
                auto a = dfs(v, t, std::min(r, c));
                e[j].cap -= a;
                e[j ^ 1].cap += a;
                r -= a;
                if (r == 0) {
                    return f;
                }
            }
        }
        return f - r;
    }
    void addEdge(int u, int v, T c) {
        g[u].push_back(e.size());
        e.emplace_back(v, c);
        g[v].push_back(e.size());
        e.emplace_back(u, 0);
    }
    void addEdgeDir(int u, int v, T c) {
        g[u].push_back(e.size());
        e.emplace_back(v, c);
        g[v].push_back(e.size());
        e.emplace_back(u, c);
    }
    T flow(int s, int t) {
        T ans = 0;
        while (bfs(s, t)) {
            cur.assign(n, 0);
            ans += dfs(s, t, std::numeric_limits<T>::max());
        }
        return ans;
    }
    
    std::vector<bool> minCut() {
        std::vector<bool> c(n);
        for (int i = 0; i < n; i++) {
            c[i] = (h[i] != -1);
        }
        return c;
    }
    
    struct Edge {
        int from;
        int to;
        T cap;
        T flow;
    };
    std::vector<Edge> edges() {
        std::vector<Edge> a;
        for (int i = 0; i < e.size(); i++) {
            Edge x;
            x.from = e[i ^ 1].to;
            x.to = e[i].to;
            x.cap = e[i].cap + e[i ^ 1].cap;
            x.flow = e[i ^ 1].cap;
            a.push_back(x);
        }
        return a;
    }
};

constexpr int inf = 1E9 + 1;

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);

    int n, m;
    std::cin >> n >> m;

    EBCC ebcc(n);
    std::vector<std::map<int, int>> mp(n);
    for (int i = 0; i < m; i++) {
        int x, y, w;
        std::cin >> x >> y >> w;
        x--, y--;

        ebcc.addEdge(x, y);
        mp[x][y] = mp[y][x] = w;
    }

    ebcc.work();

    std::vector<int> mina(n, -1), minb(n, -1), maxa(n, -1), maxb(n, -1);
    std::vector<int> mine(n, inf), maxe(n, -inf);
    for (int i = 0; i < n; i++) {
        for (auto [j, w] : mp[i]) {
            if (ebcc.bel[i] == ebcc.bel[j]) {
                if (w < mine[ebcc.bel[i]]) {
                    mine[ebcc.bel[i]] = w;
                    mina[ebcc.bel[i]] = i;
                    minb[ebcc.bel[i]] = j;
                }
                if (w > maxe[ebcc.bel[i]]) {
                    maxe[ebcc.bel[i]] = w;
                    maxa[ebcc.bel[i]] = i;
                    maxb[ebcc.bel[i]] = j;
                }
            }
        }
    }

    int best = -1;
    for (int i = 0; i < n; i++) {
        if (best == -1 || maxe[i] - mine[i] >= maxe[best] - mine[best]) {
            best = i;
        }
    }

    MaxFlow<int> flow(n + 2);
    int s = n, t = s + 1;

    for (int i = 0; i < n; i++) {
        for (int j : ebcc.adj[i]) {
            if ((i == maxa[best] && j == maxb[best]) || (i == mina[best] && j == minb[best])) {
                continue;
            }
            if ((i == maxb[best] && j == maxa[best]) || (i == minb[best] && j == mina[best])) {
                continue;
            }
            if (ebcc.bel[i] == best && ebcc.bel[j] == best && i < j) {
                // std::cerr << i << " " << j << "\n";
                flow.addEdgeDir(i, j, 1);
            }
        }
    }
    flow.addEdgeDir(s, mina[best], 1);
    flow.addEdgeDir(s, minb[best], 1);
    flow.addEdgeDir(maxa[best], t, 1);
    flow.addEdgeDir(maxb[best], t, 1);

    int fl = flow.flow(s, t);
    assert(fl == 2);

    auto edges = flow.edges();

    std::vector<std::vector<int>> adj(n);
    for (auto [from, to, cap, flow] : edges) {
        if (flow == cap && from != s && to != t && from != t && to != s) {
            adj[from].push_back(to);
            adj[to].push_back(from);
            // if (n >= 50000) 
            // {
            //     std::cout << from << " " << to << "\n";
            // }
        }
    }

    adj[mina[best]].push_back(minb[best]);
    adj[minb[best]].push_back(mina[best]);
    adj[maxa[best]].push_back(maxb[best]);
    adj[maxb[best]].push_back(maxa[best]);
    // if (n >= 50000) 
    // {
    //     std::cout << mina[best] << " " << minb[best] << "\n";
    //     std::cout << maxa[best] << " " << maxb[best] << "\n";
    // }

    std::vector<std::map<int, int>> vis(n);

    std::vector<int> stk;
    auto dfs = [&](auto &&self, int x) -> void {
        for (int y : adj[x]) {
            if (vis[x][y]) {
                continue;
            }
            vis[x][y] = vis[y][x] = 1;
            self(self, y);
        }
        stk.push_back(x);
    };
    dfs(dfs, mina[best]);

    stk.pop_back();

    std::cout << maxe[best] - mine[best] << "\n";
    std::cout << stk.size() << "\n";
    for (int i = 0; i < stk.size(); i++) {
        std::cout << stk[i] + 1 << " \n"[i == stk.size() - 1];
    }

    return 0;
}

详细

Test #1:

score: 100
Accepted
time: 1ms
memory: 3584kb

input:

5 7
1 2 1
1 3 -2
2 3 1
3 4 3
4 5 1
1 5 -1
2 5 2

output:

5
4
1 3 4 5

result:

ok ok

Test #2:

score: 0
Accepted
time: 68ms
memory: 41364kb

input:

99997 100000
12238 99016 352755196
99016 25485 -412473602
25485 2440 991507552
2440 31171 -181894654
36970 2440 -800167579
2440 41865 -148191946
96629 31171 847888506
36970 95740 395546542
27992 2440 647886610
99016 29557 369124914
80795 27992 -673871966
36970 3509 573208857
57672 29557 874406776
41...

output:

1959330954
37
31171 95092 34883 46301 96778 37694 88289 30288 68523 54073 84997 89628 67966 84407 3463 72825 51491 87712 96230 22074 72089 76022 86665 92617 74677 86274 94991 96048 4697 44442 68883 69259 57672 29557 99016 25485 2440

result:

ok ok

Test #3:

score: 0
Accepted
time: 73ms
memory: 41360kb

input:

99997 100000
41884 21178 -431811360
41884 42699 -450057006
36523 21178 582079730
21178 96679 615552614
63637 21178 498974417
96679 5108 235820276
75058 41884 220112636
35148 42699 589595309
36523 18002 -637739861
65854 5108 -312755792
45137 41884 -511118771
5108 31311 554050951
25335 35148 -28341059...

output:

1968439328
40
33264 70298 99716 98733 71151 55330 83919 83711 38202 85192 45137 41884 42699 87673 23692 98098 99686 71024 89860 18331 78274 35287 14678 59612 54901 26981 83047 87303 41126 28694 6204 50088 5108 7577 69337 51434 52252 25926 90144 26071

result:

ok ok

Test #4:

score: 0
Accepted
time: 71ms
memory: 41412kb

input:

99984 99999
33974 29867 335681778
33974 87468 348956829
83048 87468 320849805
29867 69456 -424530698
72457 69456 -950650074
53838 83048 755969166
85914 69456 569454441
51728 87468 -202158773
15970 29867 -865071002
15970 94894 697607001
94894 74694 616318126
33974 11496 -89287579
53838 34365 -6577379...

output:

1985932414
36
11395 92249 27866 23026 83298 1652 76013 29864 53838 83048 87468 51728 75902 5449 70238 97838 83656 91542 28078 78849 80694 50114 35807 13570 79841 32897 75496 85914 55808 57640 58540 79605 55857 61993 46598 303

result:

ok ok

Test #5:

score: 0
Accepted
time: 72ms
memory: 41256kb

input:

99988 99992
8584 11873 -811540160
68064 11873 -930246087
11873 60056 916668870
68064 82193 -859062523
60056 75072 790866030
27767 75072 357619485
75072 78221 411650300
39636 82193 264106928
6675 60056 933851261
71747 78221 -508471038
11873 92771 -665232168
34402 27767 -906494982
11873 42714 63734230...

output:

1932268861
30
75593 93559 21107 26922 8975 89787 23798 83283 2518 50628 88236 5185 29873 3186 91957 75072 60056 6675 28745 99809 8778 38274 64174 34179 75176 25891 62720 16385 20678 83884

result:

ok ok

Test #6:

score: 0
Accepted
time: 74ms
memory: 41352kb

input:

99996 99996
58191 98120 261718607
91298 98120 471683748
58191 68921 217652908
67441 91298 -731916804
78177 68921 810185021
98120 54747 -35446486
78177 2822 -409569426
91298 68058 -897038977
68921 39067 892161204
30165 78177 379543758
32418 98120 -139944101
11281 68921 422411872
37751 32418 331606200...

output:

1752928792
25
16812 65221 81854 64478 74019 46983 4369 77560 30739 1917 58464 3308 3783 48440 58191 68921 11281 34081 78216 29915 18913 85525 42296 25934 67249

result:

ok ok

Test #7:

score: 0
Accepted
time: 76ms
memory: 41376kb

input:

99996 100000
39127 4358 657531703
4358 66528 484843263
47215 4358 -856669390
47215 26179 -147254695
24822 39127 -635228854
81984 26179 600617794
24822 60559 327733708
39127 23879 286268283
95563 81984 -766366787
96587 24822 723252700
23879 13711 -303309809
60559 38379 992907085
60559 6012 -15086498
...

output:

1948904917
51
3750 42006 67183 31390 97465 24485 4358 61378 82877 24890 38051 91154 63827 13465 90743 30145 41482 70789 91374 66385 37095 8030 96587 24822 60559 38379 67362 37704 53517 23254 1066 28267 79904 54151 24450 79459 52647 10570 24822 39127 23879 13711 16150 60168 12024 27325 73608 58919 19...

result:

ok ok

Test #8:

score: 0
Accepted
time: 72ms
memory: 41412kb

input:

99983 99998
360 38113 273639182
29807 360 -492749399
360 45494 960572841
67090 45494 -168787586
38113 61765 -90469418
71988 360 -556152065
67090 77653 704061103
30847 38113 542389160
84363 30847 295740326
30847 62591 -916431414
86104 77653 878763485
45494 11422 -795069866
86104 64096 714130240
61765...

output:

1972142685
35
2351 49296 67396 29807 28454 75450 46673 3381 93146 3710 58078 58830 32497 42546 8333 97340 50615 1904 47913 25273 64559 85762 67090 45494 360 38113 30847 84363 71599 12093 31895 24073 85692 74104 1877

result:

ok ok

Test #9:

score: 0
Accepted
time: 75ms
memory: 41364kb

input:

99991 99993
70785 63179 -402654804
91872 63179 -441007900
30847 70785 779215016
72954 63179 -228470351
92375 30847 534166099
49724 63179 -37611056
44235 70785 -443931516
38220 44235 -187234181
44235 63035 -237171010
30847 50624 118354734
92375 24980 -382011924
56418 50624 -658160541
50624 10991 -966...

output:

1793776773
23
40199 70428 9524 46153 84999 31140 44630 73442 3092 58361 62402 66274 56013 57891 97526 53000 30214 85483 52773 86737 91872 63179 72954

result:

ok ok

Test #10:

score: 0
Accepted
time: 75ms
memory: 41364kb

input:

99995 99997
93178 82375 -969044986
93178 19072 -204354005
35344 93178 172625135
93178 56390 -284098052
88798 19072 842699965
82375 24707 508376359
19072 71420 2142150
40446 93178 -437060610
40446 51377 -236216782
51377 89470 -349454494
19614 71420 -747727667
89470 14659 91615005
35344 49064 -7684125...

output:

1928930936
17
82375 93178 40446 51377 3209 48876 53143 61912 65439 55069 80688 84372 3529 41657 13782 6259 19871

result:

ok ok

Test #11:

score: 0
Accepted
time: 65ms
memory: 41284kb

input:

99984 99992
13417 15144 707033172
79217 13417 -472387862
26033 13417 -36135406
13417 16174 -89686765
16174 96840 613288820
13417 11444 -398371819
11444 41716 627519572
41716 5951 233568303
96840 41978 -755500822
55150 41716 715325856
41978 88656 816236450
15144 5839 644375332
88656 95763 878003222
6...

output:

1958415767
40
24802 81816 26100 82891 92172 33954 39284 95939 95763 65480 15155 6162 20549 19346 1019 61488 71601 64840 72086 41533 78871 84539 35258 80696 93511 11993 26033 13417 16174 96840 17104 90176 15965 62781 4719 36613 28616 12538 44860 65474

result:

ok ok

Test #12:

score: 0
Accepted
time: 131ms
memory: 58348kb

input:

80000 98516
26903 1777 -924244496
60501 50043 -169932745
73857 9688 924119596
51789 37304 -395289958
66012 19584 677645038
36094 31329 -438857807
23716 36356 333796707
64800 10550 -272867916
24677 61533 -276717055
37159 23410 564922612
57429 13265 -535543043
53527 15651 304660186
13261 58532 2102669...

output:

1999981013
59626
63158 51881 42774 48849 71472 29552 44888 57998 39597 52407 31857 25312 37326 57254 3377 34441 8349 58329 3626 44309 71553 70385 2150 28021 1903 31984 59971 38713 48211 76837 42048 66939 37696 68154 55066 31704 45753 50942 57019 6753 77783 5408 61336 2478 25623 67236 6666 20290 1154...

result:

ok ok

Test #13:

score: 0
Accepted
time: 89ms
memory: 44624kb

input:

80000 94684
787 61972 -860542411
20083 27809 428832046
4166 26381 209001312
20451 29135 61290072
27638 15329 -490707445
59773 62375 228047113
41999 67706 -799550202
19069 6355 948713742
55898 70936 -879012749
13950 62531 -590275719
50627 17883 622866713
69768 13748 953427970
48538 24420 123552876
18...

output:

1999848367
19139
1060 65463 3800 76766 4265 31392 46260 15588 6394 27003 50170 71955 5885 46187 77997 35953 67402 70497 6884 59964 51310 5598 33858 23919 72810 12572 20216 44194 45901 2376 46238 24522 66807 16290 36052 15023 74828 3152 15711 75813 55365 48839 212 23935 48802 61579 68253 56499 66562 ...

result:

ok ok

Test #14:

score: 0
Accepted
time: 114ms
memory: 48340kb

input:

85000 100000
12684 20697 -831379236
10219 41211 -539041569
17720 69181 -525999432
58189 3530 -215648248
29815 3583 -430621047
9529 62763 -641420982
54333 16217 517578175
3636 39822 -659701191
77761 44172 489371539
55825 60143 523113008
70503 23773 907033043
33924 58465 321062719
14586 28291 -3111270...

output:

1999860030
29750
50802 51494 60027 33052 69323 82646 58298 72996 15521 84066 62928 9039 52998 22612 28833 84046 21830 73098 20741 71477 33113 74903 60555 73914 63512 8311 83384 29556 20893 46407 52009 71082 63501 3806 8546 77801 50197 25278 68545 31590 63463 45613 77291 15942 48888 35636 37206 58167...

result:

ok ok

Test #15:

score: 0
Accepted
time: 111ms
memory: 53108kb

input:

90000 98235
4034 56551 535462424
1285 78054 -432396039
13482 78432 326444126
36922 32666 -423303402
46270 14278 327106206
73367 11943 -120750644
57985 1074 521321207
51396 70877 604419844
80121 19287 -807213060
83316 29903 437891049
11641 29638 -109912627
54265 78774 -197898831
30288 41596 5540178
6...

output:

1999860693
31500
60358 84665 19018 68369 22898 78782 19697 44435 77873 44366 20871 63674 12438 63791 82243 61468 22461 73572 5874 48425 20270 24064 59385 85278 68106 4716 89654 18263 40485 7368 69832 87663 3474 64019 34317 76031 42065 63115 30816 26801 21881 18768 61389 39484 63615 15811 85131 85436...

result:

ok ok

Test #16:

score: -100
Wrong Answer
time: 0ms
memory: 3712kb

input:

3 3
1 2 233
2 3 233
3 1 233

output:

0
1
2

result:

wrong answer Cycle does not contain any edges