結果
問題 | No.1023 Cyclic Tour |
ユーザー | ganariya |
提出日時 | 2020-04-11 13:32:36 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 175 ms / 2,000 ms |
コード長 | 8,286 bytes |
コンパイル時間 | 1,652 ms |
コンパイル使用メモリ | 159,732 KB |
実行使用メモリ | 20,096 KB |
最終ジャッジ日時 | 2024-09-18 23:24:45 |
合計ジャッジ時間 | 10,829 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,816 KB |
testcase_01 | AC | 2 ms
6,940 KB |
testcase_02 | AC | 2 ms
6,944 KB |
testcase_03 | AC | 2 ms
6,940 KB |
testcase_04 | AC | 74 ms
6,948 KB |
testcase_05 | AC | 74 ms
6,944 KB |
testcase_06 | AC | 83 ms
6,940 KB |
testcase_07 | AC | 78 ms
6,940 KB |
testcase_08 | AC | 88 ms
8,832 KB |
testcase_09 | AC | 87 ms
8,832 KB |
testcase_10 | AC | 83 ms
8,704 KB |
testcase_11 | AC | 90 ms
8,960 KB |
testcase_12 | AC | 91 ms
9,600 KB |
testcase_13 | AC | 82 ms
9,216 KB |
testcase_14 | AC | 86 ms
9,088 KB |
testcase_15 | AC | 87 ms
9,304 KB |
testcase_16 | AC | 168 ms
13,156 KB |
testcase_17 | AC | 175 ms
13,312 KB |
testcase_18 | AC | 172 ms
13,440 KB |
testcase_19 | AC | 167 ms
13,312 KB |
testcase_20 | AC | 155 ms
9,216 KB |
testcase_21 | AC | 152 ms
9,344 KB |
testcase_22 | AC | 156 ms
9,728 KB |
testcase_23 | AC | 164 ms
9,856 KB |
testcase_24 | AC | 170 ms
10,752 KB |
testcase_25 | AC | 151 ms
9,216 KB |
testcase_26 | AC | 152 ms
9,240 KB |
testcase_27 | AC | 147 ms
8,832 KB |
testcase_28 | AC | 167 ms
10,496 KB |
testcase_29 | AC | 161 ms
10,752 KB |
testcase_30 | AC | 166 ms
10,624 KB |
testcase_31 | AC | 167 ms
10,752 KB |
testcase_32 | AC | 175 ms
13,312 KB |
testcase_33 | AC | 172 ms
11,412 KB |
testcase_34 | AC | 137 ms
6,940 KB |
testcase_35 | AC | 145 ms
6,944 KB |
testcase_36 | AC | 159 ms
9,372 KB |
testcase_37 | AC | 163 ms
11,648 KB |
testcase_38 | AC | 160 ms
11,392 KB |
testcase_39 | AC | 160 ms
9,856 KB |
testcase_40 | AC | 160 ms
9,984 KB |
testcase_41 | AC | 159 ms
9,948 KB |
testcase_42 | AC | 156 ms
9,216 KB |
testcase_43 | AC | 156 ms
10,240 KB |
testcase_44 | AC | 77 ms
7,424 KB |
testcase_45 | AC | 105 ms
20,096 KB |
testcase_46 | AC | 99 ms
20,096 KB |
testcase_47 | AC | 79 ms
7,552 KB |
testcase_48 | AC | 155 ms
9,344 KB |
testcase_49 | AC | 156 ms
9,300 KB |
testcase_50 | AC | 150 ms
9,344 KB |
testcase_51 | AC | 153 ms
9,344 KB |
testcase_52 | AC | 156 ms
9,344 KB |
ソースコード
//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(); }