結果

問題 No.1023 Cyclic Tour
ユーザー ngtkana
提出日時 2020-04-11 14:17:51
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 84 ms / 2,000 ms
コード長 1,664 bytes
コンパイル時間 6,283 ms
コンパイル使用メモリ 202,212 KB
最終ジャッジ日時 2025-01-09 17:21:36
ジャッジサーバーID
(参考情報)
judge1 / judge1
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 4
other AC * 49
権限があれば一括ダウンロードができます

ソースコード

diff #

#include<bits/stdc++.h>
#define ALL(v) std::begin(v),std::end(v)
using lint=long long;
using ld=long double;
void yes(){
    std::cout<<"Yes"<<'\n';
    exit(0);
}
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    lint n,m;std::cin>>n>>m;
    std::vector<std::pair<lint,lint>>arrows;
    std::vector<std::vector<lint>>g(n);
    while(m--){
        lint u,v,c;std::cin>>u>>v>>c;u--,v--;
        if(c==1){
            g.at(u).push_back(v);
            g.at(v).push_back(u);
        }
        if(c==2){
            arrows.emplace_back(u,v);
        }
    }
    lint sz=0;
    std::vector<lint>cmp(n,-1);
    auto dfs=[&](auto&&f,lint x, lint p)->void{
        for(lint y:g.at(x)){
            if(y==p)continue;
            if(cmp.at(y)!=-1){
                assert(cmp.at(x)==cmp.at(y));
                yes();
            }
            cmp.at(y)=cmp.at(x);
            f(f,y,x);
        }
    };
    for(lint i=0;i<n;i++){
        if(cmp.at(i)!=-1)continue;
        cmp.at(i)=sz++;
        dfs(dfs,i,i);
    }
    g=std::vector<std::vector<lint>>(sz);
    for(auto[u,v]:arrows){
        u=cmp.at(u),v=cmp.at(v);
        if(u==v)yes();
        g.at(u).push_back(v);
    }
    std::vector<lint>ckd(sz);
    auto efs=[&](auto&&f,lint x)->void{
        ckd.at(x)=1;
        for(lint y:g.at(x)){
            if(ckd.at(y)==1)yes();
            if(ckd.at(y)==2)continue;
            f(f,y);
        }
        ckd.at(x)=2;
    };
    for(lint i=0;i<sz;i++){
        assert(ckd.at(i)!=1);
        if(ckd.at(i)==2)continue;
        efs(efs,i);
    }
    std::cout<<"No"<<'\n';
}
0