結果

問題 No.2780 The Bottle Imp
ユーザー YY-otterYY-otter
提出日時 2024-06-14 05:19:31
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,151 bytes
コンパイル時間 2,064 ms
コンパイル使用メモリ 133,840 KB
実行使用メモリ 30,640 KB
最終ジャッジ日時 2024-06-14 05:19:37
合計ジャッジ時間 5,653 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 AC 2 ms
6,944 KB
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 46 ms
9,808 KB
testcase_08 AC 47 ms
9,812 KB
testcase_09 AC 47 ms
9,944 KB
testcase_10 AC 46 ms
9,808 KB
testcase_11 AC 47 ms
9,812 KB
testcase_12 AC 71 ms
15,512 KB
testcase_13 AC 73 ms
15,540 KB
testcase_14 WA -
testcase_15 WA -
testcase_16 AC 36 ms
7,428 KB
testcase_17 AC 37 ms
7,296 KB
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 AC 37 ms
7,424 KB
testcase_22 AC 20 ms
6,940 KB
testcase_23 AC 33 ms
7,132 KB
testcase_24 AC 39 ms
8,744 KB
testcase_25 AC 61 ms
12,364 KB
testcase_26 AC 38 ms
8,260 KB
testcase_27 WA -
testcase_28 WA -
testcase_29 AC 35 ms
10,460 KB
testcase_30 AC 28 ms
8,540 KB
testcase_31 WA -
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
testcase_35 WA -
testcase_36 AC 2 ms
6,940 KB
testcase_37 AC 2 ms
6,940 KB
testcase_38 WA -
testcase_39 WA -
testcase_40 WA -
testcase_41 AC 55 ms
14,492 KB
testcase_42 WA -
testcase_43 AC 2 ms
6,944 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <set>
#include <algorithm>
#include <cmath>

#include <atcoder/scc>

using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
typedef string str;

#define ALL(x) (x).begin(),(x).end()
#define RALL(x) (x).rbegin(),(x).rend()
#define MAX_LL (1LL<<62)
//#define MOD 998244353
//#define MOD 1000000007

ll upper_char_to_ll(const char &c) {return ll(c)-65;}
ll lower_char_to_ll(const char &c) {return ll(c)-97;}

ll max(const ll &a, const ll &b) {if(a>b) return a; else return b;}
ll min(const ll &a, const ll &b) {if(a<b) return a; else return b;}
ll calc_gcd(ll a, ll b) {while(true){if(a*b == 0) return a+b; else if(a>b) a %= b; else b %= a;}}
ull pow_mod(ull a, ull b, ull mod=-1) {if(mod<2) return 0; ull ans=1, now=a; while(b>0){if(b%2) ans=(ans*now)%mod; now=(now*now)%mod; b/=2;} return ans;}

bool update_max(ll &a, const ll &b) {if(a<b){a=b; return true;} else return false;}
bool update_max(ld &a, const ld &b) {if(a<b){a=b; return true;} else return false;}
bool update_min(ll &a, const ll &b) {if(a>b){a=b; return true;} else return false;}
bool update_min(ld &a, const ld &b) {if(a>b){a=b; return true;} else return false;}

int main() {
  ll N;
  cin >> N;
  
  vector<vector<ll>> A(N);
  for(ll i=0; i<N; i++){
  	ll M;
  	cin >> M;
  	for(ll j=0; j<M; j++){
  		ll temp;
  		cin >> temp;
  		A[i].push_back(temp);
  	}
  }
  
  atcoder::scc_graph graph(N);
  for(ll i=0; i<N; i++){
  	for(ll j=0; j<A[i].size(); j++){
  		graph.add_edge(i, A[i][j]-1);
  	}
  }
  
  vector<vector<int>> scc = graph.scc();
  vector<ll> topological(N);
  
  for(ll i=0; i<scc.size(); i++){
  	for(ll j=0; j<scc[i].size(); j++){
  		topological[scc[i][j]] = i;
  	}
  }
  
  if(topological[0] != 0){
  	cout << "No" << endl;
  	return 0;
  }
  
  for(ll i=0; i<scc.size(); i++){
  	for(ll j=0; j<scc[i].size(); j++){
  		for(ll k=0; k<A[scc[i][j]].size(); k++){
  			if(topological[A[scc[i][j]][k]-1] == i+1)
  				goto next;
  		}
  		if(j == scc[i].size()-1){
  			cout << "No" << endl;
  			return 0;
  		}
  	}
  	next:;
  }
  
  cout << "Yes" << endl;
  return 0;
}
0