結果

問題 No.2366 登校
コンテスト
ユーザー HIcoder
提出日時 2023-07-05 12:27:55
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 2,792 bytes
コンパイル時間 1,472 ms
コンパイル使用メモリ 119,368 KB
最終ジャッジ日時 2025-02-15 06:12:02
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 2
other AC * 6 WA * 19
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<set>
#include<algorithm>
#include<vector>
#include<string>
#include<set>
#include<map>
#include<numeric>
#include<queue>
#include<cmath>
using namespace std;
typedef long long ll;
const ll INF=1LL<<60;
typedef pair<ll,ll> P;
typedef pair<int,P> PP;
const ll MOD=998244353;


int main(){
    int N,M,K,T;
    cin>>N>>M>>K>>T;

    vector<vector<P>> back(N,vector<P>(M,make_pair(0,0)));
    for(int i=0;i<K;i++){
        int a,b;
        ll c,d;
        cin>>a>>b>>c>>d;
        a--;b--;
        back[a][b]=make_pair(c,d);
    }

    ll offset=N+M+2;

    vector dp(N,vector<vector<ll>>(M,vector<ll>(2*(N+M)+10,INF)));

    typedef tuple<ll,ll,ll,ll> TP;

    priority_queue<TP,vector<TP>,greater<TP>> pq;

    pq.emplace(0,0,0,0);

    while(!pq.empty()){

        auto [val,nowi,nowj,nowt] = pq.top();//valは負の値.ちいさいほうから
        pq.pop();

        //ll cost=-val;
        ll cost=val;

        
        if(dp[nowi][nowj][nowt+offset]<=cost) continue;

        //dp[nowi][nowj][nowt+offset]>cost
        dp[nowi][nowj][nowt+offset]=cost;


        if(nowi+1<N){
            int ni=nowi+1;
            int nj=nowj;

            if(back[nowi][nowj]==make_pair(0LL,0LL)){
                if(dp[ni][nj][nowt+1+offset]>dp[nowi][nowj][nowt+offset] ){
                    pq.emplace(dp[nowi][nowj][nowt+offset],ni,nj,nowt+1);
                }
            
            }else{
                auto [ci,di]=back[nowi][nowj];
                ll totime = nowt-ci+1;
                if(totime<-(N+M-2)){
                    totime=-(N+M-2);
                } 

                if(dp[ni][nj][totime+offset]>(dp[nowi][nowj][nowt+offset]+di) ){
                    pq.emplace((dp[nowi][nowj][nowt+offset]+di),ni,nj,totime);
                }


            }

        }


        if(nowj+1<M){
            int ni=nowi;
            int nj=nowj+1;

            if(back[nowi][nowj]==make_pair(0LL,0LL)){
                if(dp[ni][nj][nowt+1+offset]>dp[nowi][nowj][nowt+offset] ){
                    pq.emplace(dp[nowi][nowj][nowt+offset],ni,nj,nowt+1);
                }
            
            }else{
                auto [ci,di]=back[nowi][nowj];
                ll totime = nowt-ci+1;
                if(totime<-(N+M-2)){
                    totime=-(N+M-2);
                } 

                if(dp[ni][nj][totime+offset]>(dp[nowi][nowj][nowt+offset]+di) ){
                    pq.emplace((dp[nowi][nowj][nowt+offset]+di),ni,nj,totime);
                }



            }

        }


    }

    ll ans=INF;
    /*
    for(int t=0;t<2*(N+M)+10 && t<=T-offset;t++){
        ans=min(ans,dp[N-1][M-1][t]);
    }
    */

    for(int t=0;t<2*(N+M)+10 && t<=T+offset;t++){
        ans=min(ans,dp[N-1][M-1][t]);
    }
    
    cout<<(ans==INF?-1:ans)<<endl;

}
0