#1186208 (C++23) No.3712 Urban Train

• 問題: No.3712 Urban Train
• ユーザー: t98slider
• 提出日時: 2026-09-11 21:54:35
• 言語: C++23 (gcc 15.3.0 + boost 1.92.0 + ACL)
• 結果: AC
• 実行時間: 69 ms / 2,000 ms
• コード長: 2,402 bytes
• コンパイル時間: 2,274 ms
• コンパイル使用メモリ: 351,192 KB
• 実行使用メモリ: 15,524 KB
• 最終ジャッジ日時: 2026-09-11 21:54:56
• 合計ジャッジ時間: 5,860 ms
• ジャッジサーバーID （参考情報）: judge3_0 / judge1_0

ファイルパターン	結果
sample	AC * 3
other	AC * 39

ソースコード

#include <bits/stdc++.h>
using namespace std;
using ull = unsigned long long;

template<class T> istream& operator >> (istream& is, vector<T>& vec) {
    for(T& x : vec) is >> x;
    return is;
}

template <class T> struct csr {
    struct Node {
        csr* g;
        int u;
        template<class... Args>
        void emplace_back(Args&&... args){
            g->add_edge(u, T(std::forward<Args>(args)...));
        }
        auto begin(){ return g->E.begin() + g->start[u]; }
        auto end(){ return g->E.begin() + g->start[u + 1]; }
        int size(){ return g->start[u + 1] - g->start[u]; }
        T& operator[](int p){ return *(begin() + p); }
    };
    int N;
    std::vector<int> start;
    std::vector<T> E;
    std::vector<std::pair<int,T>> edge;
    csr(int n) : N(n), start(n + 1) {edge.reserve(n);}
    void add_edge(int u, T v){
		assert(0 <= u && u < N);
        start[u + 1]++;
        edge.emplace_back(u, v);
    }
    void build(){
        E.resize(edge.size());
        for(int i = 0; i < N; i++) start[i + 1] += start[i];
        auto cnt = start;
        for(auto [u, v] : edge) E[cnt[u]++] = v;
    }
	const int size() {return N;}
    Node operator[](int u) {return Node{this, u};}
};

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int n, m;
    cin >> n >> m;
    csr<pair<int,int>> g(n);
    for(int i = 0; i < m; i++){
        int u, v, w;
        cin >> u >> v >> w;
        u--, v--;
        g[u].emplace_back(v, w);
        g[v].emplace_back(u, w);
    }
    g.build();
    vector<int> a(n), b(n), c(n);
    cin >> a >> b >> c;
    priority_queue<pair<ull,int>, vector<pair<ull,int>>, greater<pair<ull,int>>> pq;
    vector<ull> dp(n, 0xFFFF'FFFF'FFFF'FFFFULL);
    dp[0] = 1;
    pq.emplace(1, 0);
    while(!pq.empty()){
        auto [d, v] = pq.top();
        pq.pop();
        if(d > dp[v]) continue;
        ull Ad = (dp[v] + a[v] - 1) / a[v];
        ull Lu = Ad * a[v] + (Ad % b[v] == 0 ? c[v] : 0);
        for(auto [u, w] : g[v]){
            if(Lu + w >= dp[u]) continue;
            dp[u] = Lu + w;
            pq.emplace(dp[u], u);
        }
        if(Ad % b[v] != 0) continue;
        Ad++;
        Lu = Ad * a[v] + (Ad % b[v] == 0 ? c[v] : 0);
        for(auto [u, w] : g[v]){
            if(Lu + w >= dp[u]) continue;
            dp[u] = Lu + w;
            pq.emplace(dp[u], u);
        }
    }
    cout << dp[n - 1] << '\n';
}