#include<bits/stdc++.h>
using namespace std;
#define x1 sdfds
#define y1 sdfdfds
#define x2 sdffdsds
#define y2 sdfdds
#define ll int
const ll MAXN=2e5+6;
struct trampoline
{
ll x,y;
bool operator<(trampoline const& other)const
{
return make_pair(x,y)<make_pair(other.x,other.y);
}
};
set<ll>xs;
ll n,m,k;
vector<trampoline>tr;
map<ll,ll> newx;
vector<ll>xs1;
set<ll>ys[MAXN];
vector<ll>g[MAXN];
ll dp[MAXN][18];
map<pair<ll,ll>,ll> no;
bool vis[MAXN];
ll not_root[MAXN];
void dfs(ll u,ll par)
{
dp[u][0]=par;
vis[u]=1;
for(auto v:g[u])
{
if(vis[v])continue;
dfs(v,u);
}
}
void precompute()
{
for(ll j=1;j<18;j++)
{
for(ll i=0;i<tr.size();i++)
{
if(dp[i][j-1]==-1)dp[i][j]=-1;
else dp[i][j]=dp[dp[i][j-1]][j-1];
}
}
}
int main()
{
ios_base::sync_with_stdio(false);
cin.tie(NULL);
cout.tie(NULL);
cin>>n>>m>>k;
for(ll i=0;i<k;++i)
{
ll x,y;
cin>>x>>y;
xs.insert(x);
tr.push_back({x,y});
}
ll cnt=0;
for(auto xd:xs)
{
newx[xd]=++cnt;
xs1.push_back(xd);
}
for(ll i=0;i<tr.size();++i)
{
ys[newx[tr[i].x]].insert(tr[i].y);
no[{newx[tr[i].x],tr[i].y}]=i;
}
for(ll i=0;i<tr.size();++i)
{
if(!newx.count(tr[i].x+1))
{
continue;
}
ll x1=newx[tr[i].x+1];
auto xd=ys[x1].lower_bound(tr[i].y);
if(xd==ys[x1].end())continue;
ll nxt=no[{x1,(*xd)}];
//cout<<"da\n";
g[nxt].push_back(i);
//cout<<tr[i].x<<" "<<tr[i].y<<" "<<x1<<" "<<(*xd)<<endl;
//cout<<"* "<<nxt<<"->"<<i<<endl;
not_root[i]=1;
}
for(ll i=0;i<tr.size();++i)
{
if(vis[i])
{
continue;
}
if(not_root[i])
{
continue;
}
dfs(i,-1);
}
precompute();
/*for(ll i=0;i<tr.size();i++)
{
cout<<i<<"->"<<dp[i][0]<<endl;
}
cout<<endl;*/
ll q;
cin>>q;
for(ll i=0;i<q;++i)
{
ll x1,y1,x2,y2;
cin>>x1>>y1>>x2>>y2;
if(y2<y1)
{
cout<<"No\n";
continue;
}
if(x2<x1)
{
cout<<"No\n";
continue;
}
if(x1==x2)
{
cout<<"Yes\n";
continue;
}
if(!newx.count(x1))
{
cout<<"No\n";
continue;
}
if(!newx.count(x2-1))
{
cout<<"No\n";
continue;
}
ll xx=newx[x1];
auto xd=ys[xx].lower_bound(y1);
if(xd==ys[xx].end())
{
cout<<"No\n";
continue;
}
ll u=no[{xx,(*xd)}];
if(tr[u].x<x1||tr[u].y<y1)
{
cout<<"No\n";
continue;
}
for(ll j=17;j>=0;--j)
{
if(dp[u][j]==-1)continue;
if(tr[dp[u][j]].x<x2)
{
u=dp[u][j];
}
}
if(tr[u].x!=x2-1)
{
cout<<"No\n";
continue;
}
if(tr[u].y>y2)
{
cout<<"No\n";
continue;
}
cout<<"Yes\n";
continue;
}
return 0;
}
Compilation message
trampoline.cpp: In function 'void precompute()':
trampoline.cpp:42:15: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<trampoline>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
42 | for(ll i=0;i<tr.size();i++)
| ~^~~~~~~~~~
trampoline.cpp: In function 'int main()':
trampoline.cpp:68:14: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<trampoline>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
68 | for(ll i=0;i<tr.size();++i)
| ~^~~~~~~~~~
trampoline.cpp:73:14: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<trampoline>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
73 | for(ll i=0;i<tr.size();++i)
| ~^~~~~~~~~~
trampoline.cpp:89:14: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<trampoline>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
89 | for(ll i=0;i<tr.size();++i)
| ~^~~~~~~~~~
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
26 ms |
16364 KB |
200 token(s): yes count is 21, no count is 179 |
| 2 |
Correct |
25 ms |
16620 KB |
200 token(s): yes count is 70, no count is 130 |
| 3 |
Correct |
20 ms |
15980 KB |
197 token(s): yes count is 25, no count is 172 |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
746 ms |
56528 KB |
4000 token(s): yes count is 99, no count is 3901 |
| 2 |
Correct |
731 ms |
56540 KB |
4000 token(s): yes count is 91, no count is 3909 |
| 3 |
Correct |
705 ms |
58472 KB |
4000 token(s): yes count is 4000, no count is 0 |
| 4 |
Correct |
715 ms |
56668 KB |
4000 token(s): yes count is 1991, no count is 2009 |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
804 ms |
55344 KB |
200000 token(s): yes count is 110486, no count is 89514 |
| 2 |
Correct |
889 ms |
56864 KB |
200000 token(s): yes count is 114664, no count is 85336 |
| 3 |
Correct |
955 ms |
57008 KB |
200000 token(s): yes count is 86232, no count is 113768 |
| 4 |
Correct |
1185 ms |
58204 KB |
200000 token(s): yes count is 94603, no count is 105397 |
| 5 |
Correct |
1168 ms |
58144 KB |
200000 token(s): yes count is 94148, no count is 105852 |
| 6 |
Correct |
1601 ms |
67036 KB |
200000 token(s): yes count is 97163, no count is 102837 |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
20 ms |
15468 KB |
5000 token(s): yes count is 3238, no count is 1762 |
| 2 |
Correct |
21 ms |
15852 KB |
5000 token(s): yes count is 3837, no count is 1163 |
| 3 |
Correct |
22 ms |
16236 KB |
5000 token(s): yes count is 4104, no count is 896 |
| 4 |
Correct |
20 ms |
15852 KB |
5000 token(s): yes count is 3934, no count is 1066 |
| 5 |
Correct |
24 ms |
16108 KB |
5000 token(s): yes count is 3384, no count is 1616 |
| 6 |
Correct |
19 ms |
15724 KB |
5000 token(s): yes count is 3390, no count is 1610 |
| # |
Verdict |
Execution time |
Memory |
Grader output |
| 1 |
Correct |
1866 ms |
69852 KB |
200000 token(s): yes count is 171404, no count is 28596 |
| 2 |
Correct |
1533 ms |
60736 KB |
200000 token(s): yes count is 161254, no count is 38746 |
| 3 |
Correct |
961 ms |
68964 KB |
200000 token(s): yes count is 117455, no count is 82545 |
| 4 |
Execution timed out |
2067 ms |
100612 KB |
Time limit exceeded |
| 5 |
Halted |
0 ms |
0 KB |
- |
