結果

問題 No.2786 RMQ on Grid Path
ユーザー shkiiii_shkiiii_
提出日時 2024-06-15 00:54:09
言語 C++17(gcc12)
(gcc 12.3.0 + boost 1.87.0)
結果
AC  
実行時間 961 ms / 6,000 ms
コード長 2,676 bytes
コンパイル時間 2,387 ms
コンパイル使用メモリ 218,160 KB
実行使用メモリ 48,172 KB
最終ジャッジ日時 2024-06-15 00:54:33
合計ジャッジ時間 20,531 ms
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 2
other AC * 35
権限があれば一括ダウンロードができます

ソースコード

diff #

#include<bits/stdc++.h>
// #include<atcoder/all>
// #include<boost/multiprecision/cpp_int.hpp>

using namespace std;
// using namespace atcoder;
// using bint = boost::multiprecision::cpp_int;
using ll = long long;
using ull = unsigned long long;
using P = pair<ll,ll>;
using vi = vector<ll>;
using vvi = vector<vi>;
using vvvi = vector<vvi>;
#define rep(i,n) for(ll i = 0;i < (ll)n;i++)
#define ALL(x) (x).begin(),(x).end()
#define sz(c) ((ll)(c).size())
#define LB(A,x) (int)(lower_bound(A.begin(),A.end(),x)-A.begin())
#define UB(A,x) (int)(upper_bound(A.begin(),A.end(),x)-A.begin())
// #define MOD 1000000007
#define MOD 998244353
template<typename T>using min_priority_queue=priority_queue<T,vector<T>,greater<T>>;
template<typename T>ostream&operator<<(ostream&os,vector<T>&v){for(int i = 0;i < v.size();i++)os<<v[i]<<(i+1!=v.size()?" ":"");return os;}
template<typename T>istream&operator>>(istream&is,vector<T>&v){for(T&in:v)is>>in;return is;}
template<typename T1,typename T2>ostream&operator<<(ostream&os,pair<T1,T2>&p){os<<p.first<<" "<<p.second;return os;}
template<typename T1,typename T2>istream&operator>>(istream&is,pair<T1,T2>&p){is>>p.first>>p.second;return is;}

int dx[] = {-1,0,0,1};
int dy[] = {0,1,-1,0};

class UnionFind{
  public:
  vector<int> par;
  UnionFind(long long size) : par(size,-1){}

  bool unite(int x,int y){
    x = root(x),y = root(y);
    if(x == y)return false;
    if(par[y] < par[x])swap(x,y);
    par[x] += par[y];
    par[y] = x;
    return true;
  }

  bool find(int x,int y){
    return root(x) == root(y);
  }

  int root(int x){
    return par[x] < 0 ? x : par[x] = root(par[x]);
  }

  int size(int x){
    return -par[root(x)];
  }
};


int main(){
  
  ios_base::sync_with_stdio(0), cin.tie(0);
  int h,w;
  cin >> h >> w;
  vvi a(h,vi(w));
  cin >> a;
  int Q;
  cin >> Q;
  vector<P> qry(Q);
  rep(i,Q){
    int a,b,c,d;cin >> a >> b >> c >> d;
    a--;b--;c--;d--;
    qry[i] = {a*w+b,c*w+d};
  }
  vi l(Q,0),r(Q,h*w);
  vector<vector<P>> e(h*w+1);
  rep(i,h)rep(j,w){
    rep(k,4){
      int ni = i + dy[k],nj = j + dx[k];
      if(ni < 0 || ni >= h || nj < 0 || nj >= w)continue;
      e[max(a[i][j],a[ni][nj])].emplace_back(i*w+j,ni*w+nj);
    }
  }
  while(1){
    vvi mid(h*w+1);
    bool is = false;
    rep(i,Q){
      if(r[i]-l[i] != 1){
        mid[(r[i]+l[i])/2].emplace_back(i);
        is = true;
      }
    }
    if(!is)break;
    UnionFind uf(h*w);
    rep(i,h*w+1){
      for(auto au : e[i])uf.unite(au.first,au.second);
      for(auto au : mid[i]){
        if(uf.find(qry[au].first,qry[au].second))r[au] = i;
        else l[au] = i;
      }
    }
  }
  rep(i,Q)cout << r[i] << "\n";

  

  return 0;
}
0