結果

問題 No.2780 The Bottle Imp
コンテスト
ユーザー otoshigo
提出日時 2024-06-08 15:20:28
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 68 ms / 2,000 ms
コード長 1,591 bytes
コンパイル時間 2,403 ms
コンパイル使用メモリ 209,896 KB
最終ジャッジ日時 2025-02-21 20:56:52
ジャッジサーバーID
（参考情報） 		judge1 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 40
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
#include<atcoder/scc>
using namespace std;
using ll=long long;
#define rep(i,s,t) for(ll i=s;i<(ll)(t);i++)
#define rrep(i,s,t) for(ll i=(ll)(t)-1;i>=(ll)s;i--)
#define all(x) begin(x),end(x)
#define rall(x) rbegin(x),rend(x)

#define TT template<typename T>
TT using vec=vector<T>;
TT bool chmin(T &x,T y){return x>y?(x=y,true):false;}
TT bool chmax(T &x,T y){return x<y?(x=y,true):false;}

struct io_setup{
    io_setup(){
        ios::sync_with_stdio(false);
        cin.tie(nullptr);
        cout<<fixed<<setprecision(15);
    }
} io_setup;

int main(){
    int N;
    cin>>N;
    atcoder::scc_graph G(N);
    vector<vector<int>>to(N);
    for(int i=0;i<N;i++){
        int m;
        cin>>m;
        for(int j=0;j<m;j++){
            int a;
            cin>>a;
            a--;
            G.add_edge(i,a);
            to[i].push_back(a);
        }
    }
    vector<vector<int>>S=G.scc();
    vector<int>id(N);
    int L=S.size();
    for(int i=0;i<L;i++){
        for(auto x:S[i]){
            id[x]=i;
        }
    }
    vector<vector<int>>g(L);
    for(int i=0;i<N;i++){
        for(auto j:to[i]){
            if(id[i]!=id[j])g[id[i]].push_back(id[j]);
        }
    }
    vector<bool>flag(L);
    vector<int>dp(L,-(1<<30));
    auto f=[&](auto f,int x)-> int {
        if(flag[x])return dp[x];
        dp[x]=1;
        for(auto i:g[x]){
            chmax(dp[x],f(f,i)+1);
        }
        flag[x]=true;
        return dp[x];
    };
    f(f,id[0]);
    int ma=0;
    for(int i=0;i<L;i++)chmax(ma,dp[i]);
    if(ma==L)cout<<"Yes\n";
    else cout<<"No\n";
}
0