結果

問題 No.973 余興
ユーザー mugen_1337mugen_1337
提出日時 2021-04-13 15:53:56
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
実行時間 -
コード長 4,782 bytes
コンパイル時間 3,020 ms
コンパイル使用メモリ 238,516 KB
実行使用メモリ 221,052 KB
最終ジャッジ日時 2024-06-29 20:49:33
合計ジャッジ時間 13,550 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 TLE -
testcase_01 -- -
testcase_02 -- -
testcase_03 -- -
testcase_04 -- -
testcase_05 -- -
testcase_06 -- -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
testcase_37 -- -
testcase_38 -- -
testcase_39 -- -
testcase_40 -- -
testcase_41 -- -
testcase_42 -- -
testcase_43 -- -
testcase_44 -- -
testcase_45 -- -
testcase_46 -- -
testcase_47 -- -
testcase_48 -- -
testcase_49 -- -
testcase_50 -- -
testcase_51 -- -
testcase_52 -- -
testcase_53 -- -
testcase_54 -- -
testcase_55 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;
#define ALL(x) begin(x),end(x)
#define rep(i,n) for(int i=0;i<(n);i++)
#define debug(v) cout<<#v<<":";for(auto x:v){cout<<x<<' ';}cout<<endl;
#define mod 998244353
using ll=long long;
const int INF=1000000000;
const ll LINF=1001002003004005006ll;
int dx[]={1,0,-1,0},dy[]={0,1,0,-1};
template<class T>bool chmax(T &a,const T &b){if(a<b){a=b;return true;}return false;}
template<class T>bool chmin(T &a,const T &b){if(b<a){a=b;return true;}return false;}

struct IOSetup{
    IOSetup(){
        cin.tie(0);
        ios::sync_with_stdio(0);
        cout<<fixed<<setprecision(12);
    }
} iosetup;
 
template<typename T>
ostream &operator<<(ostream &os,const vector<T>&v){
    for(int i=0;i<(int)v.size();i++) os<<v[i]<<(i+1==(int)v.size()?"":" ");
    return os;
}
template<typename T>
istream &operator>>(istream &is,vector<T>&v){
    for(T &x:v)is>>x;
    return is;
}

vector<bitset<5001>> dp(5001);

#include<ext/pb_ds/assoc_container.hpp>
#include<ext/pb_ds/tree_policy.hpp>
using namespace __gnu_pbds;
// x軸だけ先に読めれば, オンラインにできる. 僕にはこれが限界
template<typename Tx,typename Ty>
struct RangeTree{
   // pair value, id
   using set_pbds=tree<pair<Ty,int>,null_type,less<pair<Ty,int>>,rb_tree_tag,tree_order_statistics_node_update>;
   map<Ty,int> cnt;
 
   vector<set_pbds> seg;
   vector<Tx> xs;
   int sz;
   RangeTree(vector<Tx> x_):xs(x_){
       sort(begin(xs),end(xs));
       xs.erase(unique(begin(xs),end(xs)),end(xs));
       sz=1;
       while(sz<(int)xs.size()) sz<<=1;
       while((int)xs.size()<sz) xs.push_back(numeric_limits<Tx>::max());
       seg.resize(2*sz);
   }
 
   void add(Tx x,Ty y){
       int k=lower_bound(begin(xs),end(xs),x)-begin(xs);
       assert(xs[k]==x);
       k+=sz;
       int id=cnt[y]++;
       for(;k;k>>=1) seg[k].insert({y,id});
   }
 
   void erase(Tx x,Ty y){
       int k=lower_bound(begin(xs),end(xs))-begin(xs);
       k+=sz;
       int id=--cnt[y];
       for(;k;k>>=1) seg[k].erase({y,id});
   }
 
   // [xleft, xright), [ylow, yhigh)
   int count(Tx xl,Tx xr,Ty yl,Ty yh){
       int l=lower_bound(begin(xs),end(xs),xl)-begin(xs);
       int r=lower_bound(begin(xs),end(xs),xr)-begin(xs);
       l+=sz,r+=sz;
       int ret=0;
       for(;l<r;l>>=1,r>>=1){
           if(l&1){
               ret+=seg[l].order_of_key({yh,-1})-seg[l].order_of_key({yl,-1});
               l++;
           }
           if(r&1){
               r--;
               ret+=seg[r].order_of_key({yh,-1})-seg[r].order_of_key({yl,-1});
           }
       }
       return ret;
   }
};

vector<set<int>> st_l(5001),st_r(5001);

void solve(){
    int n;ll x;cin>>n>>x;
    vector<ll> v(n);
    cin>>v;

    vector<ll> s(n);
    s[0]=v[0];
    for(int i=1;i<n;i++) s[i]=s[i-1]+v[i];



    // vector<int> tmp(5001);
    // iota(ALL(tmp),0);

    // RangeTree<int,int> rt(tmp);
    // rep(i,n) rt.add(i,i+1);

    rep(i,n){
        st_l[i].insert(i+1);
        st_r[i+1].insert(i);
    }


    for(int w=2;w<=n;w++){
        for(int l=0;l+w<=n;l++){
            int r=l+w;// [l,r)
            bool win=false;
            // left
            {
                ll offset=(l==0?0:s[l-1]);
                int ri=lower_bound(begin(s),end(s),offset+x+1)-begin(s);
                // can take [l,r)
                // int opponent_lose=rt.count(l+1,ri+1,r,r+1);
                auto ite=st_r[r].lower_bound(l+1);
                if(ite!=end(st_r[r]) and *ite<=ri) win=true;
            }
            // right
            {
                int li=lower_bound(begin(s),end(s),s[r-1]-x+1)-begin(s);
                // can take [li,r)
                // int opponent_lose=rt.count(l,l+1,li,r-1);
                auto ite=st_l[l].lower_bound(li);
                if(ite!=end(st_l[l]) and *ite<r-1) win=true;
            }
            dp[l][r]=win;
            if(!win){
                st_l[l].insert(r);
                st_r[r].insert(l);
            }
        }
    }
    cout<<(dp[0][n]?"A":"B")<<endl;
}

void naive(){
    int n;ll x;cin>>n>>x;
    vector<ll> v(n);
    cin>>v;



    for(int w=2;w<=n;w++){
        for(int l=0;l+w<=n;l++){
            int r=l+w;// [l,r)
            bool win=false;
            // left
            {
                ll s=v[l];
                for(int i=l+1;i<r and s<=x;i++){
                    if(!dp[i][r]) win=true;
                    s+=v[i];
                }
            }
            // right
            {
                ll s=v[r-1];
                for(int i=r-1;i>l and s<=x;i--){
                    if(!dp[l][i]) win=true;
                    s+=v[i-1];
                }
            }
            dp[l][r]=win;
        }
    }
    cout<<(dp[0][n]?"A":"B")<<endl;
}

signed main(){
    // naive();
    solve();
    return 0;
}
0