Submission #485521

# Submission time Handle Problem Language Result Execution time Memory
485521 2021-11-08T03:35:13 Z generic_placeholder_name Cities (BOI16_cities) C++17
100 / 100
2781 ms 40772 KB
#pragma GCC optimize("Ofast")
#pragma GCC optimization("unroll-loops")
#pragma GCC target("avx,avx2,fma")

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/trie_policy.hpp>
#include <ext/rope>

using namespace std;
using namespace __gnu_pbds;
using namespace __gnu_cxx;

mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());

#define fi first
#define se second
#define pb push_back
#define eb emplace_back
#define mp make_pair
#define gcd __gcd
#define fastio ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0)
#define rep(i, n) for (int i=0; i<(n); i++)
#define rep1(i, n) for (int i=1; i<=(n); i++)
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
#define endl "\n"

typedef long long ll;
typedef unsigned long long ull;
typedef unsigned uint;
typedef long double ld;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
typedef vector<int> vi;
typedef vector<vector<int>> vvi;
typedef vector<ll> vll;
typedef vector<vector<ll>> vvll;
typedef vector<bool> vb;
typedef vector<vector<bool>> vvb;
template<typename T, typename cmp = less<T>>
using ordered_set=tree<T, null_type, cmp, rb_tree_tag, tree_order_statistics_node_update>;
typedef trie<string, null_type, trie_string_access_traits<>, pat_trie_tag, trie_prefix_search_node_update> pref_trie;

constexpr int N = 1e5 + 5;
constexpr int K = 5;
constexpr ll INF = 1e18;

vector<pii> adj[N];
int v[K];
ll dist[N][1 << K];
ll dp[1 << K];

int32_t main() {
    fastio;
    int n, k, m; cin >> n >> k >> m;
    rep(i, k) cin >> v[i], --v[i];
    rep(i, m) {
        int u, v, w; cin >> u >> v >> w; --u, --v;
        adj[u].eb(v, w);
        adj[v].eb(u, w);
    }
    rep1(i, (1 << k) - 1) {
        rep(v, n) dist[v][i] = INF;
        if(__builtin_popcount(i) == 1) dist[v[__builtin_ctz(i)]][i] = 0;
        else {
            rep(v, n) for(int j = (i - 1) & i; j; j = (j - 1) & i) {
                dist[v][i] = min(dist[v][i], dist[v][j] + dist[v][i ^ j]);
            }
        }
        priority_queue<pair<ll, int>, vector<pair<ll, int>>, greater<pair<ll, int>>> pq;
        rep(v, n) pq.emplace(dist[v][i], v);
        while(!pq.empty()) {
            auto [chk, u] = pq.top(); pq.pop();
            if(chk != dist[u][i]) continue;
            for(auto& [v, w]: adj[u]) if(dist[v][i] > dist[u][i] + w) {
                dist[v][i] = dist[u][i] + w;
                pq.emplace(dist[v][i], v);
            }
        }
    }
    rep1(i, (1 << k) - 1) {
        dp[i] = INF;
        rep(v, n) dp[i] = min(dp[i], dist[v][i]);
        for(int j = (i - 1) & i; j; j = (j - 1) & i) {
            rep(l, n) if((i >> l) & 1) dp[i] = min(dp[i], dp[j | (1 << l)] + dp[(i ^ j) | (1 << l)]);
        }
    }
    cout << dp[(1 << k) - 1] << endl;
}

Compilation message

cities.cpp:2: warning: ignoring '#pragma GCC optimization' [-Wunknown-pragmas]
    2 | #pragma GCC optimization("unroll-loops")
      |
# Verdict Execution time Memory Grader output
1 Correct 2 ms 2636 KB Output is correct
2 Correct 2 ms 2636 KB Output is correct
3 Correct 2 ms 2636 KB Output is correct
4 Correct 2 ms 2636 KB Output is correct
5 Correct 2 ms 2636 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 673 ms 40420 KB Output is correct
2 Correct 676 ms 40392 KB Output is correct
3 Correct 432 ms 34532 KB Output is correct
4 Correct 54 ms 7620 KB Output is correct
5 Correct 322 ms 40444 KB Output is correct
6 Correct 51 ms 7580 KB Output is correct
7 Correct 5 ms 3020 KB Output is correct
8 Correct 3 ms 3020 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 6 ms 3020 KB Output is correct
2 Correct 6 ms 3052 KB Output is correct
3 Correct 5 ms 2892 KB Output is correct
4 Correct 5 ms 2896 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1375 ms 40476 KB Output is correct
2 Correct 1404 ms 40500 KB Output is correct
3 Correct 895 ms 34460 KB Output is correct
4 Correct 740 ms 24536 KB Output is correct
5 Correct 149 ms 11532 KB Output is correct
6 Correct 58 ms 9244 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 2773 ms 40740 KB Output is correct
2 Correct 2771 ms 40772 KB Output is correct
3 Correct 2781 ms 40484 KB Output is correct
4 Correct 1888 ms 34564 KB Output is correct
5 Correct 1456 ms 24888 KB Output is correct
6 Correct 249 ms 11448 KB Output is correct
7 Correct 70 ms 9200 KB Output is correct