結果

問題 No.1023 Cyclic Tour
ユーザー ganariyaganariya
提出日時 2020-04-11 13:32:36
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 193 ms / 2,000 ms
コード長 8,286 bytes
コンパイル時間 1,833 ms
コンパイル使用メモリ 159,412 KB
実行使用メモリ 20,232 KB
最終ジャッジ日時 2023-10-19 03:14:21
合計ジャッジ時間 11,954 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,348 KB
testcase_01 AC 2 ms
4,348 KB
testcase_02 AC 2 ms
4,348 KB
testcase_03 AC 2 ms
4,348 KB
testcase_04 AC 74 ms
5,184 KB
testcase_05 AC 74 ms
5,184 KB
testcase_06 AC 84 ms
5,448 KB
testcase_07 AC 78 ms
5,184 KB
testcase_08 AC 90 ms
8,880 KB
testcase_09 AC 90 ms
8,880 KB
testcase_10 AC 87 ms
8,880 KB
testcase_11 AC 97 ms
9,144 KB
testcase_12 AC 98 ms
9,672 KB
testcase_13 AC 93 ms
9,408 KB
testcase_14 AC 93 ms
9,144 KB
testcase_15 AC 96 ms
9,408 KB
testcase_16 AC 176 ms
13,368 KB
testcase_17 AC 187 ms
13,368 KB
testcase_18 AC 193 ms
13,632 KB
testcase_19 AC 181 ms
13,368 KB
testcase_20 AC 151 ms
9,408 KB
testcase_21 AC 155 ms
9,408 KB
testcase_22 AC 159 ms
9,936 KB
testcase_23 AC 168 ms
9,936 KB
testcase_24 AC 184 ms
10,992 KB
testcase_25 AC 150 ms
9,408 KB
testcase_26 AC 153 ms
9,408 KB
testcase_27 AC 148 ms
9,000 KB
testcase_28 AC 173 ms
10,728 KB
testcase_29 AC 173 ms
10,728 KB
testcase_30 AC 175 ms
10,728 KB
testcase_31 AC 163 ms
10,728 KB
testcase_32 AC 173 ms
13,368 KB
testcase_33 AC 179 ms
11,520 KB
testcase_34 AC 138 ms
6,240 KB
testcase_35 AC 145 ms
6,504 KB
testcase_36 AC 155 ms
9,408 KB
testcase_37 AC 161 ms
11,784 KB
testcase_38 AC 169 ms
11,520 KB
testcase_39 AC 164 ms
9,936 KB
testcase_40 AC 164 ms
10,200 KB
testcase_41 AC 166 ms
10,200 KB
testcase_42 AC 155 ms
9,408 KB
testcase_43 AC 165 ms
10,464 KB
testcase_44 AC 77 ms
7,560 KB
testcase_45 AC 113 ms
20,232 KB
testcase_46 AC 112 ms
20,232 KB
testcase_47 AC 78 ms
7,560 KB
testcase_48 AC 154 ms
9,472 KB
testcase_49 AC 156 ms
9,476 KB
testcase_50 AC 151 ms
9,472 KB
testcase_51 AC 152 ms
9,476 KB
testcase_52 AC 157 ms
9,472 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

//include
//------------------------------------------
#include <vector>
#include <list>
#include <map>
#include <unordered_map>
#include <climits>
#include <set>
#include <unordered_set>
#include <deque>
#include <stack>
#include <bitset>
#include <algorithm>
#include <functional>
#include <numeric>
#include <utility>
#include <sstream>
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cctype>
#include <string>
#include <cstring>
#include <ctime>
#include <queue>
#include <random>
#include <chrono>
#include <complex>
#include <regex>
#include <locale>
#include <random>
#include <cassert>
#include <type_traits>

using namespace std;

// typedef
//------------------------------------------
typedef long long LL;
typedef vector<int> VI;
typedef vector<bool> VB;
typedef vector<char> VC;
typedef vector<double> VD;
typedef vector<string> VS;
typedef vector<LL> VLL;
typedef vector<VI> VVI;
typedef vector<VB> VVB;
typedef vector<VS> VVS;
typedef vector<VLL> VVLL;
typedef vector<VVI> VVVI;
typedef vector<VVLL> VVVLL;
typedef pair<int, int> PII;
typedef pair<LL, LL> PLL;
typedef pair<int, string> PIS;
typedef pair<string, int> PSI;
typedef pair<string, string> PSS;
typedef vector<PII> VPII;
typedef vector<PLL> VPLL;
typedef vector<VPII> VVPII;
typedef vector<VPLL> VVPLL;
typedef vector<VS> VVS;
typedef map<int, int> MII;
typedef map<LL, LL> MLL;
typedef map<string, int> MSI;
typedef map<int, string> MIS;

// container util
//------------------------------------------
#define ALL(a)  (a).begin(),(a).end()
#define SZ(a) int((a).size())
#define EACH(i, arr) for(typeof((arr).begin()) i=(arr).begin(); i!=(arr).end(); ++i)
#define EXIST(str, e) ((str).find(e)!=(str).end())
#define COUNT(arr, v) count((arr).begin(), (arr).end(), v)
#define SEARCH(v, w) search((v).begin(), (v).end(), (w).begin(), (w).end())
#define SORT(c) sort((c).begin(),(c).end())
#define RSORT(c) sort((c).rbegin(),(c).rend())
#define REVERSE(c) reverse((c).begin(), (c).end())
#define ROTATE_LEFT(arr, c) rotate((arr).begin(), (arr).begin()+(c), (arr).end())
#define ROTATE_RIGHT(arr, c) rotate((arr).rbegin(), (arr).rbegin() + (c), (arr).rend())
#define SUMI(arr) accumulate((arr).begin(), (arr).end(), 0)
#define SUMD(arr) accumulate((arr).begin(), (arr).end(), 0.)
#define SUMLL(arr) accumulate((arr).begin(), (arr).end(), 0LL)
#define MULD(arr) accumulate((arr).begin(), (arr).end(), 1., multiplies<double>())
#define UB(arr, n) upper_bound((arr).begin(), (arr).end(), n)
#define LB(arr, n) lower_bound((arr).begin(), (arr).end(), n)
#define PB push_back
#define MP make_pair
#define ft first
#define sd second


// input output
//------------------------------------------
#define GL(s) getline(cin, (s))
#define INIT() std::ios::sync_with_stdio(false);std::cin.tie(0)
#define OUT(d) std::cout<<(d)
#define OUT_L(d) std::cout<<(d)<<endl
#define FOUT(n, data) std::cout<<std::fixed<<std::setprecision(n)<<(data)
#define FOUT_L(n, data) std::cout<<std::fixed<<std::setprecision(n)<<(data)<<"\n"
#define EL() printf("\n")
#define SHOW_VECTOR(v) {std::cerr << #v << "\t:";for(const auto& xxx : v){std::cerr << xxx << " ";}std::cerr << "\n";}
#define SHOW_MAP(v) {std::cerr << #v << endl; for(const auto& xxx: v){std::cerr << xxx.first << " " << xxx.second << "\n";}}
#define Yes() printf("Yes\n")
#define No() printf("No\n")
#define YES() printf("YES\n")
#define NO() printf("NO\n")
#define Yay() printf("Yay!\n")
#define Nnn() printf(":(\n")
#define CE(x, y) ((x + y - 1) / (y))


template<typename T1, typename T2>
istream &operator>>(istream &in, pair<T1, T2> &p) {
    in >> p.first >> p.second;
    return in;
}

template<typename T>
istream &operator>>(istream &in, vector<T> &v) {
    for (auto &x: v)
        in >> x;
    return in;
}


template<typename T1, typename T2>
ostream &operator<<(ostream &out, const std::pair<T1, T2> &p) {
    out << "[" << p.first << ", " << p.second << "]" << "\n";
    return out;
}

template<class T1, class T2>
inline bool chmin(T1 &a, T2 b) {
    if (a > b) {
        a = b;
        return true;
    }
    return false;
}

template<class T1, class T2>
inline bool chmax(T1 &a, T2 b) {
    if (a < b) {
        a = b;
        return true;
    }
    return false;
}


//repetition
//------------------------------------------
#define FOR(i, a, b) for(int i=(a);i<(b);++i)
#define RFOR(i, a, b) for(int i=(b)-1;i>=(a);--i)
#define REP(i, n)  FOR(i,0,n)
#define RREP(i, n) for(int i = n-1;i >= 0;i--)
#define FORLL(i, a, b) for(LL i=LL(a);i<LL(b);++i)
#define RFORLL(i, a, b) for(LL i=LL(b)-1;i>=LL(a);--i)
#define REPLL(i, n) for(LL i=0;i<LL(n);++i)
#define RREPLL(i, n) for(LL i=LL(n)-1;i>=0;--i)
#define FOREACH(x, arr) for(auto &(x) : (arr))

void CaseOutput(int p) {
    printf("Case #%d: ", p);
}

//------------------------------------------
//------------------------------------------

struct UnionFind {

    vector<int> par;
    vector<int> sizes;

    UnionFind(int n)
            : par(n), sizes(n, 1) {
        for (int i = 0; i < n; i++) {
            par[i] = i;
        }
    }

    int find(int x) {
        return x == par[x] ? x : par[x] = find(par[x]);
    }

    bool unite(int x, int y) {
        x = find(x);
        y = find(y);
        if (x == y) return false;
        if (sizes[x] < sizes[y]) swap(x, y);
        par[y] = x;
        sizes[x] += sizes[y];
        return true;
    }

    bool same(int x, int y) {
        return find(x) == find(y);
    }

    int get_size(int x) {
        return sizes[find(x)];
    }

    bool all_same() {
        bool good = true;
        for (int i = 0, n = par.size(); i < n; i++) if (find(0) != find(i)) good = false;
        return good;
    }

    int get_connectivity() {
        set<int> s;
        for (int i = 0, n = par.size(); i < n; i++) s.insert(find(i));
        return s.size();
    }

};

template<class T>
struct Edge {
    int from, to;
    T cost;

    Edge(int from, int to, T cost) : from(from), to(to), cost(cost) {}

    explicit operator int() const { return to; }
};

template<class T>
using Edges = vector<Edge<T>>;

template<class T>
using WeightedGraph = vector<Edges<T>>;

using UnWeightedGraph = vector<vector<int>>;

template<class T>
using DistMatrix = vector<vector<T>>;

struct GraphAdapter {
    template<class T>
    static UnWeightedGraph to_unweighted_graph(const WeightedGraph<T> &origin) {
        int V = origin.size();
        UnWeightedGraph graph(V);
        for (int i = 0; i < V; i++) for (auto &e: origin[i]) graph[i].push_back((int) e);
        return graph;
    }

    static WeightedGraph<int> to_weighted_graph(const UnWeightedGraph &origin) {
        int V = origin.size();
        WeightedGraph<int> graph(V);
        for (int i = 0; i < V; i++) for (auto to: origin[i]) graph[i].push_back({i, to, 1});
        return graph;
    }

    template<class T>
    static DistMatrix<T> to_dist_matrix(const WeightedGraph<T> &origin, T INF) {
        int V = origin.size();
        DistMatrix<T> matrix(V, vector<T>(V, INF));
        for (int i = 0; i < V; i++) for (auto &e:origin[i]) matrix[i][e.to] = e.cost;
        for (int i = 0; i < V; i++) matrix[i][i] = 0;
        return matrix;
    }
};

int dfs(int v, UnWeightedGraph &G, vector<bool> &visited, vector<bool> &finish) {
    visited[v] = true;
    int ok = 0;
    for (auto to: G[v]) {
        if (visited[to] and !finish[to])ok = 1;
        if (!visited[to]) ok |= dfs(to, G, visited, finish);
    }
    finish[v] = true;
    return ok;
}

int main() {

    int N, M;
    cin >> N >> M;

    vector<int> a(M), b(M), c(M);
    REP(i, M) cin >> a[i] >> b[i] >> c[i], a[i]--, b[i]--;

    UnionFind UF(N);
    REP(i, M) {
        if (c[i] == 1) {
            if (UF.same(a[i], b[i])) {
                cout << "Yes" << endl;
                return 0;
            }
            UF.unite(a[i], b[i]);
        }
    }

    UnWeightedGraph G(N);
    REP(i, M) {
        if (c[i] == 2) {
            int x = UF.find(a[i]);
            int y = UF.find(b[i]);
            G[x].push_back(y);
        }
    }

    int ans = 0;
    vector<bool> visited(N, false);
    vector<bool> finish(N, false);
    for (int i = 0; i < N; i++) ans |= dfs(i, G, visited, finish);
    if (ans) Yes();
    else
        No();

}
0