#962970 (C++23) No.2687 所により大雨

提出ソース

結果

問題	No.2687 所により大雨
ユーザー	👑 emthrm
提出日時	2024-03-20 23:19:53
言語	C++23 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	485 ms / 2,000 ms
コード長	6,364 bytes
コンパイル時間	3,655 ms
コンパイル使用メモリ	261,256 KB
実行使用メモリ	11,008 KB
最終ジャッジ日時	2024-03-20 23:20:04
合計ジャッジ時間	10,140 ms
ジャッジサーバーID （参考情報）	judge13 / judge12

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	35 ms 6,548 KB
testcase_01	AC	34 ms 6,548 KB
testcase_02	AC	35 ms 6,548 KB
testcase_03	AC	35 ms 6,548 KB
testcase_04	AC	35 ms 6,548 KB
testcase_05	AC	2 ms 6,548 KB
testcase_06	AC	2 ms 6,548 KB
testcase_07	AC	2 ms 6,548 KB
testcase_08	AC	2 ms 6,548 KB
testcase_09	AC	2 ms 6,548 KB
testcase_10	AC	474 ms 11,008 KB
testcase_11	AC	469 ms 11,008 KB
testcase_12	AC	477 ms 11,008 KB
testcase_13	AC	485 ms 11,008 KB
testcase_14	AC	477 ms 11,008 KB
testcase_15	AC	472 ms 11,008 KB
testcase_16	AC	479 ms 11,008 KB
testcase_17	AC	474 ms 11,008 KB
testcase_18	AC	483 ms 11,008 KB
testcase_19	AC	464 ms 11,008 KB
testcase_20	AC	2 ms 6,548 KB
testcase_21	AC	2 ms 6,548 KB
testcase_22	AC	2 ms 6,548 KB
testcase_23	AC	2 ms 6,548 KB
testcase_24	AC	6 ms 6,548 KB
testcase_25	AC	5 ms 6,548 KB
testcase_26	AC	5 ms 6,548 KB
testcase_27	AC	5 ms 6,548 KB
testcase_28	AC	5 ms 6,548 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

#include <bits/stdc++.h>
using namespace std;
#define FOR(i,m,n) for(int i=(m);i<(n);++i)
#define REP(i,n) FOR(i,0,n)
using ll = long long;
constexpr int INF = 0x3f3f3f3f;
constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL;
constexpr double EPS = 1e-8;
constexpr int MOD = 998244353;
// constexpr int MOD = 1000000007;
constexpr int DY4[]{1, 0, -1, 0}, DX4[]{0, -1, 0, 1};
constexpr int DY8[]{1, 1, 0, -1, -1, -1, 0, 1};
constexpr int DX8[]{0, -1, -1, -1, 0, 1, 1, 1};
template <typename T, typename U>
inline bool chmax(T& a, U b) { return a < b ? (a = b, true) : false; }
template <typename T, typename U>
inline bool chmin(T& a, U b) { return a > b ? (a = b, true) : false; }
struct IOSetup {
  IOSetup() {
    std::cin.tie(nullptr);
    std::ios_base::sync_with_stdio(false);
    std::cout << fixed << setprecision(20);
  }
} iosetup;

template <typename T>
struct IntervalsManagedBySet {
  using IntervalsType = std::set<std::pair<T, T>>;
  IntervalsType intervals{
      {std::numeric_limits<T>::lowest(), std::numeric_limits<T>::lowest()},
      {std::numeric_limits<T>::max(), std::numeric_limits<T>::max()}};

  IntervalsManagedBySet() = default;

  bool contains(const T x) const { return contains(x, x); }

  bool contains(const T left, const T right) const {
    return find(left, right) != intervals.end();
  }

  std::pair<typename IntervalsType::const_iterator, bool> erase(const T x) {
    typename IntervalsType::const_iterator it = intervals.lower_bound({x, x});
    if (it->first == x) {
      const T right = it->second;
      it = intervals.erase(it);
      if (x + 1 <= right) it = intervals.emplace(x + 1, right).first;
    } else {
      it = std::prev(it);
      const auto [left, right] = *it;
      if (right < x) return {std::next(it), false};
      intervals.erase(it);
      it = std::next(intervals.emplace(left, x - 1).first);
      if (x + 1 <= right) it = intervals.emplace(x + 1, right).first;
    }
    return {it, true};
  }

  std::pair<typename IntervalsType::const_iterator, T> erase(
      const T left, const T right) {
    assert(left <= right);
    typename IntervalsType::const_iterator it =
        intervals.lower_bound({left, left});
    T res = 0;
    for (; it->second <= right; it = intervals.erase(it)) {
      res += it->second - it->first + 1;
    }
    if (it->first <= right) {
      res += right - it->first + 1;
      const T r = it->second;
      intervals.erase(it);
      it = intervals.emplace(right + 1, r).first;
    }
    if (left <= std::prev(it)->second) {
      it = std::prev(it);
      const auto [l, r] = *it;
      intervals.erase(it);
      if (right < r) {
        res += right - left + 1;
        intervals.emplace(right + 1, r);
      } else {
        res += r - left + 1;
      }
      it = std::next(intervals.emplace(l, left - 1).first);
    }
    return {it, res};
  }

  typename IntervalsType::const_iterator find(const T x) const {
    return find(x, x);
  }

  typename IntervalsType::const_iterator find(
      const T left, const T right) const {
    typename IntervalsType::const_iterator it =
        intervals.lower_bound({left, left});
    if (left < it->first) it = std::prev(it);
    return it->first <= left && right <= it->second ? it : intervals.end();
  }

  std::pair<typename IntervalsType::const_iterator, bool> insert(const T x) {
    typename IntervalsType::const_iterator it = intervals.lower_bound({x, x});
    if (it->first == x) return {it, false};
    if (x <= std::prev(it)->second) return {std::prev(it), false};
    T left = x, right = x;
    if (x + 1 == it->first) {
      right = it->second;
      it = intervals.erase(it);
    }
    if (std::prev(it)->second == x - 1) {
      it = std::prev(it);
      left = it->first;
      intervals.erase(it);
    }
    return {intervals.emplace(left, right).first, true};
  }

  std::pair<typename IntervalsType::const_iterator, T> insert(T left, T right) {
    assert(left <= right);
    typename IntervalsType::const_iterator it =
        intervals.lower_bound({left, left});
    if (left <= std::prev(it)->second) {
      it = std::prev(it);
      left = it->first;
    }
    T res = 0;
    if (left == it->first && right <= it->second) return {it, res};
    for (; it->second <= right; it = intervals.erase(it)) {
      res -= it->second - it->first + 1;
    }
    if (it->first <= right) {
      res -= it->second - it->first + 1;
      right = it->second;
      it = intervals.erase(it);
    }
    res += right - left + 1;
    if (right + 1 == it->first) {
      right = it->second;
      it = intervals.erase(it);
    }
    if (std::prev(it)->second == left - 1) {
      it = std::prev(it);
      left = it->first;
      intervals.erase(it);
    }
    return {intervals.emplace(left, right).first, res};
  }

  T mex(const T x = 0) const {
    auto it = intervals.lower_bound({x, x});
    if (x <= std::prev(it)->second) it = std::prev(it);
    return x < it->first ? x : it->second + 1;
  }

  friend std::ostream& operator<<(std::ostream& os,
                                  const IntervalsManagedBySet& x) {
    if (x.intervals.size() == 2) return os;
    auto it = next(x.intervals.begin());
    while (true) {
      os << '[' << it->first << ", " << it->second << ']';
      it = next(it);
      if (next(it) == x.intervals.end()) break;
      os << ' ';
    }
    return os;
  }
};

int main() {
  int n, m; cin >> n >> m;
  vector<pair<ll, ll>> lr(n + m); REP(i, n + m) cin >> lr[i].first >> lr[i].second;
  int k; cin >> k;
  sort(lr.begin(), next(lr.begin(), n));
  FOR(i, 1, n) {
    if (lr[i].first <= lr[i - 1].second) {
      REP(j, k) cout << 1 << " \n"[j + 1 == k];
      return 0;
    }
  }
  sort(next(lr.begin(), n), lr.end());
  FOR(i, n + 1, n + m) {
    if (lr[i].first <= lr[i - 1].second) {
      REP(j, k) cout << 1 << " \n"[j + 1 == k];
      return 0;
    }
  }
  IntervalsManagedBySet<ll> intervals;
  REP(i, n) intervals.insert(lr[i].first, lr[i].second);
  REP(i, k) {
    int p; cin >> p;
    bool e = false;
    FOR(j, n, n + m) {
      const ll tl = lr[j].first - p, tr = lr[j].second - p;
      const auto it = intervals.intervals.lower_bound({p - tr, p - tr});
      if (intervals.contains(p - tr) || (it != intervals.intervals.end() && it->first <= p - tl)) {
        e = true;
        break;
      }
    }
    cout << (e ? 1 : 0) << " \n"[i + 1 == k];
  }
  return 0;
}

yukicoder

結果

テストケース

ソースコード