結果
問題 |
No.3199 Key-Door Grid
|
ユーザー |
![]() |
提出日時 | 2025-07-19 15:18:06 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 193 ms / 3,000 ms |
コード長 | 7,787 bytes |
コンパイル時間 | 4,046 ms |
コンパイル使用メモリ | 293,912 KB |
実行使用メモリ | 34,048 KB |
最終ジャッジ日時 | 2025-07-19 15:18:16 |
合計ジャッジ時間 | 8,432 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 37 |
ソースコード
/* */ #include <bits/stdc++.h> using namespace std; #define ALL(x) (x).begin(),(x).end() #define REP(i, n) for(ll i=0; i<(ll)(n); i++) template<typename T> int LB(const vector<T>& v, T x) { return lower_bound(ALL(v),x)-v.begin(); } template<typename T> int UQ(T& v) { sort(ALL(v)); v.erase(unique(ALL(v)),v.end()); return v.size(); } template<typename T> bool chmax(T &a, T b) { return a<b ? a=b, true : false; } template<typename T> bool chmin(T &a, T b) { return a>b ? a=b, true : false; } template<typename T> using rpriority_queue = priority_queue<T,vector<T>,greater<T>>; using ll=long long; const int INF=1e9+10; const ll INFL=4e18; using ld=long double; using lll=__int128_t; using ull=unsigned long long; using VI=vector<int>; using VVI=vector<VI>; using VL=vector<ll>; using VVL=vector<VL>; using PL=pair<ll,ll>; using VP=vector<PL>; using WG=vector<vector<pair<int,ll>>>; #ifdef LOCAL #include "./debug.hpp" #else #define debug(...) #define print_line #endif /// @brief セグメント木 template<typename Monoid> struct SegTree { using Type=typename Monoid::Type; SegTree()=default; /// @brief 要素数 n のセグ木を構築する SegTree(int n) { this->n=n; dat.assign(n<<1,Monoid::id()); cand.reserve(100),cand_l.reserve(100),cand_r.reserve(100); } /// @brief 配列 v からセグ木を構築する /// @note O(N) SegTree(const vector<Type>& v) { this->n=v.size(); dat.assign(n<<1,Monoid::id()); for(int i=0; i<n; i++) dat[i+n]=v[i]; for(int i=n-1; i>0; i--) dat[i]=Monoid::op(dat[i<<1],dat[i<<1|1]); cand.reserve(100),cand_l.reserve(100),cand_r.reserve(100); } /// @brief i 番目の要素を x に変更する /// @note O(log(N)) void set(int i, Type x) { i+=n; dat[i]=x; while(i>>=1) dat[i]=Monoid::op(dat[i<<1],dat[i<<1|1]); } /// @brief 区間 [l, r) のモノイド積を返す /// @note O(log(N)) Type fold(int l, int r) { Type retl=Monoid::id(),retr=Monoid::id(); l+=n,r+=n; while(l<r) { if(l&1) retl=Monoid::op(retl,dat[l++]); if(r&1) retr=Monoid::op(dat[--r],retr); l>>=1,r>>=1; } return Monoid::op(retl,retr); } /// @brief 区間 [l, x) のモノイド積が f を満たすような最大の x >= l を返す /// @attention `f(Monoid::id())=true` が成り立つ必要がある /// @note O(log(N)) template<typename F> int find_right(int l, F f) { assert(f(Monoid::id())); if(l==n) return n; l+=n; int r=n+n; cand_l.clear(),cand_r.clear(); while(l<r) { if(l&1) cand_l.push_back(l++); if(r&1) cand_r.push_back(--r); l>>=1,r>>=1; } cand=cand_l; reverse(cand_r.begin(),cand_r.end()); cand.insert(cand.end(),cand_r.begin(),cand_r.end()); Type val=Monoid::id(); for(int i:cand) { if(f(Monoid::op(val,dat[i]))) { val=Monoid::op(val,dat[i]); } else { while(i<n) { i<<=1; if(f(Monoid::op(val,dat[i]))) { val=Monoid::op(val,dat[i]); i|=1; } } return i-n; } } return n; } /// @brief 区間 [x, r) のモノイド積が f を満たすような最小の x <= r を返す /// @attention `f(Monoid::id())=true` が成り立つ必要がある /// @note O(log(N)) template<typename F> int find_left(int r,F f) { assert(f(Monoid::id())); if(r==0) return 0; r+=n; int l=n; cand_l.clear(),cand_r.clear(); while(l<r) { if(l&1) cand_l.push_back(l++); if(r&1) cand_r.push_back(--r); l>>=1,r>>=1; } cand=cand_r; reverse(cand_l.begin(),cand_l.end()); cand.insert(cand.end(),cand_l.begin(),cand_l.end()); Type val=Monoid::id(); for(int i:cand) { if(f(Monoid::op(dat[i],val))) { val=Monoid::op(dat[i],val); } else { while(i<n) { i=(i<<1)|1; if(f(Monoid::op(dat[i],val))) { val=Monoid::op(dat[i],val); i^=1; } } return i-n+1; } } return 0; } /// @brief i 番目の要素を返す /// @note O(1) Type operator[](int i) { return dat[i+n]; } /// @brief 配列のサイズを返す int size() { return n; } private: int n; vector<Type> dat; vector<int> cand,cand_l,cand_r; }; /// @brief モノイド namespace Monoid { /// @brief Minモノイド /// @tparam max_value 単位元 template<typename T, T max_value=INF> struct Min { using Type=T; static Type id() { return max_value; } static Type op(const Type& a, const Type& b) { return min(a,b); } }; /// @brief Maxモノイド /// @tparam min_value 単位元 template<typename T, T min_value=-INF> struct Max { using Type=T; static Type id() { return min_value; } static Type op(const Type& a, const Type& b) { return max(a,b); } }; /// @brief 和 template<typename T> struct Sum { using Type=T; static Type id() { return 0; } static Type op(const Type& a, const Type& b) { return a+b; } }; /// @brief (和,区間の長さ) template<typename T> struct SumPair { using Type=pair<T,int>; static Type id() { return make_pair(T(0),0); } static Type op(const Type& a, const Type& b) { return {a.first+b.first,a.second+b.second}; } }; } /// @brief 区間クエリ namespace RangeQuery { /// @brief 1点変更 / 区間 min template<typename T, T max_value=INF> struct Min { using Type=struct SegTree<Monoid::Min<T,max_value>>; }; /// @brief 1点変更 / 区間 max template<typename T, T min_value=-INF> struct Max { using Type=struct SegTree<Monoid::Max<T,min_value>>; }; /// @brief 1点変更 / 区間和 template<typename T> struct Sum { using Type=struct SegTree<Monoid::Sum<T>>; }; } //---------------------------------------------------------- void solve() { ll H,W,M; cin>>H>>W>>M; VVI S(H,VI(W)); PL start,goal; REP(i,H) REP(j,W) { char c; cin>>c; if(c=='S') start={i,j}; if(c=='G') goal={i,j}; if(c=='#') S[i][j]=-1; if('1'<=c && c<='9') S[i][j]=c-'0'; if('a'<=c && c<='i') S[i][j]=101+(c-'a'); } vector dp(H,VVL(W,VL(M+1,INF))); dp[start.first][start.second][0]=0; queue<array<ll,3>> que; que.push({start.first,start.second,0}); while(!que.empty()) { auto [x,y,k]=que.front(); que.pop(); for(auto [dx,dy]: {pair{0,1},{1,0},{0,-1},{-1,0}}) { ll nx=x+dx, ny=y+dy; if(nx<0 || nx>=H || ny<0 || ny>=W) continue; int v=S[nx][ny]; if(v==-1) continue; if(v==0) { if(chmin(dp[nx][ny][k],dp[x][y][k]+1)) que.push({nx,ny,k}); } if(v<=M) { if(chmin(dp[nx][ny][v],dp[x][y][k]+1)) que.push({nx,ny,v}); } if(v>=100) { v-=100; if(v==k) { if(chmin(dp[nx][ny][k],dp[x][y][k]+1)) que.push({nx,ny,k}); } } } } ll ans=INF; REP(i,M+1) chmin(ans,dp[goal.first][goal.second][i]); if(ans==INF) ans=-1; cout<<ans<<endl; } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); //cout<<fixed<<setprecision(15); int T=1; //cin>>T; while(T--) solve(); }