QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#99825 | #4809. Maximum Range | ckiseki | RE | 126ms | 35784kb | C++20 | 7.0kb | 2023-04-23 20:12:09 | 2023-04-23 20:12:13 |
Judging History
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;
}
Details
Tip: Click on the bar to expand more detailed information
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