#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 10000010
#define N 5010
#define fi first
#define se second
#define pb emplace_back
#define en cout << "\n";
#define int long long
#define inf (int)1e9
#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()
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;
int n, m, q, l[maxn], r[maxn], s[maxn];
namespace sub2
{
struct BIT
{
int t[maxn];
void up(int x, int val)
{
for (; x; x -= lb(x))
t[x] += val;
}
int get(int x)
{
int ans = 0;
for (; x < maxn; x += lb(x))
ans += t[x];
return ans;
}
} t;
vi adj[N];
void solve()
{
vi v;
fo(i, 1, m)
{
fo(j, l[i], r[i])
{
v.pb(j);
adj[j].pb((int)v.size());
}
}
fo(i, 1, q) minimize(s[i], v.size() + 5);
fo(i, 1, n)
{
fo(j, 1, (int)adj[i].size() - 1)
{
t.up(adj[i][j] - adj[i][j - 1], 1);
}
}
fo(i, 1, q) cout << t.get(s[i] + 1) << ' ';
}
}
namespace sub4
{
int su[maxn];
vector<array<int, 3>> range;
vi save;
int p[maxn];
void solve()
{
save.pb(1);
fo(i, 1, m)
{
save.pb(l[i]);
if (r[i] != n)
save.pb(r[i] + 1);
}
sort(all(save));
save.erase(unique(all(save)), save.end());
fo(i, 0, (int)save.size() - 2)
range.push_back({save[i], save[i + 1] - 1, inf});
range.push_back({save.back(), n, inf});
fo(i, 2, m) p[i] = p[i - 1] + r[i - 1] - l[i - 1] + 1;
vi nen;
vii up;
fo(i, 1, m)
{
int sum = 0;
int lb = lower_bound(all(save), l[i]) - save.begin();
while (range[lb][1] <= r[i] and lb < range.size())
{
if (range[lb][2] != inf)
{
nen.pb(p[i] - range[lb][2] + sum);
up.pb(p[i] - range[lb][2] + sum, range[lb][1] - range[lb][0] + 1);
}
range[lb][2] = p[i] + sum;
sum += range[lb][1] - range[lb][0] + 1;
lb++;
}
}
fo(i, 1, q) nen.pb(s[i] + 1);
sort(all(nen));
nen.erase(unique(all(nen)), nen.end());
for (auto [x, val] : up)
{
x = lower_bound(all(nen), x) - nen.begin() + 1;
su[x] += val;
}
fod(i, maxn - 2, 0) su[i] += su[i + 1];
fo(i, 1, q)
{
s[i] = lower_bound(all(nen), s[i] + 1) - nen.begin() + 1;
cout << su[s[i]] << ' ';
}
}
}
namespace full
{
struct node
{
int l, r, w;
};
struct cmp
{
bool operator()(node a, node b)
{
return a.l < b.l or (a.l == b.l and a.r < b.r);
}
};
vi nen;
int su[maxn];
set<node, cmp> st;
vii up;
int p[maxn];
void solve()
{
fo(i, 2, m) p[i] = p[i - 1] + r[i - 1] - l[i - 1] + 1;
st.insert({1, n, inf});
fo(i, 1, m)
{
auto it = st.upper_bound({l[i], r[i], inf});
if(it != st.begin())
it = prev(it);
while (it->l <= r[i] and it != st.end())
{
if (it->r >= r[i] and it->l <= l[i])
{
if (it->l != l[i])
st.insert({it->l, l[i] - 1, it->w});
if (it->r != r[i])
st.insert({r[i] + 1, it->r, it->w});
if (it->w != inf)
up.pb(p[i] - (l[i] - it->l) - it->w, r[i] - l[i] + 1);
st.erase(it);
break;
}
else
if (it -> l >= l[i] and it -> r <= r[i] and it -> r - it -> l != r[i] - l[i])
{
if (it->w != inf)
up.pb(p[i] - it->w, it->r - it->l + 1);
it = next(it);
st.erase(prev(it));
if (it == st.end())
break;
}
else if (it->l < l[i] and it->r < r[i])
{
if (it->w != inf)
up.pb(p[i] - (l[i] - it->l) - it->w, it->r - l[i] + 1);
st.insert({it->l, l[i] - 1, it->w});
st.erase(it);
it = st.lower_bound({l[i], 0, 0});
}
else if (it->l > l[i] and it->r > r[i])
{
if (it->w != inf)
up.pb(p[i] - it->w, r[i] - it->l + 1);
st.insert({r[i] + 1, it->r, it->w});
st.erase(it);
break;
}
}
st.insert({l[i], r[i], p[i]});
}
for (auto [x, val] : up)
nen.pb(x);
fo(i, 1, q) nen.pb(s[i] + 1);
sort(all(nen));
nen.erase(unique(all(nen)), nen.end());
for (auto [x, val] : up)
{
x = lower_bound(all(nen), x) - nen.begin() + 1;
su[x] += val;
}
fod(i, maxn - 2, 0) su[i] += su[i + 1];
fo(i, 1, q)
{
s[i] = lower_bound(all(nen), s[i] + 1) - nen.begin() + 1;
cout << su[s[i]] << ' ';
}
}
}
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 >> m >> q;
fo(i, 1, m) cin >> l[i] >> r[i];
fo(i, 1, q) cin >> s[i];
// if (n <= 2000 and m <= 2000 and q <= 2000)
// sub2::solve();
// else if (m <= 2000)
// return sub4::solve(), 0;
// else
full::solve();
}
Compilation message
Main.cpp: In function 'void sub4::solve()':
Main.cpp:112:48: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<std::array<long long int, 3> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
112 | while (range[lb][1] <= r[i] and lb < range.size())
| ~~~^~~~~~~~~~~~~~
Main.cpp: At global scope:
Main.cpp:227:1: warning: ISO C++ forbids declaration of 'main' with no type [-Wreturn-type]
227 | main()
| ^~~~
Main.cpp: In instantiation of 'bool minimize(T1&, T2) [with T1 = long long int; T2 = long unsigned int]':
Main.cpp:74:48: required from here
Main.cpp:23:11: warning: comparison of integer expressions of different signedness: 'long long int' and 'long unsigned int' [-Wsign-compare]
23 | if (a > b)
| ~~^~~
In file included from /usr/include/c++/10/map:60,
from /usr/include/x86_64-linux-gnu/c++/10/bits/stdc++.h:81,
from Main.cpp:1:
/usr/include/c++/10/bits/stl_tree.h: In instantiation of 'static const _Key& std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_S_key(std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_Const_Link_type) [with _Key = full::node; _Val = full::node; _KeyOfValue = std::_Identity<full::node>; _Compare = full::cmp; _Alloc = std::allocator<full::node>; std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_Const_Link_type = const std::_Rb_tree_node<full::node>*]':
/usr/include/c++/10/bits/stl_tree.h:2101:47: required from 'std::pair<std::_Rb_tree_node_base*, std::_Rb_tree_node_base*> std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_get_insert_unique_pos(const key_type&) [with _Key = full::node; _Val = full::node; _KeyOfValue = std::_Identity<full::node>; _Compare = full::cmp; _Alloc = std::allocator<full::node>; std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::key_type = full::node]'
/usr/include/c++/10/bits/stl_tree.h:2154:4: required from 'std::pair<std::_Rb_tree_iterator<_Val>, bool> std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_insert_unique(_Arg&&) [with _Arg = full::node; _Key = full::node; _Val = full::node; _KeyOfValue = std::_Identity<full::node>; _Compare = full::cmp; _Alloc = std::allocator<full::node>]'
/usr/include/c++/10/bits/stl_set.h:521:25: required from 'std::pair<typename std::_Rb_tree<_Key, _Key, std::_Identity<_Tp>, _Compare, typename __gnu_cxx::__alloc_traits<_Alloc>::rebind<_Key>::other>::const_iterator, bool> std::set<_Key, _Compare, _Alloc>::insert(std::set<_Key, _Compare, _Alloc>::value_type&&) [with _Key = full::node; _Compare = full::cmp; _Alloc = std::allocator<full::node>; typename std::_Rb_tree<_Key, _Key, std::_Identity<_Tp>, _Compare, typename __gnu_cxx::__alloc_traits<_Alloc>::rebind<_Key>::other>::const_iterator = std::_Rb_tree<full::node, full::node, std::_Identity<full::node>, full::cmp, std::allocator<full::node> >::const_iterator; std::set<_Key, _Compare, _Alloc>::value_type = full::node]'
Main.cpp:161:30: required from here
/usr/include/c++/10/bits/stl_tree.h:780:8: error: static assertion failed: comparison object must be invocable as const
780 | is_invocable_v<const _Compare&, const _Key&, const _Key&>,
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Main.cpp: In function 'int main()':
Main.cpp:232:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
232 | freopen(name ".inp", "r", stdin);
| ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
Main.cpp:233:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
233 | freopen(name ".out", "w", stdout);
| ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
