結果

問題 No.1023 Cyclic Tour
ユーザー fiord
提出日時 2020-04-12 22:28:57
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 4,699 bytes
コンパイル時間 1,536 ms
コンパイル使用メモリ 142,512 KB
最終ジャッジ日時 2025-01-09 17:46:57
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 41 TLE * 8
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#define _CRT_SECURE_NO_WARNINGS
#define _USE_MATH_DEFINES
#include <iostream>
#include <fstream>
#include <cstdio>
#include <cmath>
#include <cstdlib>
#include <cstring>
#include <cassert>
#include <string>
#include <vector>
#include <utility>
#include <complex>
#include <set>
#include <map>
#include <unordered_map>
#include <queue>
#include <stack>
#include <deque>
#include <tuple>
#include <bitset>
#include <limits>
#include <algorithm>
#include <array>
#include <random>
#include <complex>
#include <regex>
using namespace std;
typedef long double ld;
typedef long long ll;
typedef vector<int> vint;
typedef vector<ll> vll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
typedef pair<double, double> pdd;
typedef complex<ld> compd;
#define quickIO()   {cin.tie(0);    cout.sync_with_stdio(false);}
#define reach(i,a)  for(auto i:a)
#define rep(i,n)    for(int i=0;i<((int)n);i++)
#define REP(i,n)    for(int i=0;i<=((int)n);i++)
#define srep(i,a,n) for(int i=a;i<((int)n);i++)
#define SREP(i,a,n) for(int i=a;i<=((int)n);i++)
#define rrep(i,n)   for(int i=n-1;i>=0;i--)
#define RREP(i,n)   for(int i=n;i>=0;i--)
#define all(a)  (a).begin(),(a).end()
#define mp(a,b) make_pair(a,b)
#define mt  make_tuple
#define pb  push_back
template<typename T> istream& operator >> (istream& is, vector<T>& vec) {
    for (T& x : vec)    is >> x;
    return is;
}
template<typename T> ostream& operator << (ostream& os, vector<T>& vec) {
    os << "[";
    rep(i, vec.size())  os << (i ? ", " : "") << vec[i];
    os << "]";
    return os;
}
template<typename T> istream& operator >> (istream& is, pair<T, T>& p) {
    is >> p.first >> p.second;
    return is;
}
template<typename T> ostream& operator << (ostream& os, pair<T, T>& p) {
    os << p.first << " " << p.second;
    return os;
}
template<typename T> bool operator < (vector<T>& a, vector<T>& b) {
    rep(i, a.size()) {
        if (i == b.size())  return false;
        if (a[i] < b[i])    return true;
        else if (a[i] > b[i])   return false;
    }
    return false;
}
template<typename T> bool operator > (vector<T>& a, vector<T>& b) {
    rep(i, a.size()) {
        if (i == b.size())  return true;
        if (a[i] < b[i])    return false;
        else if (a[i] > b[i])   return true;
    }
    return false;
}
int bitcnt(ll x) {
    x = ((x & 0xAAAAAAAAAAAAAAAA) >> 1) + (x & 0x5555555555555555);
    x = ((x & 0xCCCCCCCCCCCCCCCC) >> 2) + (x & 0x3333333333333333);
    x = ((x & 0xF0F0F0F0F0F0F0F0) >> 4) + (x & 0x0F0F0F0F0F0F0F0F);
    x = ((x & 0xFF00FF00FF00FF00) >> 8) + (x & 0x00FF00FF00FF00FF);
    x = ((x & 0xFFFF0000FFFF0000) >> 16) + (x & 0x0000FFFF0000FFFF);
    x = ((x & 0xFFFFFFFF00000000) >> 32) + (x & 0x00000000FFFFFFFF);
    return x;
}
int bitcnt(int x) {
    x = ((x & 0xAAAAAAAA) >> 1) + (x & 0x55555555);
    x = ((x & 0xCCCCCCCC) >> 2) + (x & 0x33333333);
    x = ((x & 0xF0F0F0F0) >> 4) + (x & 0x0F0F0F0F);
    x = ((x & 0xFF00FF00) >> 8) + (x & 0x00FF00FF);
    x = ((x & 0xFFFF0000) >> 16) + (x & 0x0000FFFF);
    return x;
}
ll sqrtll(ll x) {
    ll left = 0, right = x;
    rep(i, 100) {
        ll mid = (left + right) >> 1;
        if (mid * mid <= x) left = mid;
        else    right = mid;
    }
    return left;
}
ll gcd(ll a, ll b) {
    return b == 0 ? a : gcd(b, a % b);
}
#define debug(x)    printf("Case #%d: ", x)
#undef DEBUG
const ld infl = 1e100;
const ll mod = 998244353;
const ld eps = 1e-9;
const ll inf = 1e15;
const int dx[] = { 1,0,-1,0,1, -1 };
const int dy[] = { 0,1,0,-1,1, -1 };
vint uedge[100000];
set<int> dedge[100000];
int group[100000];
bool found[100000];
bool visit[100000];
bool udfs(int pos, int k, int p) {
    group[pos] = k;
    for (int to : uedge[pos]) {
        if (to == p)    continue;
        if (group[to] != -1)    return true;
        if (udfs(to, k, pos))   return true;
    }
    return false;
}
bool ddfs(int pos) {
    found[pos] = true;
    for (int to : dedge[pos]) {
        if (found[to] && !visit[to])    return true;
        if (ddfs(to))   return true;
    }
    visit[pos] = true;
    return false;
}
int main() {
    int n, m;   cin >> n >> m;
    rep(i, m) {
        int a, b, c;    cin >> a >> b >> c;
        a--;    b--;
        if (c == 1) {
            uedge[a].push_back(b);
            uedge[b].push_back(a);
        }
        else if (c == 2) {
            dedge[a].insert(b);
        }
    }
    rep(i, n)   group[i] = -1;
    // 無向グラフのみで閉路があるか
    rep(i, n) {
        if (group[i] == -1) {
            if (udfs(i, i, -1)) {
                cout << "Yes" << endl;
                return 0;
            }
        }
    }
    // 無向グラフの辺を縮約して有効グラフのみに
    rep(i, n) {
        if (group[i] == i) {
            set<int> new_edge;
            for (int to : dedge[i]) {
                new_edge.insert(group[to]);
            }
            dedge[i] = new_edge;
        }
    }
    rep(i, n) {
        if (group[i] != i) {
            for (int to : dedge[i]) {
                (dedge[group[i]]).insert(group[to]);
            }
        }
    }
    rep(i, n) {
        if (group[i] == i && !visit[i]) {
            if (ddfs(i)) {
                cout << "Yes" << endl;
                return 0;
            }
        }
    }
    cout << "No" << endl;
    return 0;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0