#735773 (C++17) No.674 n連勤

• 問題: No.674 n連勤
• ユーザー: kwm_t
• 提出日時: 2022-01-30 18:09:55
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: AC
• 実行時間: 26 ms / 2,000 ms
• コード長: 2,903 bytes
• コンパイル時間: 2,198 ms
• コンパイル使用メモリ: 208,452 KB
• 実行使用メモリ: 5,376 KB
• 最終ジャッジ日時: 2024-06-11 08:22:27
• 合計ジャッジ時間: 3,261 ms
• ジャッジサーバーID （参考情報）: judge4 / judge3

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 5,248 KB
testcase_01	AC	2 ms; 5,376 KB
testcase_02	AC	2 ms; 5,376 KB
testcase_03	AC	2 ms; 5,376 KB
testcase_04	AC	1 ms; 5,376 KB
testcase_05	AC	2 ms; 5,376 KB
testcase_06	AC	2 ms; 5,376 KB
testcase_07	AC	2 ms; 5,376 KB
testcase_08	AC	2 ms; 5,376 KB
testcase_09	AC	2 ms; 5,376 KB
testcase_10	AC	2 ms; 5,376 KB
testcase_11	AC	2 ms; 5,376 KB
testcase_12	AC	3 ms; 5,376 KB
testcase_13	AC	12 ms; 5,376 KB
testcase_14	AC	15 ms; 5,376 KB
testcase_15	AC	11 ms; 5,376 KB
testcase_16	AC	24 ms; 5,376 KB
testcase_17	AC	26 ms; 5,376 KB
testcase_18	AC	20 ms; 5,376 KB
testcase_19	AC	13 ms; 5,376 KB

ソースコード

#include <bits/stdc++.h>
//#include <atcoder/all>
using namespace std;
//using namespace atcoder;
//using mint = modint1000000007;
//const int mod = 1000000007;
//using mint = modint998244353;
//const int mod = 998244353;
//const int INF = 1e9;
const long long LINF = 1e18;
#define rep(i, n) for (int i = 0; i < (n); ++i)
#define rep2(i,l,r)for(int i=(l);i<(r);++i)
#define rrep(i, n) for (int i = (n-1); i >= 0; --i)
#define rrep2(i,l,r)for(int i=(r-1);i>=(l);--i)
#define all(x) (x).begin(),(x).end()
#define allR(x) (x).rbegin(),(x).rend()
#define endl "\n"
#define P pair<int,int>
template<typename A, typename B> inline bool chmax(A & a, const B & b) { if (a < b) { a = b; return true; } return false; }
template<typename A, typename B> inline bool chmin(A & a, const B & b) { if (a > b) { a = b; return true; } return false; }
template<typename T>
struct RangeSet {
	// ReadMe:閉区間なことに注意
	// member
	set<pair<T, T>>st;
	T TINF;
	// constructor
	RangeSet(T lim) {
		TINF = lim + 1;
		st.insert({ -TINF,-TINF });
		st.insert({ TINF, TINF });
	}
	// cover check
	bool IsCovered(T l, T r) {
		auto ite = prev(st.lower_bound({ l + 1,l + 1 }));
		return ((ite->first <= l) && (r <= ite->second));
	}
	bool IsCovered(T x) { return IsCovered(x, x); }
	// get by covered
	pair<T, T> ByCovered(T l, T r) {
		auto ite = prev(st.lower_bound({ l + 1,l + 1 }));
		if ((ite->first <= l) && (r <= ite->second)) return *ite;
		return { -TINF, -TINF };
	}
	pair<T, T> ByCovered(T  x) { return ByCovered(x, x); }
	// insert
	T Insert(T l, T r) {
		T sumErase = T(0);
		auto ite = prev(st.lower_bound({ l + 1,l + 1 }));
		// no need merge
		if (IsCovered(l, r))return sumErase;
		// first merge pos
		if ((ite->first <= l) && (l <= (ite->second + 1))) {
			l = ite->first;
			sumErase += ite->second - ite->first + 1;
			ite = st.erase(ite);
		}
		else ite = next(ite);
		// merge
		while (r > ite->second) {
			sumErase += ite->second - ite->first + 1;
			ite = st.erase(ite);
		}
		if (((ite->first - 1) <= r) && (r <= ite->second)) {
			r = ite->second;
			sumErase += ite->second - ite->first + 1;
			st.erase(ite);
		}
		st.insert({ l,r });
		return (r - l + 1) - sumErase;
	}
	T Insert(T x) { return Insert(x, x); }
	// erase
	T Erase(T l, T r) {
		//todo
	}
	T Erase(T x) { return Erase(x, x); }
	// range count
	int size() { return st.size() - 2; }
	// mex
	T mex(T x = 0) {
		if (!IsCovered(x)) return x;
		auto ite = prev(st.lowerbound({ x + 1, x + 1 }));
		return ite->second + 1;
	}
	// debug
	void Debug() {
		for (auto[l, r] : st)cout << l << " " << r << endl;
	}
};
int main() {
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	long long d; cin >> d;
	int q; cin >> q;
	RangeSet<long long>rs(LINF);
	long long ans = 0;
	while (q--) {
		long long l, r; cin >> l >> r;
		rs.Insert(l, r);
		auto [s,e] = rs.ByCovered(l, r);
		chmax(ans, e - s + 1);
		cout << ans << endl;
	}
	return 0;
}