#include <bits/stdc++.h>
#define fo(i, d, c) for (int i = d; i <= c; i++)
#define fod(i, c, d) for (int i = c; i >= d; i--)
#define maxn 1000010
#define N 1010
#define fi first
#define se second
#define pb emplace_back
#define en cout << "\n";
#define int long long
#define inf (int)1e18
#define bitcount(x) __builtin_popcountll(x)
#define pii pair<int, int>
#define vii vector<pii>
#define lb(x) x & -x
#define bit(i, j) ((i >> j) & 1)
#define offbit(i, j) (i ^ (1LL << j))
#define onbit(i, j) (i | (1LL << j))
#define vi vector<int>
#define all(x) x.begin(), x.end()
#define ss(x) (int)x.size()
template <typename T1, typename T2>
bool minimize(T1 &a, T2 b)
{
if (a > b)
{
a = b;
return true;
}
return false;
}
template <typename T1, typename T2>
bool maximize(T1 &a, T2 b)
{
if (a < b)
{
a = b;
return true;
}
return false;
}
using namespace std;
const int nsqrt = 450;
const int mod = 1e9 + 7;
void add(int &x, int k)
{
x += k;
x %= mod;
if (x < 0)
x += mod;
}
void del(int &x, int k)
{
x -= k;
x %= mod;
if (x < 0)
x += mod;
}
template <class T>
struct Fenwick_Tree
{
vector<T> bit_add, bit_sub;
int n;
Fenwick_Tree(int n = 0) : n(n), bit_add(n + 1), bit_sub(n + 1) {}
void clear()
{
fill(bit_add.begin(), bit_add.end(), T(0));
fill(bit_sub.begin(), bit_sub.end(), T(0));
}
void update(int u, int v, T val)
{
for (int i = u; i <= n; i += i & -i)
{
bit_add[i] += val;
bit_sub[i] += 1LL * (u - 1) * val;
}
for (int i = v; i <= n; i += i & -i)
{
bit_add[i] -= val;
bit_sub[i] -= 1LL * v * val;
}
}
void update(int u, T val) { update(u, u, val); }
T get(int u)
{
T ans1 = 0, ans2 = 0;
for (int i = u; i; i -= i & -i)
{
ans1 += bit_add[i];
ans2 += bit_sub[i];
}
return u * ans1 - ans2;
}
T get(int l, int r) { return get(r) - get(l - 1); }
};
pii a[maxn];
vi up[maxn];
vector<array<int, 3>> range[maxn];
vi nen1, nen2;
int n, k;
bool check(int d)
{
fo(i, 0, n) range[i].clear();
Fenwick_Tree<int> t(n + 5);
fo(i, 1, n)
{
int lx = lower_bound(all(nen1), a[i].fi - d) - nen1.begin() + 1;
int rx = upper_bound(all(nen1), a[i].fi + d) - nen1.begin();
int ly = lower_bound(all(nen2), a[i].se - d) - nen2.begin() + 1;
int ry = upper_bound(all(nen2), a[i].se + d) - nen2.begin();
range[lx - 1].push_back({ly, ry, -1});
range[rx].push_back({ly, ry, 1});
}
int ans = 0;
fo(i, 1, n)
{
for (int it : up[i])
t.update(it, 1);
for (auto [l, r, val] : range[i])
ans += val * t.get(l, r);
}
return ans - n >= 2 * k;
}
main()
{
#define name "TASK"
if (fopen(name ".inp", "r"))
{
freopen(name ".inp", "r", stdin);
freopen(name ".out", "w", stdout);
}
ios_base::sync_with_stdio(false);
cin.tie(NULL);
cin >> n >> k;
fo(i, 1, n)
{
int x, y;
cin >> x >> y;
a[i] = {x - y, x + y};
nen1.pb(a[i].fi);
nen2.pb(a[i].se);
}
sort(all(nen1));
sort(all(nen2));
nen1.erase(unique(all(nen1)), nen1.end());
nen2.erase(unique(all(nen2)), nen2.end());
fo(i, 1, n)
{
int x = lower_bound(all(nen1), a[i].fi) - nen1.begin() + 1;
int y = lower_bound(all(nen2), a[i].se) - nen2.begin() + 1;
up[x].pb(y);
}
// cout << check(1);en;
int l = 1, r = 4e9, ans = 4e9;
while (l <= r)
{
int mid = l + r >> 1;
if (check(mid))
ans = mid, r = mid - 1;
else
l = mid + 1;
}
// cout << ans <<"x";en;
sort(a + 1, a + n + 1);
vi v;
set<pii> st;
fo(i, 1, n)
{
pii now = {a[i].se - ans - 1, inf};
while (1)
{
auto it = st.upper_bound(now);
if (it == st.end() or it->fi > a[i].se + ans)
break;
if (it->se < a[i].fi - ans)
{
st.erase(it);
continue;
}
v.pb(max(abs(a[i].se - it->fi), abs(a[i].fi - it->se)));
now = *it;
}
st.insert({a[i].se, a[i].fi});
}
sort(all(v));
fo(i, 0, k - 1) cout << v[i] << "\n";
}
Compilation message
road_construction.cpp:130:1: warning: ISO C++ forbids declaration of 'main' with no type [-Wreturn-type]
130 | main()
| ^~~~
road_construction.cpp: In function 'int main()':
road_construction.cpp:163:21: warning: suggest parentheses around '+' inside '>>' [-Wparentheses]
163 | int mid = l + r >> 1;
| ~~^~~
road_construction.cpp: In instantiation of 'Fenwick_Tree<T>::Fenwick_Tree(long long int) [with T = long long int]':
road_construction.cpp:110:30: required from here
road_construction.cpp:63:9: warning: 'Fenwick_Tree<long long int>::n' will be initialized after [-Wreorder]
63 | int n;
| ^
road_construction.cpp:62:15: warning: 'std::vector<long long int> Fenwick_Tree<long long int>::bit_add' [-Wreorder]
62 | vector<T> bit_add, bit_sub;
| ^~~~~~~
road_construction.cpp:65:5: warning: when initialized here [-Wreorder]
65 | Fenwick_Tree(int n = 0) : n(n), bit_add(n + 1), bit_sub(n + 1) {}
| ^~~~~~~~~~~~
road_construction.cpp:135:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
135 | freopen(name ".inp", "r", stdin);
| ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
road_construction.cpp:136:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
136 | freopen(name ".out", "w", stdout);
| ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
63 ms |
52168 KB |
Output is correct |
2 |
Correct |
70 ms |
52156 KB |
Output is correct |
3 |
Correct |
69 ms |
52200 KB |
Output is correct |
4 |
Correct |
54 ms |
52200 KB |
Output is correct |
5 |
Correct |
58 ms |
51388 KB |
Output is correct |
6 |
Correct |
27 ms |
47452 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
5821 ms |
135684 KB |
Output is correct |
2 |
Correct |
5713 ms |
135664 KB |
Output is correct |
3 |
Correct |
57 ms |
52176 KB |
Output is correct |
4 |
Correct |
5719 ms |
134728 KB |
Output is correct |
5 |
Correct |
5291 ms |
114956 KB |
Output is correct |
6 |
Correct |
5190 ms |
115016 KB |
Output is correct |
7 |
Correct |
5069 ms |
125036 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
6662 ms |
125312 KB |
Output is correct |
2 |
Correct |
7170 ms |
122704 KB |
Output is correct |
3 |
Correct |
20 ms |
47192 KB |
Output is correct |
4 |
Correct |
5420 ms |
111928 KB |
Output is correct |
5 |
Correct |
2257 ms |
104260 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
6662 ms |
125312 KB |
Output is correct |
2 |
Correct |
7170 ms |
122704 KB |
Output is correct |
3 |
Correct |
20 ms |
47192 KB |
Output is correct |
4 |
Correct |
5420 ms |
111928 KB |
Output is correct |
5 |
Correct |
2257 ms |
104260 KB |
Output is correct |
6 |
Correct |
6858 ms |
119664 KB |
Output is correct |
7 |
Correct |
6922 ms |
119636 KB |
Output is correct |
8 |
Correct |
23 ms |
47292 KB |
Output is correct |
9 |
Correct |
23 ms |
47196 KB |
Output is correct |
10 |
Correct |
6883 ms |
121768 KB |
Output is correct |
11 |
Correct |
5313 ms |
111900 KB |
Output is correct |
12 |
Correct |
2204 ms |
98120 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
63 ms |
52168 KB |
Output is correct |
2 |
Correct |
70 ms |
52156 KB |
Output is correct |
3 |
Correct |
69 ms |
52200 KB |
Output is correct |
4 |
Correct |
54 ms |
52200 KB |
Output is correct |
5 |
Correct |
58 ms |
51388 KB |
Output is correct |
6 |
Correct |
27 ms |
47452 KB |
Output is correct |
7 |
Correct |
2310 ms |
80012 KB |
Output is correct |
8 |
Correct |
2172 ms |
80020 KB |
Output is correct |
9 |
Correct |
53 ms |
52176 KB |
Output is correct |
10 |
Correct |
2077 ms |
79244 KB |
Output is correct |
11 |
Correct |
1914 ms |
84636 KB |
Output is correct |
12 |
Correct |
703 ms |
73748 KB |
Output is correct |
13 |
Correct |
766 ms |
78728 KB |
Output is correct |
# |
Verdict |
Execution time |
Memory |
Grader output |
1 |
Correct |
63 ms |
52168 KB |
Output is correct |
2 |
Correct |
70 ms |
52156 KB |
Output is correct |
3 |
Correct |
69 ms |
52200 KB |
Output is correct |
4 |
Correct |
54 ms |
52200 KB |
Output is correct |
5 |
Correct |
58 ms |
51388 KB |
Output is correct |
6 |
Correct |
27 ms |
47452 KB |
Output is correct |
7 |
Correct |
5821 ms |
135684 KB |
Output is correct |
8 |
Correct |
5713 ms |
135664 KB |
Output is correct |
9 |
Correct |
57 ms |
52176 KB |
Output is correct |
10 |
Correct |
5719 ms |
134728 KB |
Output is correct |
11 |
Correct |
5291 ms |
114956 KB |
Output is correct |
12 |
Correct |
5190 ms |
115016 KB |
Output is correct |
13 |
Correct |
5069 ms |
125036 KB |
Output is correct |
14 |
Correct |
6662 ms |
125312 KB |
Output is correct |
15 |
Correct |
7170 ms |
122704 KB |
Output is correct |
16 |
Correct |
20 ms |
47192 KB |
Output is correct |
17 |
Correct |
5420 ms |
111928 KB |
Output is correct |
18 |
Correct |
2257 ms |
104260 KB |
Output is correct |
19 |
Correct |
6858 ms |
119664 KB |
Output is correct |
20 |
Correct |
6922 ms |
119636 KB |
Output is correct |
21 |
Correct |
23 ms |
47292 KB |
Output is correct |
22 |
Correct |
23 ms |
47196 KB |
Output is correct |
23 |
Correct |
6883 ms |
121768 KB |
Output is correct |
24 |
Correct |
5313 ms |
111900 KB |
Output is correct |
25 |
Correct |
2204 ms |
98120 KB |
Output is correct |
26 |
Correct |
2310 ms |
80012 KB |
Output is correct |
27 |
Correct |
2172 ms |
80020 KB |
Output is correct |
28 |
Correct |
53 ms |
52176 KB |
Output is correct |
29 |
Correct |
2077 ms |
79244 KB |
Output is correct |
30 |
Correct |
1914 ms |
84636 KB |
Output is correct |
31 |
Correct |
703 ms |
73748 KB |
Output is correct |
32 |
Correct |
766 ms |
78728 KB |
Output is correct |
33 |
Correct |
7537 ms |
123360 KB |
Output is correct |
34 |
Correct |
7369 ms |
123484 KB |
Output is correct |
35 |
Correct |
6436 ms |
120960 KB |
Output is correct |
36 |
Correct |
2089 ms |
102968 KB |
Output is correct |
37 |
Correct |
2222 ms |
103092 KB |
Output is correct |
38 |
Correct |
2226 ms |
114676 KB |
Output is correct |