// competitive-verifier: PROBLEM #include #include #include #include #include /// @brief 区間をsetで管理するテク template struct range_set { range_set() : intervals(), _sum() {} std::set>::const_iterator begin() const { return intervals.begin(); } std::set>::const_iterator end() const { return intervals.end(); } std::pair get(T x) const { auto it = intervals.lower_bound(std::make_pair(x, x)); if (it == intervals.end() || !contains(x, *it)) return std::make_pair(inf, inf); return std::make_pair(it->second, it->first); } bool contains(T x) const { auto it = intervals.lower_bound(std::make_pair(x, x)); return it != intervals.end() && contains(x, *it); } bool same(T x, T y) const { auto it = intervals.lower_bound(std::make_pair(x, x)); return it != intervals.end() && contains(x, *it) && contains(y, *it); } std::pair insert(T x, T y) { assert(x < y); auto it = intervals.lower_bound(std::make_pair(x, std::numeric_limits::lowest())); while (it != intervals.end() && it->second <= y) { _sum -= it->first - it->second; x = std::min(x, it->second); y = std::max(y, it->first); it = intervals.erase(it); } _sum += y - x; intervals.emplace(y, x); return std::make_pair(x, y); } std::pair insert(T x) { return insert(x, x + 1); } void erase(T x, T y) { assert(x < y); auto it = intervals.lower_bound(std::make_pair(x, x)); if (it == intervals.end()) return; if (it->second != x) { T l = it->second, r = it->first; intervals.erase(it); intervals.emplace(x, l); intervals.emplace(r, x); } it = intervals.lower_bound(std::make_pair(x, x)); while (it != intervals.end()) { if (y <= it->second) break; if (y < it->first) { T r = it->first; intervals.erase(it); intervals.emplace(r, y); break; } it = intervals.erase(it); } } void erase(T x) { erase(x, x + 1); } T sum() { return _sum; } private: static constexpr T inf = std::numeric_limits::max(); std::set> intervals; T _sum; static bool contains(T x, const std::pair &p) { return p.second <= x && x < p.first; } }; #ifdef ATCODER #pragma GCC target("sse4.2,avx512f,avx512dq,avx512ifma,avx512cd,avx512bw,avx512vl,bmi2") #endif #pragma GCC optimize("Ofast,fast-math,unroll-all-loops") #include #ifndef ATCODER #pragma GCC target("sse4.2,avx2,bmi2") #endif template constexpr bool chmax(T &a, const U &b) { return a < (T)b ? a = (T)b, true : false; } template constexpr bool chmin(T &a, const U &b) { return (T)b < a ? a = (T)b, true : false; } constexpr std::int64_t INF = 1000000000000000003; constexpr int Inf = 1000000003; constexpr double EPS = 1e-7; constexpr double PI = 3.14159265358979323846; #define FOR(i, m, n) for (int i = (m); i < int(n); ++i) #define FORR(i, m, n) for (int i = (m)-1; i >= int(n); --i) #define FORL(i, m, n) for (int64_t i = (m); i < int64_t(n); ++i) #define rep(i, n) FOR (i, 0, n) #define repn(i, n) FOR (i, 1, n + 1) #define repr(i, n) FORR (i, n, 0) #define repnr(i, n) FORR (i, n + 1, 1) #define all(s) (s).begin(), (s).end() struct Sonic { Sonic() { std::ios::sync_with_stdio(false); std::cin.tie(nullptr); std::cout << std::fixed << std::setprecision(20); } constexpr void operator()() const {} } sonic; using namespace std; using ll = std::int64_t; using ld = long double; template std::istream &operator>>(std::istream &is, std::pair &p) { return is >> p.first >> p.second; } template std::istream &operator>>(std::istream &is, std::vector &v) { for (T &i : v) is >> i; return is; } template std::ostream &operator<<(std::ostream &os, const std::pair &p) { return os << '(' << p.first << ',' << p.second << ')'; } template std::ostream &operator<<(std::ostream &os, const std::vector &v) { for (auto it = v.begin(); it != v.end(); ++it) os << (it == v.begin() ? "" : " ") << *it; return os; } template void co(Head &&head, Tail &&...tail) { if constexpr (sizeof...(tail) == 0) std::cout << head << '\n'; else std::cout << head << ' ', co(std::forward(tail)...); } template void ce(Head &&head, Tail &&...tail) { if constexpr (sizeof...(tail) == 0) std::cerr << head << '\n'; else std::cerr << head << ' ', ce(std::forward(tail)...); } void Yes(bool is_correct = true) { std::cout << (is_correct ? "Yes\n" : "No\n"); } void No(bool is_not_correct = true) { Yes(!is_not_correct); } void YES(bool is_correct = true) { std::cout << (is_correct ? "YES\n" : "NO\n"); } void NO(bool is_not_correct = true) { YES(!is_not_correct); } void Takahashi(bool is_correct = true) { std::cout << (is_correct ? "Takahashi" : "Aoki") << '\n'; } void Aoki(bool is_not_correct = true) { Takahashi(!is_not_correct); } int main(void) { ll d; int q; cin >> d >> q; range_set rst; ll ans = 0; while (q--) { ll l, r; cin >> l >> r; auto [x, y] = rst.insert(l, r + 1); chmax(ans, y - x); co(ans); } return 0; }