結果

問題 No.1023 Cyclic Tour
ユーザー rodearodea
提出日時 2020-04-10 22:08:35
言語 C++14
(gcc 12.3.0 + boost 1.83.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
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 5 ms
8,320 KB
testcase_01 AC 6 ms
8,320 KB
testcase_02 AC 6 ms
8,320 KB
testcase_03 AC 7 ms
8,320 KB
testcase_04 AC 224 ms
21,628 KB
testcase_05 AC 206 ms
21,504 KB
testcase_06 AC 237 ms
23,740 KB
testcase_07 AC 223 ms
22,524 KB
testcase_08 AC 191 ms
22,848 KB
testcase_09 AC 186 ms
22,444 KB
testcase_10 AC 183 ms
22,156 KB
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 AC 161 ms
22,688 KB
testcase_15 WA -
testcase_16 AC 293 ms
29,188 KB
testcase_17 AC 317 ms
29,444 KB
testcase_18 AC 313 ms
29,192 KB
testcase_19 AC 300 ms
28,640 KB
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 AC 332 ms
27,648 KB
testcase_26 AC 334 ms
28,460 KB
testcase_27 AC 321 ms
27,904 KB
testcase_28 AC 350 ms
30,060 KB
testcase_29 AC 351 ms
29,812 KB
testcase_30 AC 364 ms
30,404 KB
testcase_31 AC 329 ms
29,300 KB
testcase_32 AC 321 ms
30,516 KB
testcase_33 AC 346 ms
30,604 KB
testcase_34 AC 318 ms
27,376 KB
testcase_35 AC 318 ms
27,776 KB
testcase_36 WA -
testcase_37 AC 311 ms
29,472 KB
testcase_38 AC 284 ms
29,440 KB
testcase_39 WA -
testcase_40 AC 350 ms
28,940 KB
testcase_41 AC 350 ms
28,820 KB
testcase_42 AC 364 ms
28,000 KB
testcase_43 AC 325 ms
29,144 KB
testcase_44 AC 194 ms
21,364 KB
testcase_45 AC 210 ms
32,264 KB
testcase_46 AC 173 ms
27,648 KB
testcase_47 WA -
testcase_48 WA -
testcase_49 WA -
testcase_50 WA -
testcase_51 AC 332 ms
28,920 KB
testcase_52 AC 296 ms
28,968 KB
権限があれば一括ダウンロードができます

ソースコード

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