#include #pragma GCC optimize("unroll-loops") using namespace std; using std::cout; using std::cin; using std::endl; using ll=long long; using ld=long double; const ll ILL=2167167167167167167; const int INF=2100000000; const int mod=998244353; #define rep(i,a,b) for (int i=(int)(a);i<(int)(b);i++) #define all(p) p.begin(),p.end() template using _pq = priority_queue, greater>; template ll LB(vector &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();} template ll UB(vector &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();} template bool chmin(T &a,T b){if(a>b){a=b;return 1;}else return 0;} template bool chmax(T &a,T b){if(a void So(vector &v) {sort(v.begin(),v.end());} template void Sore(vector &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});} bool yneos(bool a,bool upp=0){if(a){cout<<(upp?"YES\n":"Yes\n");}else{cout<<(upp?"NO\n":"No\n");}return a;} template void vec_out(vector &p,int ty=0){ if(ty==2){cout<<'{';for(int i=0;i<(int)p.size();i++){if(i){cout<<",";}cout<<'"'< T vec_min(vector &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmin(ans,x);return ans;} template T vec_max(vector &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmax(ans,x);return ans;} template T vec_sum(vector &a){T ans=T(0);for(auto &x:a) ans+=x;return ans;} int pop_count(long long a){int res=0;while(a){res+=(a&1),a>>=1;}return res;} template bool inside(T l,T x,T r){return l<=x&&x> G; std::vector> G_rev; int size; SCC(int n):G(n),G_rev(n),size(n){} void clear(){ for(auto &x:G) x.clear(); for(auto &x:G_rev) x.clear(); } void reserve(int ind,size_t n_){ assert(ind &order,std::vector &seen,int ind,int &now){ if(seen[ind]!=0) return; seen[ind]=-1; for(auto x:G[ind]){ dfs1(order,seen,x,now); } order[now]=ind; now++; } void dfs2(std::vector &seen,int ind,int rank){ if(seen[ind]!=-1) return; seen[ind]=rank; for(auto x:G_rev[ind]){ dfs2(seen,x,rank); } } std::vector> tp_sort(){ std::vector seen(size,0),order(size); int now=0; for(int i=0;i=0;i--){ if(seen[order[i]]==-1){ dfs2(seen,order[i],now); now++; } } std::vector> ans(now); for(int i=0;i for_two_sat(){ std::vector seen(size,0),order(size); int now=0; for(int i=0;i=0;i--){ if(seen[order[i]]==-1){ dfs2(seen,order[i],now); now++; } } return seen; } }; struct two_SAT{ po167::SCC graph; std::vector ans; bool exists=false; int size; two_SAT(int n):graph(2*n),ans(n),size(n){} void add_clause(int i,bool f,int j,bool g){ graph.add_edge(i*2+(!f),j*2+(g)); graph.add_edge(j*2+(!g),i*2+(f)); } void clear(){ graph.clear(); exists=false; } void reserve(int ind,size_t n_){ assert(ind> &p){ int ind; for(int i=0;i<(int)(p.size())-1;i++){ ind=graph.add_ver(); graph.add_ver(); ind/=2; add_clause(ind,1,p[i].first,p[i].second^1); add_clause(ind,0,p[i+1].first,p[i+1].second^1); if(i){ add_clause(ind-1,0,ind,1); } ans.push_back(false); size++; } } bool build(){ auto rank=graph.for_two_sat(); exists=true; for(int i=0;i> t; rep(i, 0, t) solve(); } void solve(){ int N; cin >> N; SCC S(N); rep(i, 0, N){ int M; cin >> M; while (M--){ int a; cin >> a; a--; S.add_edge(i, a); } } auto p = S.tp_sort(); vector inv(N); rep(i, 0, p.size()) for (auto x : p[i]) inv[x] = i; int ind = 0; vector seen(N); seen[p[0][0]] = 1; bool ok = 1; for (auto v : p){ ok = 0; for (auto x : v){ if (seen[x]) ok = 1; } if (!ok) break; int a = -1; for (auto x : v) for (auto y : S.G[x]) if (inv[y] != ind){ if (a == -1 || inv[a] > inv[y]) a = y; } ind++; if (a != -1) seen[a] = 1; } if (inv[0]) ok = 0; yneos(ok); }