#886688 (C++17) No.1320 Two Type Min Cost Cycle

• 問題: No.1320 Two Type Min Cost Cycle
• ユーザー: Slephy
• 提出日時: 2023-07-02 03:45:58
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 733 ms / 2,000 ms
• コード長: 4,982 bytes
• コンパイル時間: 2,486 ms
• コンパイル使用メモリ: 218,160 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-07-08 14:15:37
• 合計ジャッジ時間: 8,384 ms
• ジャッジサーバーID （参考情報）: judge2 / judge5

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 5,248 KB
testcase_01	AC	2 ms; 5,376 KB
testcase_02	AC	1 ms; 5,376 KB
testcase_03	AC	1 ms; 5,376 KB
testcase_04	AC	2 ms; 5,376 KB
testcase_05	AC	2 ms; 5,376 KB
testcase_06	AC	2 ms; 5,376 KB
testcase_07	AC	8 ms; 5,376 KB
testcase_08	AC	10 ms; 5,376 KB
testcase_09	AC	733 ms; 5,376 KB
testcase_10	AC	10 ms; 5,376 KB
testcase_11	AC	334 ms; 5,376 KB
testcase_12	AC	41 ms; 5,376 KB
testcase_13	AC	152 ms; 5,376 KB
testcase_14	AC	9 ms; 5,376 KB
testcase_15	AC	9 ms; 5,376 KB
testcase_16	AC	14 ms; 5,376 KB
testcase_17	AC	5 ms; 5,376 KB
testcase_18	AC	6 ms; 5,376 KB
testcase_19	AC	67 ms; 5,376 KB
testcase_20	AC	4 ms; 5,376 KB
testcase_21	AC	374 ms; 5,376 KB
testcase_22	AC	2 ms; 5,376 KB
testcase_23	AC	2 ms; 5,376 KB
testcase_24	AC	2 ms; 5,376 KB
testcase_25	AC	1 ms; 5,376 KB
testcase_26	AC	2 ms; 5,376 KB
testcase_27	AC	1 ms; 5,376 KB
testcase_28	AC	7 ms; 5,376 KB
testcase_29	AC	101 ms; 5,376 KB
testcase_30	AC	2 ms; 5,376 KB
testcase_31	AC	19 ms; 5,376 KB
testcase_32	AC	1 ms; 5,376 KB
testcase_33	AC	198 ms; 5,376 KB
testcase_34	AC	125 ms; 5,376 KB
testcase_35	AC	4 ms; 5,376 KB
testcase_36	AC	20 ms; 5,376 KB
testcase_37	AC	3 ms; 5,376 KB
testcase_38	AC	7 ms; 5,376 KB
testcase_39	AC	3 ms; 5,376 KB
testcase_40	AC	1 ms; 5,376 KB
testcase_41	AC	2 ms; 5,376 KB
testcase_42	AC	2 ms; 5,376 KB
testcase_43	AC	10 ms; 5,376 KB
testcase_44	AC	7 ms; 5,376 KB
testcase_45	AC	635 ms; 5,376 KB
testcase_46	AC	13 ms; 5,376 KB
testcase_47	AC	178 ms; 5,376 KB
testcase_48	AC	83 ms; 5,376 KB
testcase_49	AC	11 ms; 5,376 KB
testcase_50	AC	2 ms; 5,376 KB
testcase_51	AC	2 ms; 5,376 KB
testcase_52	AC	38 ms; 5,376 KB
testcase_53	AC	17 ms; 5,376 KB
testcase_54	AC	112 ms; 5,376 KB
testcase_55	AC	105 ms; 5,376 KB
testcase_56	AC	105 ms; 5,376 KB
testcase_57	AC	476 ms; 5,376 KB
testcase_58	AC	493 ms; 5,376 KB
testcase_59	AC	482 ms; 5,376 KB

ソースコード

// https://yukicoder.me/problems/no/1320
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
constexpr int INF = (int)1e9 + 1001010;
constexpr ll llINF = (ll)4e18 + 22000020;
const string endn = "\n";
template <class T> inline vector<vector<T>> vector2(size_t i, size_t j, const T &init = T()) {return vector<vector<T>>(i, vector<T>(j, init));}
const string ELEM_SEPARATION = " ", VEC_SEPARATION = endn;
template<class T> istream& operator >>(istream &i, vector<T> &A) {for(auto &I : A) {i >> I;} return i;}
template<class T> ostream& operator <<(ostream &o, const vector<vector<T>> &A) {int i=A.size(); for(auto &I : A){o << I << (--i ? VEC_SEPARATION : "");} return o;}
template<class T> ostream& operator <<(ostream &o, const vector<T> &A) {int i=A.size(); for(auto &I : A){o << I << (--i ? ELEM_SEPARATION : "");} return o;}
template<class T> vector<T>& operator ++(vector<T> &A, int n) {for(auto &I : A) {I++;} return A;}
template<class T> vector<T>& operator --(vector<T> &A, int n) {for(auto &I : A) {I--;} return A;}
template<class T, class U> bool chmax(T &a, const U &b) {return ((a < b) ? (a = b, true) : false);}
template<class T, class U> bool chmin(T &a, const U &b) {return ((a > b) ? (a = b, true) : false);}
ll floor(ll a, ll b) {assert(b != 0); return((a%b != 0 && ((a>0) != (b>0))) ? a/b-1 : a/b);}
ll ceil (ll a, ll b) {assert(b != 0); return((a%b != 0 && ((a>0) == (b>0))) ? a/b+1 : a/b);}
// ================================== ここまでテンプレ ==================================

template<class T> using priority_queue_greater = priority_queue<T, vector<T>, greater<T>>;

template<class T>
class CostEdge{
public:
    int to;
    T cost;

    CostEdge(int to, T cost) : to(to), cost(cost){};

    bool operator <(const CostEdge &other) const {
        if(cost != other.cost) return (cost < other.cost);
        else return (to < other.to);
    }
};
 
template<class CostType>
class WeightedGraph{
public:
    const int size;
    const CostType INF = numeric_limits<CostType>::max();
    vector<vector<CostEdge<CostType>>> edges;

    WeightedGraph(int size) : size(size), edges(size){}

    vector<CostEdge<CostType>>& operator [](size_t index){
        return edges.at(index);
    }
    const vector<CostEdge<CostType>>& operator [](size_t index)const{
        return edges.at(index);
    }

    void add_edge(size_t from, size_t to, CostType cost){
        edges[from].emplace_back(to, cost);
    }
};


enum class graph_direction{
    directed,
    undirected,
};

// 閉路が存在しない場合はwg.INFを返す
template<class T>
T shortest_cycle(const WeightedGraph<T> &wg, graph_direction graph_dirc){
    auto solve = [&](int root) -> ll {
        // rootを根とする最短路木を作る
        vector<T> distance(wg.size, wg.INF);
        vector<int> label(wg.size); // label[root] := root, label[i] := （最短路木でiの祖先である頂点（iを含む）のうち、根に最も近いもの）
        {
            priority_queue_greater<tuple<ll, int, int>> pq; // {dist, vIndex}
            pq.emplace(0, root, root);
            while(!pq.empty()){
                auto [d, now, pre] = pq.top(); pq.pop();
                if(distance[now] < d) continue;
                distance[now] = d;
                if(pre == root) label[now] = now;
                else label[now] = label[pre];

                for(auto [nxt, cost] : wg[now]){
                    pq.emplace(d+cost, nxt, now);
                }
            }
        }


        // 最短閉路を見つける
        T min_cost = wg.INF;
        for(int from = 0; from < wg.size; from++){
            if(from == root) continue;
            if(distance[from] == wg.INF) continue;
            for(auto [to, cost] : wg[from]){
                if(distance[to] == wg.INF) continue;
                if(graph_dirc == graph_direction::undirected){
                    if(label[from] == label[to]) continue;
                    if(to == root && label[from] == from) continue;
                    else chmin(min_cost, distance[from] + distance[to] + cost);
                }
                if(graph_dirc == graph_direction::directed){
                    if(to != root) continue;
                    else chmin(min_cost, distance[from] + cost);
                }
            }
        }

        return min_cost;
    };

    T ans = wg.INF;
    for(int v = 0; v < wg.size; v++){
        chmin(ans, solve(v));
    }
    return ans;
}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int t; cin >> t;
    int n, m; cin >> n >> m;
    auto wg = WeightedGraph<ll>(n);
    for(int i = 0; i < m; i++){
        int u, v, w; cin >> u >> v >> w;
        u--; v--;
        wg[u].emplace_back(v, w);
        if(t == 0) wg[v].emplace_back(u, w);
    }

    auto ans = shortest_cycle(wg,
    (t==0) ? graph_direction::undirected : graph_direction::directed);
    if(ans == wg.INF) cout << -1 << endl;
    else cout << ans << endl;
    return 0;
}