結果

問題 No.2890 Chiffon
ユーザー shkiiii_shkiiii_
提出日時 2024-09-15 17:31:08
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 1,988 ms / 2,000 ms
コード長 2,760 bytes
コンパイル時間 2,335 ms
コンパイル使用メモリ 209,304 KB
実行使用メモリ 370,316 KB
最終ジャッジ日時 2024-09-15 17:32:07
合計ジャッジ時間 56,985 ms
ジャッジサーバーID
（参考情報） 		judge6 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,940 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 AC 2 ms
6,944 KB
testcase_04 AC 2 ms
6,944 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 2 ms
6,940 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 2 ms
6,940 KB
testcase_10 AC 2 ms
6,944 KB
testcase_11 AC 3 ms
6,940 KB
testcase_12 AC 3 ms
6,940 KB
testcase_13 AC 2 ms
6,940 KB
testcase_14 AC 2 ms
6,944 KB
testcase_15 AC 2 ms
6,940 KB
testcase_16 AC 2 ms
6,940 KB
testcase_17 AC 2 ms
6,940 KB
testcase_18 AC 2 ms
6,940 KB
testcase_19 AC 2 ms
6,944 KB
testcase_20 AC 2 ms
6,940 KB
testcase_21 AC 2 ms
6,940 KB
testcase_22 AC 1,745 ms
370,316 KB
testcase_23 AC 972 ms
199,120 KB
testcase_24 AC 660 ms
157,136 KB
testcase_25 AC 1,476 ms
307,060 KB
testcase_26 AC 1,654 ms
325,844 KB
testcase_27 AC 52 ms
17,280 KB
testcase_28 AC 134 ms
37,120 KB
testcase_29 AC 758 ms
173,908 KB
testcase_30 AC 1,797 ms
350,436 KB
testcase_31 AC 1,461 ms
305,776 KB
testcase_32 AC 75 ms
22,912 KB
testcase_33 AC 1,906 ms
365,640 KB
testcase_34 AC 1,904 ms
365,608 KB
testcase_35 AC 1,941 ms
365,672 KB
testcase_36 AC 1,934 ms
365,660 KB
testcase_37 AC 1,968 ms
365,716 KB
testcase_38 AC 1,925 ms
365,732 KB
testcase_39 AC 1,936 ms
365,672 KB
testcase_40 AC 1,927 ms
365,704 KB
testcase_41 AC 1,988 ms
365,700 KB
testcase_42 AC 1,916 ms
365,600 KB
testcase_43 AC 1,866 ms
365,808 KB
testcase_44 AC 1,838 ms
365,656 KB
testcase_45 AC 1,860 ms
365,708 KB
testcase_46 AC 1,838 ms
365,628 KB
testcase_47 AC 1,893 ms
365,660 KB
testcase_48 AC 1,910 ms
365,628 KB
testcase_49 AC 1,876 ms
365,828 KB
testcase_50 AC 1,918 ms
365,632 KB
testcase_51 AC 1,897 ms
365,812 KB
testcase_52 AC 1,912 ms
365,712 KB
testcase_53 AC 1,674 ms
362,676 KB
testcase_54 AC 1,838 ms
364,640 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