This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include <bits/stdc++.h>
#include "werewolf.h"
using namespace std;
#define MAX_N 200005
#define FL p<<1
#define FR p<<1|1
vector <vector <int>> adj;
vector <int> a ,pos;
int gt(int u ,int p=-1){
    a.push_back(u);
    if(adj[u].size() == 1 && ~p)
        return u;
    if(adj[u][0] != p)
        return gt(adj[u][0] ,u);
    return gt(adj[u][1] ,u);
}
int n ,tree[2][4*MAX_N];
void bld(int l=0 ,int r=n-1 ,int p=1){
    if(l == r){
        tree[0][p] = tree[1][p] = a[l];
        return;
    }
    int mid = (l+r)>>1;
    bld(l ,mid ,FL);
    bld(mid+1 ,r ,FR);
    tree[0][p] = min(tree[0][FL] ,tree[0][FR]);
    tree[1][p] = max(tree[1][FL] ,tree[1][FR]);
}
int getlastzero(int ql ,int qr ,int qq ,int l=0 ,int r=n-1 ,int p=1){
    if(r < ql || qr < l)
        return -1;
    if(l == r)
        return tree[1][p] > qq? l : -1;
    int mid = (l+r)>>1;
    if(ql <= l && r <= qr){
        if(tree[1][FR] > qq) return getlastzero(ql ,qr ,qq ,mid+1 ,r ,FR);
        if(tree[1][FL] > qq) return getlastzero(ql ,qr ,qq ,l ,mid ,FL);
        return -1;
    }
    int rt = getlastzero(ql ,qr ,qq ,mid+1 ,r ,FR);
    if(~rt) return rt;
    return getlastzero(ql ,qr ,qq ,l ,mid ,FL);
}
int getfirsttwo(int ql ,int qr ,int qq ,int l=0 ,int r=n-1 ,int p=1){
    if(r < ql || qr < l)
        return -1;
    if(l == r)
        return tree[0][p] < qq? l : -1;
    int mid = (l+r)>>1;
    if(ql <= l && r <= qr){
        if(tree[0][FL] < qq) return getfirsttwo(ql ,qr ,qq ,l ,mid ,FL);
        if(tree[0][FR] < qq) return getfirsttwo(ql ,qr ,qq ,mid+1 ,r ,FR);
        return -1;
    }
    int lf = getfirsttwo(ql ,qr ,qq ,l ,mid ,FL);
    if(~lf) return lf;
    return getfirsttwo(ql ,qr ,qq ,mid+1 ,r ,FR);
}
int ex ,pl ,pr;
bool vis[2][3000];
bool go(int u ,bool st=0){
    vis[st][u] = 1;
    if(pl <= u && u <= pr && ~st && !vis[1][u] && go(u ,1))
        return 1;
    if(st && u > pr) return 0;
    if(!st && u < pl) return 0;
    if(u == ex) return st;
    vis[st][u] = 1;
    for(int&v : adj[u]) if(!vis[st][v] && go(v ,st))
        return 1;
    return 0;
}
vector<int> check_validity(int N, vector<int> X, vector<int> Y,vector<int> S, vector<int> E,vector<int> L, vector<int> R) { n = N;
    adj.resize(N);
    for(int i=0; i<X.size(); i++){
        adj[X[i]].push_back(Y[i]);
        adj[Y[i]].push_back(X[i]);
    }
    if(N <= 3000){
        vector <int> ret(R.size());
        for(int q = 0; q < R.size(); q++){
            ex = E[q] ,pl = L[q] ,pr = R[q];
            memset(vis ,0 ,sizeof vis);
            ret[q] = go(S[q]);
        }
        return ret;
    }
    int lf = gt(0); a.clear(); gt(lf);
    pos.resize(N);
    for(int i=0; i<N; i++)
        pos[a[i]] = i;
    bld();
    vector <int> ret(R.size());
    for(int q = 0; q < R.size(); q++){
        int l = pos[S[q]] ,r = pos[E[q]];
        if(r < l) continue;
        if(R[q] < a[r] || a[l] < L[q]) { ret[q] = 0; continue; }
        int last0 = getlastzero(l ,r ,R[q]);
        int first2 = getfirsttwo(l ,r ,L[q]);
        ret[q] = (~last0 && ~first2? last0+1 < first2 : 1);
    }
    reverse(a.begin() ,a.end());
    for(int i=0; i<N; i++)
        pos[a[i]] = i;
    memset(tree ,0 ,sizeof tree);
    bld();
    for(int q = 0; q < R.size(); q++){
        int l = pos[S[q]] ,r = pos[E[q]];
        if(r < l) continue;
        if(R[q] < a[r] || a[l] < L[q]) { ret[q] = 0; continue; }
        int last0 = getlastzero(l ,r ,R[q]);
        int first2 = getfirsttwo(l ,r ,L[q]);
        ret[q] = (~last0 && ~first2? last0+1 < first2 : 1);
    }
    return ret;
}
Compilation message (stderr)
werewolf.cpp: In function 'bool go(int, bool)':
werewolf.cpp:67:31: warning: '~' on an expression of type bool [-Wbool-operation]
   67 |     if(pl <= u && u <= pr && ~st && !vis[1][u] && go(u ,1))
      |                               ^~
werewolf.cpp:67:31: note: did you mean to use logical not ('!')?
werewolf.cpp: In function 'std::vector<int> check_validity(int, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>)':
werewolf.cpp:80:19: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   80 |     for(int i=0; i<X.size(); i++){
      |                  ~^~~~~~~~~
werewolf.cpp:87:26: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   87 |         for(int q = 0; q < R.size(); q++){
      |                        ~~^~~~~~~~~~
werewolf.cpp:102:22: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  102 |     for(int q = 0; q < R.size(); q++){
      |                    ~~^~~~~~~~~~
werewolf.cpp:117:22: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  117 |     for(int q = 0; q < R.size(); q++){
      |                    ~~^~~~~~~~~~| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |