結果

問題 No.1023 Cyclic Tour
ユーザー rodea
提出日時 2020-04-10 22:08:35
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 2,738 bytes
コンパイル時間 1,763 ms
コンパイル使用メモリ 130,904 KB
実行使用メモリ 32,264 KB
最終ジャッジ日時 2024-09-15 20:33:38
合計ジャッジ時間 18,171 ms
ジャッジサーバーID
（参考情報） 		judge6 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 34 WA * 15
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma GCC optimize("O3")
#include <iostream>
#include <iomanip>
#include <cstdio>
#include <string>
#include <cstring>
#include <deque>
#include <list>
#include <queue>
#include <stack>
#include <vector>
#include <utility>
#include <algorithm>
#include <map>
#include <set>
#include <complex>
#include <cmath>
#include <limits>
#include <cfloat>
#include <climits>
#include <ctime>
#include <cassert>
#include <numeric>
#include <fstream>
#include <functional>
#include <bitset>
using namespace std;

using ll = long long;
using P = pair<int, int>;
using T = tuple<int, int, int>;

template <class T> inline T chmax(T &a, const T b) {return a = (a < b) ? b : a;}
template <class T> inline T chmin(T &a, const T b) {return a = (a > b) ? b : a;}

constexpr int MOD = 1e9 + 7;
constexpr int inf = 1e9;
constexpr long long INF = 1e18;

#define all(a) (a).begin(), (a).end()

int dx[] = {1, 0, -1, 0};
int dy[] = {0, 1, 0, -1};

const int MAX_V = 100010;

int V;
vector<vector<int>> G(MAX_V);
vector<vector<int>> rG(MAX_V);
vector<int> vs;
vector<bool> used(MAX_V);
vector<int> cmp(MAX_V);

void add_edge(int from, int to){
    G[from].push_back(to);
    rG[to].push_back(from);
}

void dfs(int v){
    used[v] = true;
    
    for(int i=0; i<G[v].size(); i++){
        if(!used[G[v][i]]) dfs(G[v][i]);
    }

    vs.push_back(v);
}

void rdfs(int v, int k){
    used[v] = true;
    cmp[v] = k;

    for(int i=0; i<rG[v].size(); i++){
        if(!used[rG[v][i]]) rdfs(rG[v][i], k);
    }
}

int scc(){
    for(int i=0; i<MAX_V; i++) used[i] = false;
    vs.clear();
    
    for(int v=0; v<V; v++){
        if(!used[v]) dfs(v);
    }

    for(int i=0; i<MAX_V; i++) used[i] = false;
    int k = 0;

    for(int i=vs.size()-1; i>=0; i--){
        if(!used[vs[i]]) rdfs(vs[i], k++);
    }

    return k;
}

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

    int m; cin>>V>>m;
    map<P, int> edge;
    for(int i=0; i<m; i++){
        int a, b, c; cin>>a>>b>>c;
        a--, b--;
        add_edge(a, b);
        if(c == 1) add_edge(b, a);
        edge[minmax(a, b)]++;
    }

    scc();

    map<int, int> cnt;
    for(int i=0; i<V; i++){
        cnt[cmp[i]]++;
    }

    int ma = 0;
    for(auto i:cnt) chmax(ma, i.second);

    if(2 < ma){
        cout << "Yes" << endl;
        return 0;
    }

    bool valid = false;
    if(ma == 2){
        vector<vector<int>> G(V);
        for(int i=0; i<V; i++){
            G[cmp[i]].emplace_back(i);
        }

        for(int i=0; i<V; i++){
            if(G[i].size() == 2){
                int val1 = G[i][0], val2 = G[i][1];
                if(edge[minmax(val1, val2)] >= 2) valid = true;
            }
        }
    }

    cout << (valid ? "Yes" : "No") << endl;

    return 0;
}
0