#include #include #define rep(i,b) for(int i=0;i=0;i--) #define rep1(i,b) for(int i=1;i=x;i--) #define fore(i,a) for(auto& i:a) #define rng(x) (x).begin(), (x).end() #define rrng(x) (x).rbegin(), (x).rend() #define sz(x) ((int)(x).size()) #define pb push_back #define fi first #define se second #define pcnt __builtin_popcountll using namespace std; using namespace atcoder; using ll = long long; using ld = long double; template using mpq = priority_queue, greater>; template bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (b ll sumv(const vector&a){ll res(0);for(auto&&x:a)res+=x;return res;} bool yn(bool a) { if(a) {cout << "Yes" << endl; return true;} else {cout << "No" << endl; return false;}} #define dame { cout << "No" << endl; return;} #define dame1 { cout << -1 << endl; return;} #define cout2(x,y) cout << x << " " << y << endl; #define coutp(p) cout << p.fi << " " << p.se << endl; #define out cout << ans << endl; #define outd cout << fixed << setprecision(20) << ans << endl; #define outm cout << ans.val() << endl; #define outv fore(yans , ans) cout << yans << "\n"; #define outdv fore(yans , ans) cout << yans.val() << "\n"; #define coutv(v) {fore(vy , v) {cout << vy << " ";} cout << endl;} #define coutv2(v) fore(vy , v) cout << vy << "\n"; #define coutvm(v) {fore(vy , v) {cout << vy.val() << " ";} cout << endl;} #define coutvm2(v) fore(vy , v) cout << vy.val() << "\n"; using pll = pair;using pil = pair;using pli = pair;using pii = pair;using pdd = pair; using vi = vector;using vd = vector;using vl = vector;using vs = vector;using vb = vector; using vpii = vector;using vpli = vector;using vpll = vector;using vpil = vector; using vvi = vector>;using vvl = vector>;using vvs = vector>;using vvb = vector>; using vvpii = vector>;using vvpli = vector>;using vvpll = vector;using vvpil = vector; using mint = modint998244353; //using mint = modint1000000007; //using mint = dynamic_modint<0>; using vm = vector; using vvm = vector>; vector dx={1,0,-1,0,1,1,-1,-1},dy={0,1,0,-1,1,-1,1,-1}; ll gcd(ll a, ll b) { return a?gcd(b%a,a):b;} ll lcm(ll a, ll b) { return a/gcd(a,b)*b;} #define yes {cout <<"Yes"< mp; rep(i,n) fore(y , e[i]){ if (led[i] == led[y]) continue; if (mp.find({led[i],led[y]}) != mp.end()) continue; scc_g[led[i]].pb(led[y]); scc_g_rev[led[y]].pb(led[i]); from_deg[led[i]]++; to_deg[led[y]]++; mp[{led[i],led[y]}] = 0; } return; } // 計算量はO(n^2) void cnt_init(){ reach.resize(m,vb(m,false)); rep(i,m){ reach[i][i] = true; queue q; q.push(i); while(!q.empty()){ int p = q.front(); q.pop(); fore(y , scc_g[p]){ if (reach[i][y]) continue; reach[i][y] = true; q.push(y); } } rep(j,m){ if(reach[i][j]){ to_cnt[j] += sz[i]; from_cnt[i] += sz[j]; } } } return; } }; // [メンバ関数] // scc(n) : 初期化。n頂点。 // add_edge(i , j) : 頂点iから頂点jへ辺を追加。 // init() : scc実行。強連結成分を1つの頂点と見做したときのグラフ(scc_g)を作成。計算量はO(n+m)。mは辺数。 // cnt_init() : 任意の強連結成分同士の到達判定。任意の頂点への(から)到達可能な頂点の数を計算。計算量はO(n^2)。 // [メンバ変数] // n : 頂点数 // m : 強連結成分数 // e : e[i]はvector。成分分解前の、始点をiとする有向辺の終点を格納 // v : v[i]はvector。強連結成分iに属する頂点集合。 // led[i] : 頂点iが属する強連結成分番号 // scc_g[i] : 強連結成分を1つの頂点と見做したときの有向辺情報を格納、形式はeと同様 // scc_g_rev[i] : scc_gにおいて、始点と終点を入れ替えたものに当たる。 // from_deg[i] : 強連結成分iから出る辺の数 // to_deg[i] : 強連結成分iに入る辺の数 //////// 以下、計算量はO(n^2)のcnt_init()を呼ぶことで初期化される /////////////// // from_cnt[i] : iから到達可能な頂点数 // to_cnt[i] : iに到達可能な頂点数 // reach[i][i2] : iからi2に到達可能なときtrue、そうでないときfalse void solve(){ int n; cin>>n; vi a(n),b(n); rep(i,n) cin>>a[i],a[i]--; rep(i,n) cin>>b[i],b[i]--; scc s(n); dsu d(n); rep(i,n){ s.add_edge(i,a[i]); d.merge(i,a[i]); } s.init(); s.cnt_init(); // test(3); bool ok = true; rep(i,n){ // show(i); if (!s.reach[s.led[a[i]]][s.led[b[i]]]) ok = false; } if (!ok){ nor; } vvi v = d.groups(); vb flg(n); vi dig(n); vi idx(n,-1); vi ra(n,-1); fore(y , v){ fore(yy , y) dig[a[yy]]++; queue q; fore(yy , y) if (dig[yy]==0) q.push(yy); while(sz(q)){ int p = q.front(); q.pop(); flg[p] = true; dig[a[p]]--; if (dig[a[p]]==0) q.push(a[p]); } int x = -1; fore(yy , y) if (!flg[yy]) x = yy; if (x==-1) continue; vi perm; int root = x; while(1){ perm.pb(x); int nx = a[x]; ra[nx] = x; if (nx==root) break; x = nx; } int k = sz(perm); reverse(rng(perm)); rep(i,k) idx[perm[i]] = i; int r = n; int l = 0; rep(i,k){ int x = perm[i]; int j = idx[ra[b[x]]]; assert(j!=-1); if (j>i){ chmin(r,j); l = i+1; }else if(j>t; rep(i,t){ solve(); } return 0; }