結果

問題 No.2890 Chiffon
ユーザー shkiiii_shkiiii_
提出日時 2024-09-15 17:31:08
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 1,821 ms / 2,000 ms
コード長 2,760 bytes
コンパイル時間 2,275 ms
コンパイル使用メモリ 207,356 KB
実行使用メモリ 370,336 KB
最終ジャッジ日時 2024-09-26 14:43:43
合計ジャッジ時間 53,228 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
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,598 ms
339,200 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 AC 2 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 1 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 2 ms
5,376 KB
testcase_22 AC 2 ms
5,376 KB
testcase_23 AC 1,595 ms
370,336 KB
testcase_24 AC 882 ms
199,168 KB
testcase_25 AC 625 ms
157,184 KB
testcase_26 AC 1,364 ms
307,200 KB
testcase_27 AC 1,501 ms
325,888 KB
testcase_28 AC 48 ms
17,152 KB
testcase_29 AC 120 ms
37,248 KB
testcase_30 AC 707 ms
173,876 KB
testcase_31 AC 1,661 ms
350,464 KB
testcase_32 AC 1,338 ms
306,048 KB
testcase_33 AC 69 ms
22,912 KB
testcase_34 AC 1,760 ms
365,816 KB
testcase_35 AC 1,821 ms
365,820 KB
testcase_36 AC 1,771 ms
365,692 KB
testcase_37 AC 1,772 ms
365,692 KB
testcase_38 AC 1,777 ms
365,696 KB
testcase_39 AC 1,770 ms
365,692 KB
testcase_40 AC 1,768 ms
365,696 KB
testcase_41 AC 1,774 ms
365,812 KB
testcase_42 AC 1,762 ms
365,692 KB
testcase_43 AC 1,763 ms
365,744 KB
testcase_44 AC 1,690 ms
365,692 KB
testcase_45 AC 1,700 ms
365,692 KB
testcase_46 AC 1,703 ms
365,664 KB
testcase_47 AC 1,688 ms
365,692 KB
testcase_48 AC 1,672 ms
365,640 KB
testcase_49 AC 1,745 ms
365,636 KB
testcase_50 AC 1,756 ms
365,692 KB
testcase_51 AC 1,821 ms
365,696 KB
testcase_52 AC 1,739 ms
365,832 KB
testcase_53 AC 1,698 ms
365,692 KB
testcase_54 AC 1,517 ms
362,596 KB
testcase_55 AC 1,679 ms
364,632 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 = n+1;
  while(r-l > 1){
    static vvi nxt(21,vi(4*n,-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