#include<bits/stdc++.h>
using namespace std;
#define lalala ios_base::sync_with_stdio(false);cin.tie(NULL);cout.tie(NULL);
#define ll long long
#define int long long int
#define endl '\n'
#define N 200100
#define M 30
#define big 2147483647
#define bigg 9223372036854775807
#define pb push_back
#define p push
#define ins insert
#define f first
#define s second
int lca[N][M];
vector<int> adj[N], comprez;
vector<pair<int,int>> ikinci;
int gittik[N];
void dfs(int x,int a,int b){
if(gittik[x])return ;
gittik[x]=1;
lca[x][0]=lca[x][1]=x;
pair<int,int> pa={a+1,b};
int yeni=(lower_bound(ikinci.begin(),ikinci.end(),pa)-ikinci.begin());
if(yeni!=ikinci.size()&&ikinci[yeni].f==a+1&&gittik[yeni]==0){
lca[x][1]=yeni;
dfs(yeni,a+1,ikinci[yeni].s);
}
}
void doldur(){
for(int i=2;i<M;i++){
for(int j=0;j<ikinci.size();j++){
lca[j][i]=lca[lca[j][i-1]][i-1];
}
}
}
int qua(int x,int y,int a,int b){
a--;
int kim=(lower_bound(comprez.begin(),comprez.end(),x)-comprez.begin());
if(kim==comprez.size()||comprez[kim]!=x)return 0;
int yer=(lower_bound(adj[kim].begin(),adj[kim].end(),y)-adj[kim].begin());
if(yer==adj[kim].size()) return 0;
pair<int,int> pa={x,adj[kim][yer]};
int node=lower_bound(ikinci.begin(),ikinci.end(),pa)-ikinci.begin();
x=ikinci[node].f, y=ikinci[node].s;
if(y>b)return 0;
if(x==a){
if(y<=b)return 1;
return 0;
}
int l=0,r=1000000000;
while(l<=r){
int mid=(l+r)/2;
int yedek=node;
for(int i=0;i<M;i++){
if((mid&(1<<i))){
yedek=lca[yedek][i];
}
}
x=ikinci[yedek].f, y=ikinci[yedek].s;
//cout<<yedek<<" "<<x<<" "<<y<<" "<<l<<" "<<r<<" "<<mid<<endl;
if(x==a){
if(y<=b)return 1;
return 0;
}
if(x>=a){
r=mid-1;
}
else l=mid+1;
}
return 0;
}
signed main(){
lalala;
int r,c,n;cin>>r>>c>>n;
vector<pair<int,int>> v;
vector<int> yedek;
for(int i=0;i<n;i++){
int a,b;cin>>a>>b;
v.pb({b,a});
yedek.pb(a);
ikinci.pb({a,b});
}
sort(v.begin(),v.end());
sort(yedek.begin(),yedek.end());
sort(ikinci.begin(),ikinci.end());
comprez.pb(yedek[0]);
for(int i=1;i<n;i++){
if(yedek[i]!=yedek[i-1])comprez.pb(yedek[i]);
}
for(auto u:v){
int yer=u.s;
int kim=lower_bound(comprez.begin(),comprez.end(),yer)-comprez.begin();
adj[kim].pb(u.f);
}
for(int i=0;i<(int)ikinci.size();i++){
if(gittik[i])continue;
dfs(i,ikinci[i].f,ikinci[i].s);
}
doldur();
int q;cin>>q;
while(q--){
int x,y,a,b;cin>>x>>y>>a>>b;
if(x>a||y>b){
cout<<"No"<<endl;
continue;
}
if(x==a){
cout<<"Yes"<<endl;
continue;
}
int ok=qua(x,y,a,b);
if(ok)cout<<"Yes"<<endl;
else cout<<"No"<<endl;
}
}
Compilation message
trampoline.cpp: In function 'void dfs(long long int, long long int, long long int)':
trampoline.cpp:28:9: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<std::pair<long long int, long long int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
28 | if(yeni!=ikinci.size()&&ikinci[yeni].f==a+1&&gittik[yeni]==0){
| ~~~~^~~~~~~~~~~~~~~
trampoline.cpp: In function 'void doldur()':
trampoline.cpp:35:16: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<std::pair<long long int, long long int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
35 | for(int j=0;j<ikinci.size();j++){
| ~^~~~~~~~~~~~~~
trampoline.cpp: In function 'long long int qua(long long int, long long int, long long int, long long int)':
trampoline.cpp:43:8: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<long long int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
43 | if(kim==comprez.size()||comprez[kim]!=x)return 0;
| ~~~^~~~~~~~~~~~~~~~
trampoline.cpp:46:8: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<long long int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
46 | if(yer==adj[kim].size()) return 0;
| ~~~^~~~~~~~~~~~~~~~~
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Incorrect |
7 ms |
9296 KB |
expected YES, found NO [5th token] |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Incorrect |
143 ms |
66076 KB |
expected YES, found NO [3rd token] |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
212 ms |
75808 KB |
200000 token(s): yes count is 110486, no count is 89514 |
| 2 |
Correct |
223 ms |
76088 KB |
200000 token(s): yes count is 114664, no count is 85336 |
| 3 |
Correct |
223 ms |
75172 KB |
200000 token(s): yes count is 86232, no count is 113768 |
| 4 |
Correct |
233 ms |
75112 KB |
200000 token(s): yes count is 94603, no count is 105397 |
| 5 |
Correct |
230 ms |
75092 KB |
200000 token(s): yes count is 94148, no count is 105852 |
| 6 |
Correct |
250 ms |
77016 KB |
200000 token(s): yes count is 97163, no count is 102837 |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Incorrect |
9 ms |
8280 KB |
expected YES, found NO [1st token] |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Incorrect |
815 ms |
77076 KB |
expected YES, found NO [3rd token] |
| 2 |
Halted |
0 ms |
0 KB |
- |
