結果

問題 No.2890 Chiffon
ユーザー shkiiii_shkiiii_
提出日時 2024-09-15 17:25:08
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
TLE  
(最新)
AC  
(最初)
実行時間 -
コード長 2,751 bytes
コンパイル時間 2,159 ms
コンパイル使用メモリ 209,136 KB
実行使用メモリ 370,464 KB
最終ジャッジ日時 2024-09-26 14:43:52
合計ジャッジ時間 53,324 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 1,565 ms
339,168 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 AC 1 ms
5,376 KB
testcase_11 AC 2 ms
5,376 KB
testcase_12 AC 2 ms
5,376 KB
testcase_13 AC 2 ms
5,376 KB
testcase_14 AC 2 ms
5,376 KB
testcase_15 AC 2 ms
5,376 KB
testcase_16 AC 2 ms
5,376 KB
testcase_17 AC 2 ms
5,376 KB
testcase_18 AC 2 ms
5,376 KB
testcase_19 AC 2 ms
5,376 KB
testcase_20 AC 1 ms
5,376 KB
testcase_21 AC 1 ms
5,376 KB
testcase_22 AC 2 ms
5,376 KB
testcase_23 AC 1,577 ms
370,464 KB
testcase_24 AC 857 ms
199,168 KB
testcase_25 AC 606 ms
157,184 KB
testcase_26 AC 1,356 ms
307,072 KB
testcase_27 AC 1,476 ms
325,724 KB
testcase_28 AC 40 ms
17,152 KB
testcase_29 AC 111 ms
36,992 KB
testcase_30 AC 701 ms
173,864 KB
testcase_31 AC 1,604 ms
350,300 KB
testcase_32 AC 1,321 ms
305,872 KB
testcase_33 AC 59 ms
22,912 KB
testcase_34 AC 1,736 ms
365,756 KB
testcase_35 AC 1,686 ms
365,712 KB
testcase_36 AC 1,706 ms
365,688 KB
testcase_37 TLE -
testcase_38 AC 1,852 ms
365,664 KB
testcase_39 AC 1,723 ms
365,628 KB
testcase_40 AC 1,751 ms
365,552 KB
testcase_41 AC 1,699 ms
365,708 KB
testcase_42 AC 1,783 ms
365,800 KB
testcase_43 AC 1,738 ms
365,628 KB
testcase_44 AC 1,679 ms
365,496 KB
testcase_45 AC 1,669 ms
365,652 KB
testcase_46 AC 1,662 ms
365,808 KB
testcase_47 AC 1,649 ms
365,864 KB
testcase_48 AC 1,672 ms
365,800 KB
testcase_49 AC 1,748 ms
365,796 KB
testcase_50 AC 1,745 ms
365,832 KB
testcase_51 AC 1,747 ms
365,756 KB
testcase_52 AC 1,740 ms
365,796 KB
testcase_53 AC 1,751 ms
365,848 KB
testcase_54 AC 1,547 ms
362,668 KB
testcase_55 AC 1,671 ms
364,568 KB
権限があれば一括ダウンロードができます

ソースコード

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