#include <bits/stdc++.h>
#define m_p make_pair
#define f first
#define s second
#define vec vector
#define pb push_back
#define all(x) (x).begin(),(x).end()
#define rall(x) (x).rbegin(),(x).rend()
#define pw(x) (1LL<<x)
#define sz(x) (int)x.size()
#define fast_ioi ios_base::sync_with_stdio(false);cin.tie(0);cout.tie(0);
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pii;
typedef long double ld;
typedef pair<long long,long long> pll;
template <class T> bool umin(T &a,const T &b){return (a>b?a=b,1:0);}
template <class T> bool umax(T &a,const T &b){return (a<b?a=b,1:0);}
auto rng=bind(uniform_int_distribution<int>(1,20),mt19937(time(0)));
#define sim template < class c
#define ris return * this
#define dor > debug & operator <<
#define eni(x) sim > typename \
enable_if<sizeof dud<c>(0) x 1, debug&>::type operator<<(c i) {
sim > struct rge { c b, e; };
sim > rge<c> range(c i, c j) { return rge<c>{i, j}; }
sim > auto dud(c* x) -> decltype(cerr << *x, 0);
sim > char dud(...);
struct debug {
#ifndef LOCAL
~debug() { cerr << endl; }
eni(!=) cerr << boolalpha << i; ris; }
eni(==) ris << range(begin(i), end(i)); }
sim, class b dor(pair < b, c > d) {
ris << "(" << d.first << ", " << d.second << ")";
}
sim dor(rge<c> d) {
*this << "[";
for (auto it = d.b; it != d.e; ++it)
*this << ", " + 2 * (it == d.b) << *it;
ris << "]";
}
#else
sim dor(const c&) { ris; }
#endif
};
#define imie(...) " [" << #__VA_ARGS__ ": " << (__VA_ARGS__) << "] "
const int N=2e5+1;
const int lg=log2(N);
int go[N][lg];
//void mg(int a,int b){
// if(a==-1) return -1;
//
//}
signed main(){
fast_ioi;
int n,m,k;
cin>>n>>m>>k;
vec<pii>ar(k);
for(auto &z : ar)
cin>>z.f>>z.s;
map<int,int> mpx;
for(auto &z : ar) mpx[z.f]=1;
vec<int>obrx;
for(auto &z : mpx){z.s=sz(obrx);obrx.pb(z.f);}
// debug()<<imie(mpx)imie(ar);
for(auto &z : ar) z.f=mpx[z.f];
// return 0;
vec<set<pii>>st(sz(obrx));
// vec<vec<int>>up(n,vec<int>())
for(int i=0;i<k;i++){
// cerr<<ar[i].f<<' '<<sz(st)<<endl;
// system("pause");
st[ar[i].f].insert({ar[i].s,i});
}
const int inf=1e9;
for(int i=0;i<k;i++){
if(ar[i].f==sz(obrx)-1 || obrx[ar[i].f+1]!=obrx[ar[i].f]+1){
go[i][0]=-1;
continue;
}
auto it=st[ar[i].f+1].lower_bound(m_p(ar[i].s,-inf));
if(it==st[ar[i].f+1].end()) go[i][0]=-1;
else go[i][0]=it->s;
}
for(int j=1;j<lg;j++){
for(int i=0;i<k;i++){
go[i][j]=(go[i][j-1]==-1?-1:go[go[i][j-1]][j-1]);
// debug()<<imie(i)imie(j)imie(go[i][j])imie(go[i][j-1]);
}
}
auto get=[&](int i,int dx){
if(dx>=k) return -1;
// debug()<<imie(i)imie(dx);
for(int j=0;j<lg;j++){
if(pw(j)&dx){
if(i==-1) i=-1;
else i=go[i][j];
}
}
return i;
};
int q;
cin>>q;
while(q--){
int x1,y1,x2,y2;
cin>>x1>>y1>>x2>>y2;
if(x1==x2 && y1<=y2){
cout<<"Yes\n";
continue;
}
if(y1>y2 || x1>x2){
cout<<"No\n";
continue;
}
if(!mpx.count(x1)){
cout<<"No\n";
continue;
}
x1=mpx[x1];
auto it=st[x1].lower_bound(m_p(y1,-inf));
if(it==st[x1].end()){
cout<<"No\n";
continue;
}
int j=it->s;
j=get(j,x2-obrx[x1]-1);
if(j==-1 || ar[j].s>y2){
cout<<"No\n";
}
else{
cout<<"Yes\n";
}
}
return 0;
}
/*
6 1
5447 7526 7703 8705 18716 19718 19895
1582 7087 7911 14379 14703 14703 19265 19265 19589 26057 32386
*/
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
7 ms |
1420 KB |
200 token(s): yes count is 21, no count is 179 |
2 |
Correct |
9 ms |
1624 KB |
200 token(s): yes count is 70, no count is 130 |
3 |
Correct |
7 ms |
1228 KB |
197 token(s): yes count is 25, no count is 172 |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
242 ms |
24796 KB |
4000 token(s): yes count is 99, no count is 3901 |
2 |
Correct |
222 ms |
26692 KB |
4000 token(s): yes count is 91, no count is 3909 |
3 |
Correct |
208 ms |
26108 KB |
4000 token(s): yes count is 4000, no count is 0 |
4 |
Correct |
236 ms |
26800 KB |
4000 token(s): yes count is 1991, no count is 2009 |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
434 ms |
32864 KB |
200000 token(s): yes count is 110486, no count is 89514 |
2 |
Correct |
438 ms |
36960 KB |
200000 token(s): yes count is 114664, no count is 85336 |
3 |
Correct |
487 ms |
36928 KB |
200000 token(s): yes count is 86232, no count is 113768 |
4 |
Correct |
486 ms |
37200 KB |
200000 token(s): yes count is 94603, no count is 105397 |
5 |
Correct |
409 ms |
37148 KB |
200000 token(s): yes count is 94148, no count is 105852 |
6 |
Correct |
510 ms |
43320 KB |
200000 token(s): yes count is 97163, no count is 102837 |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
7 ms |
972 KB |
5000 token(s): yes count is 3238, no count is 1762 |
2 |
Correct |
7 ms |
1228 KB |
5000 token(s): yes count is 3837, no count is 1163 |
3 |
Correct |
8 ms |
1740 KB |
5000 token(s): yes count is 4104, no count is 896 |
4 |
Correct |
7 ms |
1228 KB |
5000 token(s): yes count is 3934, no count is 1066 |
5 |
Correct |
7 ms |
1372 KB |
5000 token(s): yes count is 3384, no count is 1616 |
6 |
Correct |
7 ms |
1244 KB |
5000 token(s): yes count is 3390, no count is 1610 |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
673 ms |
40680 KB |
200000 token(s): yes count is 171404, no count is 28596 |
2 |
Correct |
570 ms |
38992 KB |
200000 token(s): yes count is 161254, no count is 38746 |
3 |
Correct |
429 ms |
37060 KB |
200000 token(s): yes count is 117455, no count is 82545 |
4 |
Correct |
796 ms |
56472 KB |
200000 token(s): yes count is 182118, no count is 17882 |
5 |
Correct |
562 ms |
43916 KB |
200000 token(s): yes count is 167565, no count is 32435 |
6 |
Correct |
498 ms |
37060 KB |
200000 token(s): yes count is 156797, no count is 43203 |
7 |
Correct |
498 ms |
37052 KB |
200000 token(s): yes count is 156797, no count is 43203 |
8 |
Correct |
451 ms |
37064 KB |
200000 token(s): yes count is 122100, no count is 77900 |
9 |
Correct |
620 ms |
43488 KB |
200000 token(s): yes count is 139670, no count is 60330 |
10 |
Correct |
644 ms |
43480 KB |
200000 token(s): yes count is 165806, no count is 34194 |
11 |
Incorrect |
714 ms |
49976 KB |
expected NO, found YES [10511th token] |
12 |
Halted |
0 ms |
0 KB |
- |