結果

問題 No.2786 RMQ on Grid Path
ユーザー GoldIngotGoldIngot
提出日時 2024-06-14 21:54:59
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 2,740 ms / 6,000 ms
コード長 3,701 bytes
コンパイル時間 4,456 ms
コンパイル使用メモリ 274,472 KB
実行使用メモリ 313,232 KB
最終ジャッジ日時 2024-06-14 21:55:55
合計ジャッジ時間 43,380 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,816 KB
testcase_02 AC 2 ms
6,820 KB
testcase_03 AC 2 ms
6,944 KB
testcase_04 AC 3 ms
6,944 KB
testcase_05 AC 2 ms
6,944 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 2 ms
6,944 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 2 ms
6,940 KB
testcase_10 AC 2 ms
6,944 KB
testcase_11 AC 2 ms
6,944 KB
testcase_12 AC 2,548 ms
313,092 KB
testcase_13 AC 2,566 ms
313,108 KB
testcase_14 AC 2,584 ms
313,224 KB
testcase_15 AC 2,571 ms
313,096 KB
testcase_16 AC 2,506 ms
313,220 KB
testcase_17 AC 2,554 ms
313,232 KB
testcase_18 AC 2,740 ms
313,104 KB
testcase_19 AC 2,468 ms
313,232 KB
testcase_20 AC 2,372 ms
313,084 KB
testcase_21 AC 2,446 ms
313,100 KB
testcase_22 AC 1,184 ms
313,116 KB
testcase_23 AC 1,249 ms
312,964 KB
testcase_24 AC 692 ms
246,292 KB
testcase_25 AC 761 ms
267,668 KB
testcase_26 AC 718 ms
247,016 KB
testcase_27 AC 695 ms
56,904 KB
testcase_28 AC 272 ms
11,520 KB
testcase_29 AC 1,772 ms
298,212 KB
testcase_30 AC 404 ms
21,760 KB
testcase_31 AC 46 ms
14,408 KB
testcase_32 AC 441 ms
194,044 KB
testcase_33 AC 52 ms
6,944 KB
testcase_34 AC 607 ms
197,784 KB
testcase_35 AC 577 ms
197,564 KB
testcase_36 AC 606 ms
196,160 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
#define rep(i,n) for(int (i)=0;(i)<(n);(i)++)
#define rep2(i,m,n) for(int (i)=(m);(i)<(n);(i)++)
#define rep2ll(i,m,n) for(ll (i)=(m);(i)<(n);(i)++)
#define ALL(obj) (obj).begin(), (obj).end()
#define rALL(obj) (obj).rbegin(), (obj).rend()
using namespace std;
using ll = long long;
using P = pair<ll,ll>;
using mint = atcoder::modint998244353;
using VL = vector<ll>;
using VVL = vector<VL>;
using VVVL = vector<VVL>;
using VM = vector<mint>;
using VVM = vector<VM>;
using VVVM = vector<VVM>;
using VD = vector<double>;
using VVD = vector<VD>;
using VVVD = vector<VVD>;
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; }

template <typename T, int LOG>
struct PersistentArray {
  struct Node {
    T data;
    Node *child[1 << LOG] = {};

    Node() {}

    Node(const T &data) : data(data) {}
  };

  Node *root;

  PersistentArray() : root(nullptr) {}

  T get(Node *t, int k) {
    if (k == 0) return t->data;
    return get(t->child[k & ((1 << LOG) - 1)], k >> LOG);
  }

  T get(const int &k) { return get(root, k); }

  pair<Node *, T *> mutable_get(Node *t, int k) {
    t = t ? new Node(*t) : new Node();
    if (k == 0) return {t, &t->data};
    auto p = mutable_get(t->child[k & ((1 << LOG) - 1)], k >> LOG);
    t->child[k & ((1 << LOG) - 1)] = p.first;
    return {t, p.second};
  }

  T *mutable_get(const int &k) {
    auto ret = mutable_get(root, k);
    root = ret.first;
    return ret.second;
  }

  Node *build(Node *t, const T &data, int k) {
    if (!t) t = new Node();
    if (k == 0) {
      t->data = data;
      return t;
    }
    auto p = build(t->child[k & ((1 << LOG) - 1)], data, k >> LOG);
    t->child[k & ((1 << LOG) - 1)] = p;
    return t;
  }

  void build(const vector<T> &v) {
    root = nullptr;
    for (int i = 0; i < v.size(); i++) {
      root = build(root, v[i], i);
    }
  }
};


/*
 * @brief Persistent-Union-Find(永続Union-Find)
 */
struct PersistentUnionFind {
  PersistentArray<int, 3> data;

  PersistentUnionFind() {}

  PersistentUnionFind(int sz) { data.build(vector<int>(sz, -1)); }

  int find(int k) {
    int p = data.get(k);
    return p >= 0 ? find(p) : k;
  }

  int size(int k) { return (-data.get(find(k))); }

  bool unite(int x, int y) {
    x = find(x);
    y = find(y);
    if (x == y) return false;
    auto u = data.get(x);
    auto v = data.get(y);

    if (u < v) {
      auto a = data.mutable_get(x);
      *a += v;
      auto b = data.mutable_get(y);
      *b = x;
    } else {
      auto a = data.mutable_get(y);
      *a += u;
      auto b = data.mutable_get(x);
      *b = y;
    }
    return true;
  }
};


int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    ll h, w; cin>>h>>w;
    VVL a(h, VL(w)); rep(x,h) rep(y,w) cin>>a[x][y], a[x][y]--;
    vector<vector<P>> b(h*w);
    rep(x,h) rep(y,w){
        if(x){
            b[max(a[x][y], a[x-1][y])].emplace_back(w*x+y, w*(x-1)+y);
        }
        if(y){
            b[max(a[x][y], a[x][y-1])].emplace_back(w*x+y, w*x+(y-1));
        }
    }

    vector<PersistentUnionFind> uf(h*w+1);
    uf[0] = PersistentUnionFind(h*w);
    rep(i,h*w){
        uf[i+1] = uf[i];
        for(auto [u,v]:b[i]) uf[i+1].unite(u, v);
    }
    ll q; cin>>q;
    while(q--){
        ll rs1, cs1, rt1, ct1; cin>>rs1>>cs1>>rt1>>ct1; rs1--,cs1--,rt1--,ct1--;
        ll u = w*rs1+cs1, v = w*rt1+ct1;
        ll ng = 0, ok = h*w+1;
        while(ng+1<ok){
            ll c = (ng + ok) / 2;
            (uf[c].find(u) == uf[c].find(v) ? ok:ng) = c;
        }
        cout<<ok<<'\n';
    }
    
    return 0;
}
0