結果

問題 No.2890 Chiffon
ユーザー shkiiii_shkiiii_
提出日時 2024-09-15 17:20:25
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,748 bytes
コンパイル時間 2,444 ms
コンパイル使用メモリ 207,440 KB
実行使用メモリ 370,444 KB
最終ジャッジ日時 2024-09-15 17:20:47
合計ジャッジ時間 20,613 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

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 ld = long double;
using P = pair<ll,ll>;
using vi = vector<ll>;
using vvi = vector<vi>;
using vvvi = vector<vvi>;
using ve = vector<vector<int>>;
using vb = vector<bool>;
using vvb = vector<vb>;
#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;}
template<typename T> inline bool chmax(T &a,T b){if(a < b){a = b;return true;}return false;}
template<typename T> inline bool chmin(T &a,T b){if(a > b){a = b;return true;}return false;}
ld dist(ld x1,ld y1,ld x2, ld y2){return sqrtl((x1-x2)*(x1-x2)+(y1-y2)*(y1-y2));}


int main(){
  
  ios_base::sync_with_stdio(0), cin.tie(0);
  int n,K;cin >> n >> K;
  vi a(K);cin >> a;
  rep(i,K)a.emplace_back(a[i]+2*n);
  vi rui(4*n);
  rep(i,K)rui[a[i]]++,rui[a[i]+2*n]++;
  rep(i,4*n-1)rui[i+1] += rui[i];
  ll l = 0,r = 2*n;
  vvi nxt(21,vi(4*n,-1));
  while(r-l > 1){
    ll mid = (l + r)/2;
    rep(i,4*n){
      if(i & 1){
        if(i+2*mid >= 4*n)nxt[0][i] = -1;
        else if(rui[i+2*mid]-rui[i] > 1){
          nxt[0][i] = -1;
        }else if(rui[i+2*mid]-rui[i] == 1){
          nxt[0][i] = i+2*mid;
        }else{
          int idx = LB(a,i+2*mid);
          if(idx < sz(a))nxt[0][i] = a[idx];
          else nxt[0][i] = -1;
        }
      }
    }
    rep(i,20)rep(j,4*n){
      if(!(j & 1))break;
      if(nxt[i][j] == -1)nxt[i+1][j] = -1;
      else nxt[i+1][j] = nxt[i][nxt[i][j]];
    }
    bool is = false;
    rep(i,2*n){
      if(!(i & 1))continue;
      int k = i;
      for(int j = 20;j >= 0;j--){
        if(K >> j & 1){
          k = nxt[j][k];
          if(k == -1)break;
        }
      }
      if(k != -1 && k <= i+2*n){
        is = true;break;
      }
    }
    if(is)l = mid;
    else r = mid;
  }
  cout << 2*l << "\n";
  

  return 0;
}
0