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 "teams.h"
#include <bits/stdc++.h>
using namespace std;
#define v vector
#define ii pair<int,int>
#define fi first
#define se second
struct node{
int l;
int r;
int sum;
};
int nodecnt=0;
node nodes[1000000];
int build(int l, int r){
if(l==r){
nodes[nodecnt].l = -1;
nodes[nodecnt].r = -1;
nodes[nodecnt].sum=0;
return nodecnt++;
}
int m=(l+r)/2;
int ndc = nodecnt++;
nodes[ndc].l = build(l,m);
nodes[ndc].r = build(m+1,r);
nodes[ndc].sum = nodes[nodes[ndc].l].sum + nodes[nodes[ndc].r].sum;
return ndc;
}
int update(int cur, int l, int r, int tar){
if(l==r) {
nodes[nodecnt].l = -1;
nodes[nodecnt].r = -1;
nodes[nodecnt].sum=nodes[cur].sum+1;
return nodecnt++;
}
int m=(l+r)/2;
if(tar<=m){
int ndc = nodecnt++;
nodes[ndc].l = update(nodes[cur].l, l, m, tar);
nodes[ndc].r = nodes[cur].r;
nodes[ndc].sum = nodes[nodes[ndc].l].sum + nodes[nodes[ndc].r].sum;
return ndc;
}
int ndc = nodecnt++;
nodes[ndc].l = nodes[cur].l;
nodes[ndc].r = update(nodes[cur].r, m+1, r, tar);
nodes[ndc].sum = nodes[nodes[ndc].l].sum + nodes[nodes[ndc].r].sum;
return ndc;
}
int query(int cur, int l, int r, int ql){
if(ql<=l) return nodes[cur].sum;
int m=(l+r)/2, ret=0;
if(ql<=m) ret += query(nodes[cur].l, l, m, ql);
ret += query(nodes[cur].r, m+1, r, ql);
return ret;
}
int binSearchQuery(int curl, int curr, int l, int r, int num){
//returns last place where num<amount holds
if(l==r) return l;
int m=(l+r)/2;
int amount = nodes[nodes[curr].r].sum - nodes[nodes[curl].r].sum;
if(num >= amount) return binSearchQuery(nodes[curl].l, nodes[curr].l, l,m, num - amount);
return binSearchQuery(nodes[curl].r, nodes[curr].r, m+1, r, num);
}
int n;
v<ii> points;
v<int> roots;
int getRect(int x1, int x2, int y){
ii p1 = {x1, -1}, p2 = {x2+1, -1};
int ind1 = distance(points.begin(), lower_bound(points.begin(), points.end(), p1));
int ind2 = distance(points.begin(), lower_bound(points.begin(), points.end(), p2));
return query(roots[ind2], 1, n, y) - query(roots[ind1], 1, n, y);
}
int getSplit(int x1, int x2, int num){
ii p1 = {x1, -1}, p2 = {x2+1, -1};
int ind1 = distance(points.begin(), lower_bound(points.begin(), points.end(), p1));
int ind2 = distance(points.begin(), lower_bound(points.begin(), points.end(), p2));
return binSearchQuery(roots[ind1], roots[ind2], 1, n, num) + 1;//the first place where the suffix sum is >= num
}
void init(int N, int A[], int B[]) {
n=N;
for(int i=0; i<n; i++) points.push_back({A[i], B[i]});
roots.push_back(build(1,n));
sort(points.begin(), points.end());
for(ii it:points) roots.push_back(update(roots.back(), 1, n, it.se));
}
int cnt=0;
int can(int M, int K[]) {
sort(K, K+M);
if(M>400){
priority_queue<ii> pq;
int j=0;
for(int i=0; i<M; i++){
while(j<n && points[j].fi<=K[i]){
pq.push({-points[j].se, points[j].fi});
j++;
}
while(pq.size()>0 && -pq.top().fi<K[i]) pq.pop();
if(pq.size()<K[i]) return 0;
for(int k=0; k<K[i]; k++) pq.pop();
}
return 1;
}
v<int> dp(M);
set<int> opt;
priority_queue<pair<int,ii>> pq;
for(int i=0; i<M; i++){
dp[i] = getRect(0, K[i], K[i]) - K[i];
int cnt=0;
while(pq.size()>0 && pq.top().fi<=K[i]){
int j1=pq.top().se.fi;
int j2=pq.top().se.se;
pq.pop();
if(opt.find(j1)==opt.end() || opt.find(j2)==opt.end()) continue;
opt.erase(j2);
}
if(i){
auto it=opt.end();
it--;
int j=*it;
dp[i] = min(dp[i], dp[j] + (K[i]==K[j] ? 0 : getRect(K[j]+1, K[i], K[i])) - K[i]);
}
if(dp[i]<0) return 0;
opt.insert(i);
if(i){
auto it = opt.end();
it--;
it--;
int j1=*it;
int j2=i;
int k = (K[j1]==K[j2]) ? 0 : getSplit(K[j1]+1, K[j2], dp[j2]-dp[j1]);
if(K[j1]==K[j2]) k= (dp[j2] - dp[j1] < 0) ? K[M-1]+1 : K[j2]+1;
pq.push({k, {j1,j2}});
}
}
return 1;
}
Compilation message (stderr)
teams.cpp: In function 'int getRect(int, int, int)':
teams.cpp:73:21: warning: conversion from 'std::__iterator_traits<__gnu_cxx::__normal_iterator<std::pair<int, int>*, std::vector<std::pair<int, int> > >, void>::difference_type' {aka 'long int'} to 'int' may change value [-Wconversion]
73 | int ind1 = distance(points.begin(), lower_bound(points.begin(), points.end(), p1));
| ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
teams.cpp:74:21: warning: conversion from 'std::__iterator_traits<__gnu_cxx::__normal_iterator<std::pair<int, int>*, std::vector<std::pair<int, int> > >, void>::difference_type' {aka 'long int'} to 'int' may change value [-Wconversion]
74 | int ind2 = distance(points.begin(), lower_bound(points.begin(), points.end(), p2));
| ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
teams.cpp: In function 'int getSplit(int, int, int)':
teams.cpp:79:21: warning: conversion from 'std::__iterator_traits<__gnu_cxx::__normal_iterator<std::pair<int, int>*, std::vector<std::pair<int, int> > >, void>::difference_type' {aka 'long int'} to 'int' may change value [-Wconversion]
79 | int ind1 = distance(points.begin(), lower_bound(points.begin(), points.end(), p1));
| ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
teams.cpp:80:21: warning: conversion from 'std::__iterator_traits<__gnu_cxx::__normal_iterator<std::pair<int, int>*, std::vector<std::pair<int, int> > >, void>::difference_type' {aka 'long int'} to 'int' may change value [-Wconversion]
80 | int ind2 = distance(points.begin(), lower_bound(points.begin(), points.end(), p2));
| ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
teams.cpp: In function 'int can(int, int*)':
teams.cpp:106:16: warning: comparison of integer expressions of different signedness: 'std::priority_queue<std::pair<int, int> >::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
106 | if(pq.size()<K[i]) return 0;
| ~~~~~~~~~^~~~~
teams.cpp:118:7: warning: declaration of 'cnt' shadows a global declaration [-Wshadow]
118 | int cnt=0;
| ^~~
teams.cpp:93:5: note: shadowed declaration is here
93 | int cnt=0;
| ^~~
teams.cpp:118:7: warning: unused variable 'cnt' [-Wunused-variable]
118 | int cnt=0;
| ^~~
# | 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... |