Submission #705742

# Submission time Handle Problem Language Result Execution time Memory
705742 2023-03-05T04:51:43 Z cig32 Olympic Bus (JOI20_ho_t4) C++17
37 / 100
1000 ms 10716 KB
#include "bits/stdc++.h"
#define int long long
using namespace std;
int n, m;
int dist1[232][232];
int distn[232][232];
int rev1[232][232];
int revn[232][232];
int refer;
bool cmp5(pair<pair<int,int>,int> x, pair<pair<int,int>,int> y) {
  return revn[refer][x.first.first] + x.first.second < revn[refer][y.first.first] + y.first.second;
}
bool cmp6(pair<pair<int,int>,int> x, pair<pair<int,int>,int> y) {
  return rev1[refer][x.first.first] + x.first.second < rev1[refer][y.first.first] + y.first.second;
}

mt19937_64 rng((int) std::chrono::steady_clock::now().time_since_epoch().count());
int rnd(int x, int y) {
  return uniform_int_distribution<int>(x, y)(rng);
}
int32_t main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  int n, m;
  cin >> n >> m;
  pair<pair<int,int>,pair<int,int> > e[m+1];
  for(int i=1; i<=m; i++) { // O(m)
    cin >> e[i].first.first >> e[i].first.second >> e[i].second.first >> e[i].second.second;
  }
  for(int i=0; i<=n; i++) { // O(n^2)
    for(int j=0; j<=n; j++) {
      dist1[i][j] = distn[i][j] = rev1[i][j] = revn[i][j] = 1e18;
    }
    dist1[i][1] = 0;
    distn[i][n] = 0;
    rev1[i][1] = 0;
    revn[i][n] = 0;
  }
  for(int b=0; b<=n; b++) {
    vector<pair<int, int> > adj[n+1], rev[n+1];
    bool vis[n+1];
    for(int i=1; i<=m; i++) {
      if(e[i].first.first != b && e[i].first.second != b) {
        adj[e[i].first.first].push_back({e[i].first.second, e[i].second.first});
        rev[e[i].first.second].push_back({e[i].first.first, e[i].second.first});
      }
    }
    priority_queue<pair<int,int>, vector<pair<int,int> >, greater<pair<int,int> > > pq;
    pq.push({dist1[b][1], 1});
    for(int i=1; i<=n; i++) vis[i] = 0;
    while(pq.size()) {
      pair<int,int> t = pq.top(); pq.pop();
      if(!vis[t.second]) {
        for(pair<int, int> x: adj[t.second]) {
          if(!vis[x.first] && dist1[b][x.first] > dist1[b][t.second]+x.second) {
            dist1[b][x.first] = dist1[b][t.second]+x.second;
            pq.push({dist1[b][x.first], x.first});
          }
        }
      }
    }
    pq.push({distn[b][n], n});
    for(int i=1; i<=n; i++) vis[i] = 0;
    while(pq.size()) {
      pair<int,int> t = pq.top(); pq.pop();
      if(!vis[t.second]) {
        for(pair<int, int> x: adj[t.second]) {
          if(!vis[x.first] && distn[b][x.first] > distn[b][t.second]+x.second) {
            distn[b][x.first] = distn[b][t.second]+x.second;
            pq.push({distn[b][x.first], x.first});
          }
        }
      }
    }
    pq.push({rev1[b][1], 1});
    for(int i=1; i<=n; i++) vis[i] = 0;
    while(pq.size()) {
      pair<int,int> t = pq.top(); pq.pop();
      if(!vis[t.second]) {
        for(pair<int, int> x: rev[t.second]) {
          if(!vis[x.first] && rev1[b][x.first] > rev1[b][t.second]+x.second) {
            rev1[b][x.first] = rev1[b][t.second]+x.second;
            pq.push({rev1[b][x.first], x.first});
          }
        }
      }
    }
    pq.push({revn[b][n], n});
    for(int i=1; i<=n; i++) vis[i] = 0;
    while(pq.size()) {
      pair<int,int> t = pq.top(); pq.pop();
      if(!vis[t.second]) {
        for(pair<int, int> x: rev[t.second]) {
          if(!vis[x.first] && revn[b][x.first] > revn[b][t.second]+x.second) {
            revn[b][x.first] = revn[b][t.second]+x.second;
            pq.push({revn[b][x.first], x.first});
          }
        }
      }
    }
  }
  int ans = dist1[0][n] + distn[0][1];
  vector<pair<int,int> > adj[n+1], rev[n+1];
  vector<int> adj_id[n+1];
  for(int i=1; i<=m; i++) { // O(m)
    adj_id[e[i].first.first].push_back(i);
    adj[e[i].first.first].push_back({e[i].first.second, e[i].second.first});
    rev[e[i].first.second].push_back({e[i].first.first, e[i].second.first});
  }
  int cnt[n+1][n+1];
  for(int i=0; i<=n; i++) { // O(n^2)
    for(int j=0; j<=n; j++) {
      cnt[i][j] = 0;
    }
  }
  for(int i=1; i<=m; i++) { // O(m)
    cnt[e[i].first.first][e[i].first.second]++;
  }
  int opt1[n+1], opt2[n+1], opt3[n+1], opt4[n+1];
  for(int i=1; i<=n; i++) { // O(m)
    opt1[i] = opt2[i] = opt3[i] = opt4[i] = 1e18;
    for(pair<int, int> x: adj[i]) {
      opt1[i] = min(opt1[i], x.second + revn[i][x.first]);
      opt3[i] = min(opt3[i], x.second + rev1[i][x.first]);
    }
    for(pair<int, int> x: rev[i]) {
      opt2[i] = min(opt2[i], dist1[i][x.first] + x.second);
      opt4[i] = min(opt4[i], distn[i][x.first] + x.second);
    }
  }
  vector<pair<pair<int,int>, int> > opt5[n+1], opt6[n+1];
  for(int i=1; i<=n; i++) { // O(m log m)
    for(int j=0; j<adj[i].size(); j++) {
      opt5[i].push_back({adj[i][j], adj_id[i][j]});
    }
    refer = i;
    sort(opt5[i].begin(), opt5[i].end(), cmp5);
    for(int j=0; j<adj[i].size(); j++) {
      opt6[i].push_back({adj[i][j], adj_id[i][j]});
    }
    sort(opt6[i].begin(), opt6[i].end(), cmp6);
  }
  for(int i=1; i<=m; i++) { // O(m)
    int forward, backward;
    forward = dist1[e[i].first.first][e[i].first.second] + e[i].second.first;
    int mi = (e[i].first.first == n ? 0 : 1e18);
    mi = min(mi, opt1[e[i].first.first]);
    forward += mi;
    forward = min(forward, dist1[e[i].first.first][n]);
    
    int pt1 = (e[i].first.first == 1 ? 0 : 1e18);
    int pt2 = (e[i].first.first == n ? 0 : 1e18);
    pt1 = min(pt1, opt2[e[i].first.first]);
    for(pair<pair<int,int>, int> x: opt5[e[i].first.first]) {
      if(x.second == i) {
        continue;
      }
      pt2 = min(pt2, revn[e[i].first.first][x.first.first] + x.first.second);
      break;
    }
    forward = min(forward, pt1 + pt2);
    backward = distn[e[i].first.first][e[i].first.second] + e[i].second.first;
    mi = (e[i].first.first == 1 ? 0 : 1e18);
    mi = min(mi, opt3[e[i].first.first]);
    backward += mi;
    backward = min(backward, distn[e[i].first.first][1]);
    pt1 = (e[i].first.first == n ? 0 : 1e18);
    pt2 = (e[i].first.first == 1 ? 0 : 1e18);
    pt1 = min(pt1, opt4[e[i].first.first]);
    for(pair<pair<int,int>, int> x: opt6[e[i].first.first]) {
      if(x.second == i) {
        continue;
      }
      pt2 = min(pt2, rev1[e[i].first.first][x.first.first] + x.first.second);
      break;
    }
    backward = min(backward, pt1 + pt2);
    ans = min(ans, forward + backward + e[i].second.second);
    //cout << "flip pair<pair<int,int>,pair<int,int> > " << i << ": " << forward << " + " << backward << " + " << e[i].second.second << " = " << forward + backward + e[i].second.second << "\n";
  }
  cout << (ans <= 1e12 ? ans : -1) << "\n";
}
/*
5 6
1 2 1 10000
2 5 1 10000
5 3 1 10000
2 3 10 1
2 4 1 10000
4 1 1 10000
 
2 2
1 2 3 4
1 2 3 9
 
3 4
1 2 3 4
2 3 3 9
2 1 3 10
2 3 3 11
 
2 7
1 2 1 1
1 2 1 7
1 2 1 3
1 2 1 4
1 2 1 5
1 2 1 6
1 2 1 9
*/

Compilation message

ho_t4.cpp: In function 'int32_t main()':
ho_t4.cpp:133:19: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<std::pair<long long int, long long int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  133 |     for(int j=0; j<adj[i].size(); j++) {
      |                  ~^~~~~~~~~~~~~~
ho_t4.cpp:138:19: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<std::pair<long long int, long long int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  138 |     for(int j=0; j<adj[i].size(); j++) {
      |                  ~^~~~~~~~~~~~~~
# Verdict Execution time Memory Grader output
1 Correct 29 ms 2280 KB Output is correct
2 Correct 5 ms 2132 KB Output is correct
3 Correct 37 ms 2284 KB Output is correct
4 Correct 39 ms 2292 KB Output is correct
5 Correct 4 ms 724 KB Output is correct
6 Correct 6 ms 2132 KB Output is correct
7 Correct 0 ms 340 KB Output is correct
8 Correct 0 ms 340 KB Output is correct
9 Correct 1 ms 468 KB Output is correct
10 Correct 49 ms 2284 KB Output is correct
11 Correct 46 ms 2268 KB Output is correct
12 Correct 48 ms 2280 KB Output is correct
13 Correct 21 ms 2268 KB Output is correct
14 Correct 32 ms 2272 KB Output is correct
15 Correct 29 ms 2252 KB Output is correct
16 Correct 32 ms 2284 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 724 ms 9892 KB Output is correct
2 Correct 719 ms 9940 KB Output is correct
3 Correct 711 ms 10196 KB Output is correct
4 Correct 46 ms 2368 KB Output is correct
5 Correct 23 ms 2252 KB Output is correct
6 Correct 10 ms 2132 KB Output is correct
7 Correct 7 ms 2092 KB Output is correct
8 Correct 0 ms 340 KB Output is correct
9 Correct 498 ms 10396 KB Output is correct
10 Correct 504 ms 10424 KB Output is correct
11 Correct 633 ms 10036 KB Output is correct
12 Correct 628 ms 9996 KB Output is correct
13 Correct 638 ms 9912 KB Output is correct
14 Correct 664 ms 10716 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 30 ms 2252 KB Output is correct
2 Correct 7 ms 2080 KB Output is correct
3 Correct 363 ms 8024 KB Output is correct
4 Correct 6 ms 2132 KB Output is correct
5 Correct 489 ms 9692 KB Output is correct
6 Correct 0 ms 340 KB Output is correct
7 Correct 0 ms 340 KB Output is correct
8 Correct 417 ms 10496 KB Output is correct
9 Correct 417 ms 10244 KB Output is correct
10 Correct 436 ms 9652 KB Output is correct
11 Correct 444 ms 9700 KB Output is correct
12 Correct 467 ms 10156 KB Output is correct
13 Correct 0 ms 340 KB Output is correct
14 Correct 0 ms 340 KB Output is correct
15 Correct 0 ms 340 KB Output is correct
16 Correct 1 ms 340 KB Output is correct
17 Correct 1 ms 340 KB Output is correct
18 Correct 1 ms 340 KB Output is correct
19 Correct 472 ms 10344 KB Output is correct
20 Correct 453 ms 9980 KB Output is correct
21 Correct 476 ms 9712 KB Output is correct
22 Correct 458 ms 9868 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 29 ms 2280 KB Output is correct
2 Correct 5 ms 2132 KB Output is correct
3 Correct 37 ms 2284 KB Output is correct
4 Correct 39 ms 2292 KB Output is correct
5 Correct 4 ms 724 KB Output is correct
6 Correct 6 ms 2132 KB Output is correct
7 Correct 0 ms 340 KB Output is correct
8 Correct 0 ms 340 KB Output is correct
9 Correct 1 ms 468 KB Output is correct
10 Correct 49 ms 2284 KB Output is correct
11 Correct 46 ms 2268 KB Output is correct
12 Correct 48 ms 2280 KB Output is correct
13 Correct 21 ms 2268 KB Output is correct
14 Correct 32 ms 2272 KB Output is correct
15 Correct 29 ms 2252 KB Output is correct
16 Correct 32 ms 2284 KB Output is correct
17 Correct 724 ms 9892 KB Output is correct
18 Correct 719 ms 9940 KB Output is correct
19 Correct 711 ms 10196 KB Output is correct
20 Correct 46 ms 2368 KB Output is correct
21 Correct 23 ms 2252 KB Output is correct
22 Correct 10 ms 2132 KB Output is correct
23 Correct 7 ms 2092 KB Output is correct
24 Correct 0 ms 340 KB Output is correct
25 Correct 498 ms 10396 KB Output is correct
26 Correct 504 ms 10424 KB Output is correct
27 Correct 633 ms 10036 KB Output is correct
28 Correct 628 ms 9996 KB Output is correct
29 Correct 638 ms 9912 KB Output is correct
30 Correct 664 ms 10716 KB Output is correct
31 Correct 30 ms 2252 KB Output is correct
32 Correct 7 ms 2080 KB Output is correct
33 Correct 363 ms 8024 KB Output is correct
34 Correct 6 ms 2132 KB Output is correct
35 Correct 489 ms 9692 KB Output is correct
36 Correct 0 ms 340 KB Output is correct
37 Correct 0 ms 340 KB Output is correct
38 Correct 417 ms 10496 KB Output is correct
39 Correct 417 ms 10244 KB Output is correct
40 Correct 436 ms 9652 KB Output is correct
41 Correct 444 ms 9700 KB Output is correct
42 Correct 467 ms 10156 KB Output is correct
43 Correct 0 ms 340 KB Output is correct
44 Correct 0 ms 340 KB Output is correct
45 Correct 0 ms 340 KB Output is correct
46 Correct 1 ms 340 KB Output is correct
47 Correct 1 ms 340 KB Output is correct
48 Correct 1 ms 340 KB Output is correct
49 Correct 472 ms 10344 KB Output is correct
50 Correct 453 ms 9980 KB Output is correct
51 Correct 476 ms 9712 KB Output is correct
52 Correct 458 ms 9868 KB Output is correct
53 Correct 764 ms 9548 KB Output is correct
54 Correct 775 ms 9688 KB Output is correct
55 Correct 759 ms 9604 KB Output is correct
56 Correct 38 ms 2288 KB Output is correct
57 Correct 39 ms 2284 KB Output is correct
58 Correct 594 ms 8016 KB Output is correct
59 Correct 633 ms 8172 KB Output is correct
60 Correct 632 ms 7928 KB Output is correct
61 Correct 582 ms 8052 KB Output is correct
62 Correct 607 ms 8208 KB Output is correct
63 Correct 636 ms 8324 KB Output is correct
64 Execution timed out 1080 ms 5836 KB Time limit exceeded
65 Halted 0 ms 0 KB -