結果
問題 | No.674 n連勤 |
ユーザー | sten_san |
提出日時 | 2023-05-06 03:22:55 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 31 ms / 2,000 ms |
コード長 | 6,774 bytes |
コンパイル時間 | 2,229 ms |
コンパイル使用メモリ | 210,136 KB |
実行使用メモリ | 5,248 KB |
最終ジャッジ日時 | 2024-11-23 15:02:58 |
合計ジャッジ時間 | 3,674 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 2 ms
5,248 KB |
testcase_02 | AC | 2 ms
5,248 KB |
testcase_03 | AC | 2 ms
5,248 KB |
testcase_04 | AC | 2 ms
5,248 KB |
testcase_05 | AC | 2 ms
5,248 KB |
testcase_06 | AC | 2 ms
5,248 KB |
testcase_07 | AC | 2 ms
5,248 KB |
testcase_08 | AC | 2 ms
5,248 KB |
testcase_09 | AC | 2 ms
5,248 KB |
testcase_10 | AC | 2 ms
5,248 KB |
testcase_11 | AC | 3 ms
5,248 KB |
testcase_12 | AC | 3 ms
5,248 KB |
testcase_13 | AC | 13 ms
5,248 KB |
testcase_14 | AC | 14 ms
5,248 KB |
testcase_15 | AC | 12 ms
5,248 KB |
testcase_16 | AC | 30 ms
5,248 KB |
testcase_17 | AC | 31 ms
5,248 KB |
testcase_18 | AC | 27 ms
5,248 KB |
testcase_19 | AC | 13 ms
5,248 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; struct iofast_t { iofast_t() { ios::sync_with_stdio(false); cin.tie(nullptr); } } iofast; struct uns_t {} uns; template <typename Element, typename Head, typename ...Args> auto vec(Element init, Head arg, Args ...args) { if constexpr (sizeof...(Args) == 0) return vector(arg, init); else return vector(arg, vec(init, args...)); } template <typename Element, typename Head, typename ...Args> auto vec(uns_t, Head arg, Args ...args) { return vec(Element(), arg, args...); } template <typename Container> auto distance(const Container &c, decltype(begin(c)) iter) { return distance(begin(c), iter); } template <typename RIter, typename Compare = less<typename iterator_traits<RIter>::value_type>> auto isort(RIter first, RIter last, Compare comp = Compare()) { vector<int> i(distance(first, last)); iota(begin(i), end(i), 0); sort(begin(i), end(i), [&](auto x, auto y) { return comp(*(first + x), *(first + y)); }); return i; } template <typename, template <typename> typename, typename = void_t<>> struct detect : false_type {}; template <typename T, template <typename> typename Check> struct detect<T, Check, void_t<Check<T>>> : true_type {}; template <typename T, template <typename> typename Check> constexpr inline bool detect_v = detect<T, Check>::value; template <typename T> using has_member_sort = decltype(declval<T>().sort()); template <typename Container, typename Compare = less<typename Container::value_type>> auto sorted(Container c, Compare comp = Compare()) { if constexpr (detect_v<Container, has_member_sort>) { c.sort(comp); return c; } else { sort(begin(c), end(c), comp); return c; } } template <typename Container, typename Compare = equal_to<typename Container::value_type>> auto uniqued(Container c, Compare comp = Compare()) { c.erase(unique(begin(c), end(c), comp), end(c)); return c; } template <typename T, typename Compare = less<T>> T &chmin(T &l, T r, Compare &&f = less<T>()) { return l = min(l, r, f); } template <typename T, typename Compare = less<T>> T &chmax(T &l, T r, Compare &&f = less<T>()) { return l = max(l, r, f); } template <typename F> constexpr auto fix(F &&f) noexcept { return [f = std::tuple<F>(std::forward<F>(f))](auto &&...args) mutable { return std::get<0>(f)(fix(std::get<0>(f)), std::forward<decltype(args)>(args)...); }; } // 互いに重ならない区間の集合 { [l1, r1), [l2, r2), ... } を管理する (li < ri) template <typename Int> struct segment_set { using int_type = Int; segment_set(): seg_() { } public: // 区間 [l, r) を追加する // 既存要素と重なる部分はマージする (境界の接合は行わない) void insert(int_type l, int_type r) { assert(l <= r); if (l == r) { return; } auto iter1 = seg_.upper_bound(l); auto iter2 = seg_.lower_bound(r); if (iter1 != std::begin(seg_)) { std::advance(iter1, -1); if (l < iter1->second) { l = iter1->first; } std::advance(iter1, +1); } if (iter2 != std::begin(seg_)) { std::advance(iter2, -1); if (r <= iter2->second) { r = iter2->second; } std::advance(iter2, +1); } seg_.erase(iter1, iter2); seg_[l] = r; } // 区間 [l, r) を追加する // clear(l, r) -> insert(l, r) void overwrite(int_type l, int_type r) { assert(l <= r); if (l == r) { return; } clear(l, r); seg_[l] = r; } // 要素 [x, k), [k, y) を [x, y) へマージする void connect(int_type k) { auto iter1 = seg_.lower_bound(k); if (iter1 == std::begin(seg_) || iter1 == std::end(seg_)) { return; } auto iter2 = std::prev(iter1); auto [l1, r1] = *iter2; auto [l2, r2] = *iter1; if (r1 == k && l2 == k) { seg_.erase(iter1); seg_.erase(iter2); seg_[l1] = r2; } } // 要素 [x, y) を [x, k), [k, y) に分割 void split(int_type k) { auto _ = wrapped(k); if (!_.has_value()) { return; } auto [l, r] = *_; seg_.erase(l); seg_[l] = k; seg_[k] = r; } // 集合から [l, r) に重なる部分を *切り取り* 削除する // 部分的に重なるような区間要素に対しては適切な分割が行われる void clear(int_type l, int_type r) { assert(l <= r); split(l); split(r); remove_covered(l, r); } // [l, r) に重なる区間を集合からすべて取り除く void remove_covered(int_type l, int_type r) { assert(l <= r); auto iter = seg_.upper_bound(l); if (iter != std::begin(seg_)) { std::advance(iter, -1); } while (iter != std::end(seg_) && iter->first < r) { if (l < iter->second) { iter = seg_.erase(iter); } else { std::advance(iter, +1); } } } // 存在するのなら l <= k < r な区間 [l, r) を返す std::optional<std::pair<int_type, int_type>> wrapped(int_type k) const { auto iter = seg_.upper_bound(k); if (iter == std::begin(seg_)) { return std::nullopt; } std::advance(iter, -1); if (iter->second <= k) { return std::nullopt; } return *iter; } // k を含む区間のサイズを取得する std::size_t wrapped_size(int_type k) const { auto _ = wrapped(k); if (!_.has_value()) { return 0; } auto [l, r] = *_; return r - l; } // k を含む区間が存在するか bool is_wrapped(int_type k) const { return wrapped(k).has_value(); } // x, y が同じ区間に属するか bool same(int_type x, int_type y) const { auto _ = wrapped(x); if (!_.has_value()) { return false; } auto [l, r] = *_; return l <= y && y < r; } private: std::map<int_type, int_type> seg_; }; int main() { int64_t d; cin >> d; segment_set<int64_t> set; int64_t max = 0; int q; cin >> q; while (q--) { int64_t a, b; cin >> a >> b; ++b; set.insert(a, b); set.connect(a); set.connect(b); chmax<int64_t>(max, set.wrapped_size(a)); cout << max << '\n'; } cout << flush; }