結果

問題 No.1308 ジャンプビーコン
ユーザー minatominato
提出日時 2020-12-05 11:45:09
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 6,377 bytes
コンパイル時間 6,597 ms
コンパイル使用メモリ 252,952 KB
実行使用メモリ 78,736 KB
最終ジャッジ日時 2023-10-13 21:20:25
合計ジャッジ時間 37,015 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge14
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,372 KB
testcase_01 AC 2 ms
4,368 KB
testcase_02 AC 1 ms
4,368 KB
testcase_03 AC 1 ms
4,368 KB
testcase_04 AC 1 ms
4,368 KB
testcase_05 AC 2 ms
4,368 KB
testcase_06 AC 1 ms
4,372 KB
testcase_07 AC 2 ms
4,372 KB
testcase_08 AC 3 ms
4,372 KB
testcase_09 AC 2 ms
4,372 KB
testcase_10 AC 3 ms
4,372 KB
testcase_11 AC 2 ms
4,372 KB
testcase_12 AC 3 ms
4,368 KB
testcase_13 AC 73 ms
4,372 KB
testcase_14 AC 72 ms
4,372 KB
testcase_15 AC 76 ms
4,368 KB
testcase_16 AC 73 ms
4,368 KB
testcase_17 AC 71 ms
4,372 KB
testcase_18 AC 3,176 ms
74,508 KB
testcase_19 AC 3,192 ms
74,780 KB
testcase_20 AC 3,159 ms
74,572 KB
testcase_21 AC 3,100 ms
74,616 KB
testcase_22 AC 3,036 ms
74,748 KB
testcase_23 AC 2 ms
4,372 KB
testcase_24 AC 2 ms
4,368 KB
testcase_25 AC 3 ms
4,368 KB
testcase_26 AC 2,837 ms
74,592 KB
testcase_27 AC 2,830 ms
74,616 KB
testcase_28 AC 2,845 ms
74,608 KB
testcase_29 TLE -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
testcase_37 -- -
testcase_38 -- -
testcase_39 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#ifdef ONLINE_JUDGE
#pragma GCC target("avx2,avx")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#endif
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using ull = unsigned long long;
using i128 = __int128_t;
using pii = pair<int, int>;
using pll = pair<long long, long long>;
#define rep(i, n) for (int i = 0; i < (n); i++)
#define rrep(i, n) for (int i = int(n) - 1; i >= 0; i--)
#define all(x) (x).begin(), (x).end()
constexpr char ln = '\n';
istream& operator>>(istream& is, __int128_t& x) {
    x = 0;
    string s;
    is >> s;
    int n = int(s.size()), it = 0;
    if (s[0] == '-') it++;
    for (; it < n; it++) x = (x * 10 + s[it] - '0');
    if (s[0] == '-') x = -x;
    return is;
}
ostream& operator<<(ostream& os, __int128_t x) {
    if (x == 0) return os << 0;
    if (x < 0) os << '-', x = -x;
    deque<int> deq;
    while (x) deq.emplace_front(x % 10), x /= 10;
    for (int e : deq) os << e;
    return os;
}
template<class T1, class T2>
ostream& operator<<(ostream& os, const pair<T1, T2>& p) {
    return os << "(" << p.first << ", " << p.second << ")";
}
template<class T> 
ostream& operator<<(ostream& os, const vector<T>& v) {
    os << "{";
    for (int i = 0; i < int(v.size()); i++) {
        if (i) os << ", ";
        os << v[i];
    }
    return os << "}";
}
template<class Container> inline int SZ(Container& v) { return int(v.size()); }
template<class T> inline void UNIQUE(vector<T>& v) { v.erase(unique(v.begin(), v.end()), v.end()); }
template<class T1, class T2> inline bool chmax(T1& a, T2 b) { if (a < b) {a = b; return true ;} return false ;}
template<class T1, class T2> inline bool chmin(T1& a, T2 b) { if (a > b) {a = b; return true ;} return false ;}
inline int topbit(ull x) { return x == 0 ? -1 : 63 - __builtin_clzll(x); }
inline int botbit(ull x) { return x == 0 ? 64 : __builtin_ctzll(x); }
inline int popcount(ull x) { return __builtin_popcountll(x); }
inline int kthbit(ull x, int k) { return (x>>k) & 1; }
inline constexpr long long TEN(int x) { return x == 0 ? 1 : TEN(x-1) * 10; }
inline void print() { cout << "\n"; }
template<class T>
inline void print(const vector<T>& v) {
    for (int i = 0; i < int(v.size()); i++) {
        if (i) cout << " ";
        cout << v[i];
    }
    print();
}
template<class T, class... Args>
inline void print(const T& x, const Args& ... args) {
    cout << x << " ";
    print(args...);
}
#ifdef MINATO_LOCAL
inline void debug_out() { cerr << endl; }
template <class T, class... Args>
inline void debug_out(const T& x, const Args& ... args) {
    cerr << " " << x;
    debug_out(args...);
}
#define debug(...) cerr << __LINE__ << " : [" << #__VA_ARGS__ << "] =", debug_out(__VA_ARGS__)
#define dump(x) cerr << __LINE__ << " : " << #x << " = " << (x) << endl
#else
#define debug(...) (void(0))
#define dump(x) (void(0))
#endif
struct fast_ios { fast_ios() { cin.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(20); }; } fast_ios_;
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

template<typename Int>
struct Dijkstra {
    struct Edge {
        int to;
        Int cost;
        Edge (int to, Int cost) : to(to), cost(cost) {}
        bool operator<(const Edge& o) const { return cost > o.cost; }
    };

    int n;
    Int INF;
    vector<vector<Edge>> g;
    vector<Int> dist;
    vector<int> from;

    Dijkstra() {}
    Dijkstra(int n, Int INF) : n(n), INF(INF), g(n), dist(n), from(n) {}

    void add_edge(int u, int v, Int cost) {
        assert(0 <= u and u < n);
        assert(0 <= v and v < n);
        g[u].emplace_back(v,cost);
    }

    void build(int s = 0) {
        fill(dist.begin(), dist.end(), INF);
        fill(from.begin(), from.end(), -1);
        dist[s] = 0;
        priority_queue<Edge> pq;
        pq.emplace(s, dist[s]);

        while (!pq.empty()) {
            Edge t = pq.top(); pq.pop();
            int v = t.to;
            Int d = t.cost;
            if (d > dist[v]) continue;
            for (Edge& e : g[v]) {
                if (dist[e.to] > d + e.cost) {
                    dist[e.to] = d + e.cost;
                    from[e.to] = v;
                    pq.emplace(e.to, dist[e.to]);
                }    
            }
        }
    }

    Int operator[](int k) { return dist[k]; }

    vector<int> restore(int to) {
        vector<int> ret;
        if (from[to] == -1) return ret;
        while (~to) {
            ret.emplace_back(to);
            to = from[to];
        }
        reverse(ret.begin(), ret.end());
        return ret;
    }
};

constexpr ll INF = 1e18;

int main() {
    ll N,Q,C; cin >> N >> Q >> C;
    Dijkstra<ll> D(N,INF);
    vector<vector<int>> G(N);
    rep(i,N-1) {
        int u,v,w; cin >> u >> v >> w;
        u--; v--;
        D.add_edge(u,v,w);
        D.add_edge(v,u,w);
        G[u].emplace_back(v);
        G[v].emplace_back(u);
    }
    vector<int> x(Q);
    rep(i,Q) cin >> x[i], x[i]--;

    vector<vector<ll>> dist(N, vector<ll>(N));
    rep(i,N) {
        auto DD = D;
        DD.build(i);
        rep(j,N) dist[i][j] = DD[j];
    }

    vector<ll> dp(N,INF);
    dp[x[0]] = 0;
    rep(k,Q-1) {
        vector<pll> arr(N);
        rep(i,N) {
            if (i==x[k]) arr[i] = pll(dp[i]+dist[i][x[k+1]],i);
            else arr[i] = pll(dp[i]+dist[i][x[k+1]]+C,i);
        }
        sort(all(arr));
        vector<bool> seen(N);
        vector<ll> nex(N);
        rep(i,N) nex[i] = dp[i]+dist[x[k]][x[k+1]];
        chmin(nex[x[k+1]],arr[0].first);
        seen[x[k+1]] = 1;
        auto getpath=[&](int s) {
            vector<int> ret;
            auto dfs=[&](auto self, int v, int pv)->bool {
                if (seen[v]) return true;
                ret.emplace_back(v);
                for (int nv : G[v]) {
                    if (nv==pv) continue;
                    if (self(self,nv,v)) return true;
                }
                ret.pop_back();
                return false;
            };
            dfs(dfs,s,-1);
            return ret;
        };
        rep(i,N) {
            auto[val,s] = arr[i];
            auto path = getpath(s);
            for (auto e : path) {
                chmin(nex[e],val);
                seen[e] = 1;
            }
        }
        swap(dp,nex);
    }

    cout << *min_element(all(dp)) << ln;
}
0