Submission #1059729

# Submission time Handle Problem Language Result Execution time Memory
1059729 2024-08-15T07:34:05 Z zNatsumi Cities (BOI16_cities) C++17
100 / 100
4120 ms 172884 KB
#include <bits/stdc++.h>

using namespace std;

//#define int long long
#define ll long long
#define ii pair<int, int>
#define tp tuple<ll, int, int>
#define fi first
#define se second
#define all(x) x.begin(), x.end()

const int N = 2e5 + 5,
          mod = 1e9 + 7;
const ll INF = 2e16;

// code

int n, k, m, a[6];
ll dp[N][33];
vector<ii> ad[N];
vector<int> nxt[33];
priority_queue<tp, vector<tp>, greater<>> pq;

int id(int i){
  for(int j = 0; j < k; j++) if(a[j] == i) return j;
  return -1;
}

bool check(int msk1, int msk2){
  for(int i = 0; i < (1 << k); i++) if((msk1 >> i & 1) && (msk2 >> i & 1)) return false;
  return true;
}

int32_t main(){
  cin.tie(0)->sync_with_stdio(0);
//  #define task "test"
//  if(fopen(task ".inp", "r")){
//    freopen(task ".inp", "r", stdin);
//    freopen(task ".out", "w", stdout);
//  }

  cin >> n >> k >> m;

  for(int i = 0; i < k; i++) cin >> a[i];
  for(int i = 0; i < m; i++){
    int a, b, c; cin >> a >> b >> c;
    ad[a].push_back({b, c});
    ad[b].push_back({a, c});
  }
  for(int msk = 0; msk < (1 << k); msk++)
    for(int _msk = 0; _msk < (1 << k); _msk++)
      if(check(msk, _msk)) nxt[msk].push_back(_msk);

  for(int i = 1; i <= n; i++)
    for(int j = 1; j < (1 << k); j++) dp[i][j] = INF;

  for(int i = 0; i < k; i++){
    dp[a[i]][1 << i] = 0;
    pq.push({0, 1 << i, a[i]});
  }

  while(pq.size()){
    auto [d, msk, u] = pq.top(); pq.pop();

    if(d != dp[u][msk]) continue;
    if(id(u) != -1 && msk == (1 << k) - 1){
      cout << d;
      return 0;
    }

//    cerr << u << " " << d << " " << msk << endl;

    for(auto [v, c] : ad[u]){
      int bit = id(v);

      if(bit != -1 && !(msk >> bit & 1))
        if(d + c < dp[v][msk|(1 << bit)])
          pq.push({dp[v][msk|(1 << bit)] = d + c, msk|(1 << bit), v});

      for(auto _msk : nxt[msk])
        if(d + c + dp[v][_msk] < dp[v][msk|_msk])
          pq.push({dp[v][msk|_msk] = d + c + dp[v][_msk], msk|_msk, v});
    }
  }


  return 0;
}
# Verdict Execution time Memory Grader output
1 Correct 2 ms 4952 KB Output is correct
2 Correct 2 ms 4956 KB Output is correct
3 Correct 2 ms 4956 KB Output is correct
4 Correct 2 ms 4956 KB Output is correct
5 Correct 2 ms 5164 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 353 ms 57856 KB Output is correct
2 Correct 382 ms 57384 KB Output is correct
3 Correct 74 ms 37192 KB Output is correct
4 Correct 55 ms 14292 KB Output is correct
5 Correct 137 ms 45560 KB Output is correct
6 Correct 46 ms 13568 KB Output is correct
7 Correct 4 ms 5720 KB Output is correct
8 Correct 3 ms 5468 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 7 ms 6104 KB Output is correct
2 Correct 6 ms 6064 KB Output is correct
3 Correct 5 ms 5720 KB Output is correct
4 Correct 5 ms 6036 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1461 ms 107140 KB Output is correct
2 Correct 1228 ms 106808 KB Output is correct
3 Correct 621 ms 52616 KB Output is correct
4 Correct 739 ms 60908 KB Output is correct
5 Correct 151 ms 32692 KB Output is correct
6 Correct 87 ms 17096 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 4042 ms 172812 KB Output is correct
2 Correct 4120 ms 172884 KB Output is correct
3 Correct 3991 ms 172412 KB Output is correct
4 Correct 1533 ms 102000 KB Output is correct
5 Correct 2935 ms 159404 KB Output is correct
6 Correct 486 ms 49336 KB Output is correct
7 Correct 188 ms 23212 KB Output is correct