QOJ.ac

QOJ

ID题目提交者结果用时内存语言文件大小提交时间测评时间
#99825#4809. Maximum RangeckisekiRE 126ms35784kbC++207.0kb2023-04-23 20:12:092023-04-23 20:12:13

Judging History

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

  • [2023-08-10 23:21:45]
  • System Update: QOJ starts to keep a history of the judgings of all the submissions.
  • [2023-04-23 20:12:13]
  • 评测
  • 测评结果:RE
  • 用时:126ms
  • 内存:35784kb
  • [2023-04-23 20:12:09]
  • 提交

answer

#include <bits/stdc++.h>
using namespace std;

#ifdef CKISEKI
#define safe cerr << __PRETTY_FUNCTION__ << " line " << __LINE__ << " safe\n"
#define orange(a...) orange_(#a, a)
#define debug(a...) debug_(#a, a)
template <typename i>
void orange_(const char * s, i l, i r) {
    cerr << "\e[1;32m[ " << s << " ] = [ ";
    for (int f = 0; l != r; l++)
        cerr << (f++ ? " " : "") << *l;
    cerr << " ]\e[0m\n";
}
template <typename ...T>
void debug_(const char * s, T ...a) {
    cerr << "\e[1;32m(" << s << ") = (";
    int cnt = sizeof...(T);
    (..., (cerr << a << (--cnt ? ", " : ")\e[0m\n")));
}
#else
#define safe ((void)0)
#define debug(...) safe
#define orange(...) safe
#endif

namespace {

class BCC {
private:
    int n, ecnt;
    vector<vector<pair<int, int>>> g;
    vector<int> dfn, low;
    vector<bool> bridge;
    void dfs(int u, int f) {
        dfn[u] = low[u] = dfn[f] + 1;
        int ch = 0;
        for (auto [v, t] : g[u]) if (v != f) {
            if (dfn[v]) {
                low[u] = min(low[u], dfn[v]);
            } else {
                ++ch;
                dfs(v, u);
                low[u] = min(low[u], low[v]);
                if (low[v] > dfn[u])
                    bridge[t] = true;
            }
        }
    }
public:
    void init(int n_) {
        g.assign(n = n_, vector<pair<int, int>>());
        low.assign(n, ecnt = 0);
        dfn.assign(n, 0);
    }
    void add_edge(int u, int v) {
        g[u].emplace_back(v, ecnt);
        g[v].emplace_back(u, ecnt++);
    }
    void solve() {
        bridge.assign(ecnt, false);
        for (int i = 0; i < n; ++i)
            if (not dfn[i]) dfs(i, i);
    }
    bool is_bridge(int x) const { return bridge[x]; }
};

using Pii = pair<int, int>;
constexpr int kInf = 1 << 30;
constexpr int maxn = 100000 + 10;

struct E {
    int to, rev, cost, flow;
};
struct MCMF {
    int n{}, m{}, s{}, t{};
    vector<E> graph[maxn];
    int64_t dis[maxn] = {}, h[maxn] = {};
    int p[maxn] = {};
    void Init(int nn) { n = nn; }
    void AddEdge(int u, int v, int f, int c) {
        graph[u].push_back({v, int(graph[v].size()), c, f});
        graph[v].push_back({u, int(graph[u].size()) - 1, -c, 0});
    }
    bool Dijkstra(int &max_flow, int64_t &cost) {
        priority_queue<Pii, vector<Pii>, greater<>> pq;
        fill_n(dis, n, kInf);
        dis[s] = 0;
        pq.emplace(0, s);
        while (not pq.empty()) {
            auto u = pq.top();
            pq.pop();
            int v = u.second;
            if (dis[v] < u.first) continue;
            for (auto &e : graph[v]) {
                auto new_dis = dis[v] + e.cost + h[v] - h[e.to];
                if (e.flow > 0 and dis[e.to] > new_dis) {
                    dis[e.to] = new_dis;
                    p[e.to] = e.rev;
                    pq.emplace(dis[e.to], e.to);
                }
            }
        }
        if (dis[t] == kInf) return false;
        for (int i = 0; i < n; ++i)
            h[i] += dis[i];
        int d = max_flow;
        for (int u = t; u != s; u = graph[u][p[u]].to) {
            auto &e = graph[u][p[u]];
            d = min(d, graph[e.to][e.rev].flow);
        }
        max_flow -= d;
        cost += int64_t(d) * h[t];
        for (int u = t; u != s; u = graph[u][p[u]].to) {
            auto &e = graph[u][p[u]];
            e.flow += d;
            graph[e.to][e.rev].flow -= d;
        }
        return true;
    }
    int MincostMaxflow(int ss, int tt, int max_flow, int64_t &cost) {
        this->s = ss, this->t = tt;
        cost = 0;
        fill_n(h, n, 0);
        auto orig_max_flow = max_flow;
        while (Dijkstra(max_flow, cost) && max_flow);
        return orig_max_flow - max_flow;
    }
    vector<pair<int, int>> gao() {
        vector<pair<int, int>> ret;
        for (int i = 0; i < n; i++) {
            for (auto e : graph[i])
                if (e.flow == 0 and e.cost > 0)
                    ret.emplace_back(i, e.to);
        }
        return ret;
    }
} flow;

bool vis[maxn]; size_t la[maxn];
vector<pair<int, int>> G[maxn];
void Euler( int u, vector< int >& vec ) {
    while ( la[ u ] < G[ u ].size() ) {
        if( vis[ G[ u ][ la[ u ] ].second ] ) {
            ++ la[ u ];
            continue;
        }
        int v = G[ u ][ la[ u ] ].first;
        vis[ G[ u ][ la[ u ] ].second ] = true;
        ++ la[ u ]; Euler( v, vec );
        vec.push_back( v );
    }
}


} // namespace

int main() {
    cin.tie(nullptr)->sync_with_stdio(false);
    int n, m; 
    cin >> n >> m;
    vector<tuple<int, int, int>> e(m);
    for (auto &[u, v, w] : e) {
        cin >> u >> v >> w;
        --u, --v;
    }

    BCC bcc;
    bcc.init(n);
    for (auto [u, v, w] : e) bcc.add_edge(u, v);
    bcc.solve();

    vector<vector<pair<int, int>>> g(n);
    for (int i = 0; i < m; ++i) {
        if (bcc.is_bridge(i)) continue;
        auto [u, v, w] = e[i];
        g[u].emplace_back(v, i);
        g[v].emplace_back(u, i);
    }

    vector<bool> vis(n);
    auto dfs = [&](auto self, int i) -> pair<int, int> {
        vis[i] = true;
        pair<int, int> r = {-1, -1};
        for (auto [j, x] : g[i]) {
            if (r.first == -1 or get<2>(e[x]) < get<2>(e[r.first]))
                r.first = x;
            if (r.second == -1 or get<2>(e[x]) > get<2>(e[r.second]))
                r.second = x;
            
            if (vis[j]) continue;
            auto [p, q] = self(self, j);
            if (p != -1 and get<2>(e[p]) < get<2>(e[r.first]))
                r.first = p;
            if (q != -1 and get<2>(e[q]) > get<2>(e[r.second]))
                r.second = q;
        }
        return r;
    };

    tuple<int, int, int> ans = {0, -1, -1};
    for (int i = 0; i < n; ++i) {
        if (vis[i]) continue;
        auto [x, y] = dfs(dfs, i);
        if (x == -1 or y == -1) continue;
        ans = max(ans, {get<2>(e[y]) - get<2>(e[x]), x, y});
    }
    assert(get<1>(ans) != -1);

    cout << get<0>(ans) << '\n';
    flow.Init(n + 4);
    for (int i = 0; i < m; ++i) {
        if (bcc.is_bridge(i)) continue;
        auto [u, v, w] = e[i];
        if (i == get<1>(ans)) {
            flow.AddEdge(n, u, 1, 1);
            flow.AddEdge(n, v, 1, 1);
        } else if (i == get<2>(ans)) {
            flow.AddEdge(u, n + 1, 1, 1);
            flow.AddEdge(v, n + 1, 1, 1);
        } else {
            flow.AddEdge(u, v, 1, 1);
            flow.AddEdge(v, u, 1, 1);
        }
    }
    flow.AddEdge(n + 2, n, 2, 0);
    flow.AddEdge(n + 1, n + 3, 2, 0);
    int64_t tmp;
    assert(flow.MincostMaxflow(n + 2, n + 3, 2, tmp) == 2);

    auto [a, b, w1] = e[get<1>(ans)];
    auto [c, d, w2] = e[get<2>(ans)];

    int cnt = 0;
    auto es = flow.gao();
    for (auto [u, v] : es) {
        if (v >= n or u >= n) continue;
        G[u].emplace_back(v, cnt);
        G[v].emplace_back(u, cnt++);
    }
    G[a].emplace_back(b, cnt);
    G[b].emplace_back(a, cnt++);
    G[c].emplace_back(d, cnt);
    G[d].emplace_back(c, cnt++);

    vector<int> path;
    Euler(a, path);
    cout << path.size() << '\n';
    for (size_t i = 0; i < path.size(); ++i)
        cout << path[i] + 1 << " \n"[i + 1 == path.size()];
    return 0;
}

详细

Test #1:

score: 100
Accepted
time: 0ms
memory: 10996kb

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: 37ms
memory: 20980kb

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
95092 31171 2440 25485 99016 29557 57672 69259 68883 44442 4697 96048 94991 86274 74677 92617 86665 76022 72089 22074 96230 87712 51491 72825 3463 84407 67966 89628 84997 54073 68523 30288 88289 37694 96778 46301 34883

result:

ok ok

Test #3:

score: 0
Accepted
time: 36ms
memory: 21052kb

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

result:

ok ok

Test #4:

score: 0
Accepted
time: 40ms
memory: 21040kb

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: 37ms
memory: 21016kb

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: 37ms
memory: 20972kb

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: 43ms
memory: 21052kb

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
42006 3750 74141 92093 19383 58919 73608 27325 12024 60168 16150 13711 23879 39127 24822 10570 52647 79459 24450 54151 79904 28267 1066 23254 53517 37704 67362 38379 60559 24822 96587 8030 37095 66385 91374 70789 41482 30145 90743 13465 63827 91154 38051 24890 82877 61378 4358 24485 97...

result:

ok ok

Test #8:

score: 0
Accepted
time: 42ms
memory: 20972kb

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: 52ms
memory: 21036kb

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
70428 40199 72954 63179 91872 86737 52773 85483 30214 53000 97526 57891 56013 66274 62402 58361 3092 73442 44630 31140 84999 46153 9524

result:

ok ok

Test #10:

score: 0
Accepted
time: 45ms
memory: 21044kb

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
93178 82375 19871 6259 13782 41657 3529 84372 80688 55069 65439 61912 53143 48876 3209 51377 40446

result:

ok ok

Test #11:

score: 0
Accepted
time: 36ms
memory: 21036kb

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: 126ms
memory: 35784kb

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
73213 63158 51881 35569 11119 42774 48849 71472 29552 44888 57998 39597 25312 3377 34441 8349 58329 3626 44309 71553 1903 31984 17494 43196 59971 38713 48211 76837 42048 66939 5466 44847 36785 37696 68154 55066 31704 45753 50942 57019 6753 77783 5408 61336 2478 25623 20290 11545 240...

result:

ok ok

Test #13:

score: 0
Accepted
time: 97ms
memory: 31736kb

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
65463 1060 43172 5348 55522 70860 12214 37725 70132 32864 7654 1163 49503 62362 44034 5010 38047 44578 18048 27465 49095 24844 27233 31734 62997 54281 20322 66252 59300 72663 27739 18521 20579 43586 74981 54296 26364 16817 63938 56086 32276 68821 25367 46182 50026 15700 54616 67380 ...

result:

ok ok

Test #14:

score: 0
Accepted
time: 122ms
memory: 33332kb

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: 102ms
memory: 33964kb

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
84665 60358 74354 69552 38307 35746 60204 81759 48942 76705 61878 36438 52026 57805 83148 72879 29263 7250 43609 74637 81369 23763 69549 50004 36021 60671 29385 89984 80209 56560 53468 10843 77706 83330 54169 30975 78918 50851 50399 56962 78757 59524 56167 49511 19812 82181 84405 41...

result:

ok ok

Test #16:

score: -100
Dangerous Syscalls

input:

3 3
1 2 233
2 3 233
3 1 233

output:


result: