#include "bits/stdc++.h" using namespace std; #define all(x) begin(x),end(x) template ostream& operator<<(ostream &os, const pair &p) { return os << '(' << p.first << ", " << p.second << ')'; } template::value, typename T_container::value_type>::type> ostream& operator<<(ostream &os, const T_container &v) { string sep; for (const T &x : v) os << sep << x, sep = " "; return os; } #define debug(a) cerr << "(" << #a << ": " << a << ")\n"; typedef long long ll; typedef vector vi; typedef vector vvi; typedef pair pi; const int mxN = 1e5+1, oo = 1e9; struct LCA { vi par,d,jmp,in,out; vector> adj; int root; LCA(int n,int root=0) : par(n,root),d(n),jmp(n,root),in(n),out(n),adj(n),root(root) {} void add(int i) { int p = par[i]; d[i]=1+d[p]; if(d[p] - d[jmp[p]] == d[jmp[p]] - d[jmp[jmp[p]]]) jmp[i] = jmp[jmp[p]]; else jmp[i] = p; } int jump(int a, int k) { int D = max(0,d[a]-k); while(d[a]>D) { if(d[jmp[a]]>=D) a = jmp[a]; else a = par[a]; } return a; } template pi find(int a, F f) { int steps=d[a]; while(!f(a)) { if(!f(jmp[a])) a = jmp[a]; else a = par[a]; } steps-=d[a]; return {a,steps}; } int lca(int a, int b) { if(d[a]> n; vi h(n),t(n); for(auto& i : h) cin >> i; for(auto& i : t) cin >> i; vi ord(n); iota(all(ord),0); sort(all(ord),[&](int i,int j) {return h[i]i) lca.addE(i,best[i]); else lca.addE(i,n); } lca.init(); // i --> <=t[i] some prefix of all the stuff. // only first one is different. so go to prefix then start jumping? int q; cin >> q; while(q--) { int a,b; cin >> a >> b; --a,--b; a = upper_bound(all(hh),t[a])-hh.begin()-1; if(a==-1) { cout << "-1\n"; } else { auto [who,steps] = lca.find(a,[&](int i) {return i==n or hh[i]>=h[b];}); if(who==n) { cout << "-1\n"; } else cout << steps+1 << '\n'; } } }