結果

問題 No.2780 The Bottle Imp
ユーザー umezoumezo
提出日時 2024-06-19 06:24:10
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 134 ms / 2,000 ms
コード長 1,288 bytes
コンパイル時間 6,410 ms
コンパイル使用メモリ 320,984 KB
実行使用メモリ 49,392 KB
最終ジャッジ日時 2024-06-19 06:24:20
合計ジャッジ時間 9,869 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
5,248 KB
testcase_01 AC 5 ms
5,248 KB
testcase_02 AC 3 ms
5,376 KB
testcase_03 AC 4 ms
5,376 KB
testcase_04 AC 3 ms
5,376 KB
testcase_05 AC 3 ms
5,376 KB
testcase_06 AC 3 ms
5,376 KB
testcase_07 AC 61 ms
16,976 KB
testcase_08 AC 59 ms
16,988 KB
testcase_09 AC 59 ms
16,984 KB
testcase_10 AC 57 ms
16,864 KB
testcase_11 AC 59 ms
16,864 KB
testcase_12 AC 133 ms
34,312 KB
testcase_13 AC 134 ms
34,300 KB
testcase_14 AC 19 ms
6,888 KB
testcase_15 AC 19 ms
6,892 KB
testcase_16 AC 18 ms
6,764 KB
testcase_17 AC 19 ms
6,944 KB
testcase_18 AC 18 ms
6,760 KB
testcase_19 AC 19 ms
6,768 KB
testcase_20 AC 19 ms
6,760 KB
testcase_21 AC 19 ms
6,940 KB
testcase_22 AC 18 ms
7,140 KB
testcase_23 AC 17 ms
6,896 KB
testcase_24 AC 46 ms
14,496 KB
testcase_25 AC 91 ms
24,760 KB
testcase_26 AC 28 ms
9,520 KB
testcase_27 AC 19 ms
7,576 KB
testcase_28 AC 19 ms
7,572 KB
testcase_29 AC 38 ms
16,008 KB
testcase_30 AC 38 ms
16,268 KB
testcase_31 AC 31 ms
11,572 KB
testcase_32 AC 12 ms
5,376 KB
testcase_33 AC 46 ms
26,704 KB
testcase_34 AC 96 ms
49,392 KB
testcase_35 AC 10 ms
5,376 KB
testcase_36 AC 2 ms
5,376 KB
testcase_37 AC 3 ms
5,376 KB
testcase_38 AC 9 ms
5,376 KB
testcase_39 AC 32 ms
14,676 KB
testcase_40 AC 31 ms
14,548 KB
testcase_41 AC 32 ms
14,676 KB
testcase_42 AC 2 ms
5,376 KB
testcase_43 AC 3 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint=modint998244353;//modint1000000007

#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;
template <class T> using V=vector<T>;
template <class T> using VV=V<V<T>>; //B(n,V<int>(n))

V<int> A[100100];
 
int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  int n;
  cin>>n;
  scc_graph g(n);
  V<int> M(n);
  rep(i,n){
    cin>>M[i];
    rep(j,M[i]){
      int a;
      cin>>a;
      a--;
      g.add_edge(i,a);
      A[i].push_back(a);
    }
  }
  auto scc=g.scc();
  V<int> G(n);
  int a=scc.size();
  rep(i,a){
    for(auto j:scc[i]) G[j]=i; 
  }
  V<set<int>> to(a),from(a);
  rep(i,n){
    for(auto x:A[i]){
      if(G[x]==G[i]) continue;
      from[G[x]].insert(G[i]);
      to[G[i]].insert(G[x]);
    }
  }
  V<int> dp(a),out(a);
  queue<int> que;
  rep(i,a){
    if(to[i].size()==0){
      que.push(i);
      dp[i]=1;
    }
    else out[i]=to[i].size();
  }
  while(que.size()){
    auto b=que.front(); que.pop();
    for(auto x:from[b]){
      dp[x]=max(dp[x],dp[b]+1);
      out[x]--;
      if(out[x]==0) que.push(x);
    }
  }
  if(dp[G[0]]==a) cout<<"Yes"<<endl;
  else cout<<"No"<<endl;
    
  return 0;
}
0