結果
| 問題 | No.2220 Range Insert & Point Mex |
| コンテスト | |
| ユーザー |
apricity
|
| 提出日時 | 2023-02-17 23:46:18 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.89.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 6,427 bytes |
| 記録 | |
| コンパイル時間 | 1,675 ms |
| コンパイル使用メモリ | 139,904 KB |
| 最終ジャッジ日時 | 2025-02-10 18:22:42 |
|
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 WA * 2 |
| other | AC * 1 WA * 35 |
ソースコード
#include<iostream>
#include<string>
#include<vector>
#include<algorithm>
#include<numeric>
#include<cmath>
#include<utility>
#include<tuple>
#include<cstdint>
#include<cstdio>
#include<iomanip>
#include<map>
#include<queue>
#include<set>
#include<stack>
#include<deque>
#include<unordered_map>
#include<unordered_set>
#include<bitset>
#include<cctype>
#include<chrono>
#include<random>
#include<cassert>
#include<cstddef>
#include<iterator>
#include<string_view>
#include<type_traits>
#ifdef LOCAL
# include "debug_print.hpp"
# define debug(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__)
#else
# define debug(...) (static_cast<void>(0))
#endif
using namespace std;
#define rep(i,n) for(int i=0; i<(n); i++)
#define rrep(i,n) for(int i=(n)-1; i>=0; i--)
#define FOR(i,a,b) for(int i=(a); i<(b); i++)
#define RFOR(i,a,b) for(int i=(b-1); i>=(a); i--)
#define ALL(v) v.begin(), v.end()
#define RALL(v) v.rbegin(), v.rend()
#define UNIQUE(v) v.erase( unique(v.begin(), v.end()), v.end() );
#define pb push_back
using ll = long long;
using D = double;
using LD = long double;
using P = pair<int, int>;
template<typename T> using PQ = priority_queue<T,vector<T>>;
template<typename T> using minPQ = priority_queue<T, vector<T>, greater<T>>;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }
void yesno(bool flag) {cout << (flag?"Yes":"No") << "\n";}
template<typename T, typename U>
ostream &operator<<(ostream &os, const pair<T, U> &p) {
os << p.first << " " << p.second;
return os;
}
template<typename T, typename U>
istream &operator>>(istream &is, pair<T, U> &p) {
is >> p.first >> p.second;
return is;
}
template<typename T>
ostream &operator<<(ostream &os, const vector<T> &v) {
int s = (int)v.size();
for (int i = 0; i < s; i++) os << (i ? " " : "") << v[i];
return os;
}
template<typename T>
istream &operator>>(istream &is, vector<T> &v) {
for (auto &x : v) is >> x;
return is;
}
void in() {}
template<typename T, class... U>
void in(T &t, U &...u) {
cin >> t;
in(u...);
}
void out() { cout << "\n"; }
template<typename T, class... U, char sep = ' '>
void out(const T &t, const U &...u) {
cout << t;
if (sizeof...(u)) cout << sep;
out(u...);
}
void outr() {}
template<typename T, class... U, char sep = ' '>
void outr(const T &t, const U &...u) {
cout << t;
outr(u...);
}
template <typename T> struct RangeSet{
set<pair<T, T>> st;
T TINF;
RangeSet(){
TINF = numeric_limits<T>::max() / 2;
st.emplace(TINF, TINF);
st.emplace(-TINF, -TINF);
}
bool covered(T l, T r){
assert(l <= r);
auto ite = prev(st.lower_bound({l + 1, l + 1}));
return ite->first <= l and r <= ite->second;
}
bool covered(T x) { return covered(x, x); }
pair<T, T> covered_by(T l, T r){
assert(l <= r);
auto ite = prev(st.lower_bound({l + 1, l + 1}));
if (ite->first <= l and r <= ite->second) return *ite;
return make_pair(-TINF, -TINF);
}
pair<T, T> covered_by(T x) { return covered_by(x, x); }
T insert(T l, T r){
assert(l <= r);
auto ite = prev(st.lower_bound({l + 1, l + 1}));
if (ite->first <= l and r <= ite->second) return T(0);
T sum_erased = T(0);
if (ite->first <= l and l <= ite->second + 1){
l = ite->first;
sum_erased += ite->second - ite->first + 1;
ite = st.erase(ite);
}
else ite = next(ite);
while (r > ite->second){
sum_erased += ite->second - ite->first + 1;
ite = st.erase(ite);
}
if (ite->first - 1 <= r and r <= ite->second){
sum_erased += ite->second - ite->first + 1;
r = ite->second;
st.erase(ite);
}
st.emplace(l, r);
return r - l + 1 - sum_erased;
}
T insert(T x) { return insert(x, x); }
T erase(T l, T r){
assert(l <= r);
auto ite = prev(st.lower_bound({l + 1, l + 1}));
if (ite->first <= l and r <= ite->second){
if (ite->first < l) st.emplace(ite->first, l - 1);
if (r < ite->second) st.emplace(r + 1, ite->second);
st.erase(ite);
return r - l + 1;
}
T ret = T(0);
if (ite->first <= l and l <= ite->second){
ret += ite->second - l + 1;
if (ite->first < l) st.emplace(ite->first, l - 1);
ite = st.erase(ite);
}
else ite = next(ite);
while (ite->second <= r){
ret += ite->second - ite->first + 1;
ite = st.erase(ite);
}
if (ite->first <= r and r <= ite->second){
ret += r - ite->first + 1;
if (r < ite->second) st.emplace(r + 1, ite->second);
st.erase(ite);
}
return ret;
}
T erase(T x) { return erase(x, x); }
int size() { return (int)st.size() - 2; }
T mex(T x = 0){
auto ite = prev(st.lower_bound({x + 1, x + 1}));
if (ite->first <= x and x <= ite->second) return ite->second + 1;
else return x;
}
void output(){
cout << "RangeSet : ";
for (auto &p : st){
if (p.first == -TINF or p.second == TINF) continue;
cout << "[" << p.first << ", " << p.second << "] ";
}
cout << "\n";
}
vector<pair<T, T>> get_ranges(){
vector<pair<T, T>> res;
for (auto &[l, r] : st){
if (l == -TINF or r == TINF)
continue;
res.emplace_back(l, r);
}
return res;
}
};
int main(){
ios_base::sync_with_stdio(false);
cin.tie(nullptr);
int n; in(n);
vector<tuple<int,int,int>> ev;
rep(i,n){
int l,r,a; in(l,r,a);
if(a >= n) continue;
ev.pb({l,-1,a});
ev.pb({r,1,a});
}
int q; in(q);
vector<int> x(q); in(x);
rep(i,q) ev.pb({x[i],0,i});
sort(ALL(ev));
vector<int> ans(q);
set<int> s;
rep(i,n+1) s.insert(i);
for(auto [pos,type,val] : ev){
if(type == -1 && s.count(val)){
s.erase(val);
}
else if(type == 1){
s.insert(val);
}
else{
debug(val,s);
ans[val] = *s.begin();
}
}
out(ans);
}
apricity