結果

問題 No.911 ラッキーソート
ユーザー HaarHaar
提出日時 2019-10-18 23:26:24
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 403 ms / 2,000 ms
コード長 3,890 bytes
コンパイル時間 2,625 ms
コンパイル使用メモリ 216,652 KB
実行使用メモリ 36,972 KB
最終ジャッジ日時 2024-06-25 19:51:07
合計ジャッジ時間 11,461 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 3 ms
5,376 KB
testcase_03 AC 3 ms
5,376 KB
testcase_04 AC 3 ms
5,376 KB
testcase_05 AC 3 ms
5,376 KB
testcase_06 AC 3 ms
5,376 KB
testcase_07 AC 3 ms
5,376 KB
testcase_08 AC 3 ms
5,376 KB
testcase_09 AC 3 ms
5,376 KB
testcase_10 AC 3 ms
5,376 KB
testcase_11 AC 3 ms
5,376 KB
testcase_12 AC 3 ms
5,376 KB
testcase_13 AC 403 ms
36,972 KB
testcase_14 AC 392 ms
36,376 KB
testcase_15 AC 379 ms
34,684 KB
testcase_16 AC 382 ms
34,588 KB
testcase_17 AC 387 ms
35,480 KB
testcase_18 AC 382 ms
34,456 KB
testcase_19 AC 382 ms
34,584 KB
testcase_20 AC 355 ms
31,632 KB
testcase_21 AC 310 ms
27,488 KB
testcase_22 AC 281 ms
24,736 KB
testcase_23 AC 283 ms
23,516 KB
testcase_24 AC 250 ms
21,324 KB
testcase_25 AC 135 ms
12,868 KB
testcase_26 AC 134 ms
12,444 KB
testcase_27 AC 52 ms
6,444 KB
testcase_28 AC 28 ms
5,376 KB
testcase_29 AC 11 ms
5,376 KB
testcase_30 AC 4 ms
5,376 KB
testcase_31 AC 3 ms
5,376 KB
testcase_32 AC 3 ms
5,376 KB
testcase_33 AC 3 ms
5,376 KB
testcase_34 AC 3 ms
5,376 KB
testcase_35 AC 3 ms
5,376 KB
testcase_36 AC 3 ms
5,376 KB
testcase_37 AC 3 ms
5,376 KB
testcase_38 AC 389 ms
35,872 KB
testcase_39 AC 282 ms
24,108 KB
testcase_40 AC 11 ms
5,376 KB
testcase_41 AC 357 ms
32,260 KB
testcase_42 AC 200 ms
18,328 KB
testcase_43 AC 393 ms
36,508 KB
testcase_44 AC 41 ms
8,092 KB
testcase_45 AC 41 ms
7,964 KB
testcase_46 AC 40 ms
7,444 KB
testcase_47 AC 41 ms
8,084 KB
testcase_48 AC 38 ms
7,444 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#define LLI long long int
#define FOR(v, a, b) for(LLI v = (a); v < (b); ++v)
#define FORE(v, a, b) for(LLI v = (a); v <= (b); ++v)
#define REP(v, n) FOR(v, 0, n)
#define REPE(v, n) FORE(v, 0, n)
#define REV(v, a, b) for(LLI v = (a); v >= (b); --v)
#define ALL(x) (x).begin(), (x).end()
#define RALL(x) (x).rbegin(), (x).rend()
#define ITR(it, c) for(auto it = (c).begin(); it != (c).end(); ++it)
#define RITR(it, c) for(auto it = (c).rbegin(); it != (c).rend(); ++it)
#define EXIST(c,x) ((c).find(x) != (c).end())
#define fst first
#define snd second
#define popcount __builtin_popcount
#define UNIQ(v) (v).erase(unique(ALL(v)), (v).end())
#define bit(i) (1LL<<(i))

#ifdef DEBUG
#include <misc/C++/Debug.cpp>
#else
#define dump(...) ((void)0)
#endif

#define gcd __gcd

using namespace std;
template <class T> constexpr T lcm(T m, T n){return m/gcd(m,n)*n;}

template <typename I> void join(ostream &ost, I s, I t, string d=" "){for(auto i=s; i!=t; ++i){if(i!=s)ost<<d; ost<<*i;}ost<<endl;}
template <typename T> istream& operator>>(istream &is, vector<T> &v){for(auto &a : v) is >> a; return is;}

template <typename T, typename U> bool chmin(T &a, const U &b){return (a>b ? a=b, true : false);}
template <typename T, typename U> bool chmax(T &a, const U &b){return (a<b ? a=b, true : false);}
template <typename T, size_t N, typename U> void fill_array(T (&a)[N], const U &v){fill((U*)a, (U*)(a+N), v);}

struct Init{
  Init(){
    cin.tie(0);
    ios::sync_with_stdio(false);
  }
}init;



template <int N>
string bin_to_str(LLI val){
  stringstream ss;
  ss << bitset<N>(val);
  return ss.str();
}


// dp[digit number][x > L][x < R]
LLI dp[64][2][2];


LLI solve(int N, LLI L, LLI R, vector<LLI> A){

  vector<bool> pattern_0(61), pattern_1(61), pattern_both(61);

  REP(i,N){
    dump(bitset<30>(A[i]));
  }
  
  vector<vector<int>> sep(62);
  sep[61] = {N};

  REV(i,60,0){
    auto &s = sep[i+1];

    //dump(s);

    int cur = 0;

    int inc = 0, dec = 0;

    for(auto t : s){
      vector<int> temp;
      FOR(j,cur,t){
        temp.push_back((A[j] >> i) & 1);
      }

      //dump(temp);

      int zero = count(ALL(temp), 0);
      int one = temp.size() - zero;
      
      if(zero == 0 or zero == (int)temp.size()){ // all same
      }else{
        if(count(temp.begin(), temp.begin()+zero, 0) == zero){ // increasing
          inc += 1;
          sep[i].push_back(cur+zero);
        }else if(count(temp.begin(), temp.begin()+one, 1) == one){ // decreasing
          dec += 1;
          sep[i].push_back(cur+one);
        }else{
          return 0;
        }
      }

      sep[i].push_back(t);

      cur = t;
    }

    
    if(inc and dec) return 0;

    if(inc){
      pattern_0[i] = true;
    }else if(dec){
      pattern_1[i] = true;
    }else{
      pattern_both[i] = true;
    }
  }

  fill_array(dp, 0);

  dp[0][0][0] = 1;

  string l = bin_to_str<61>(L);
  string r = bin_to_str<61>(R);

  dump(l,r);

  REPE(i,60){
    REP(j,2){
      REP(k,2){
        if(pattern_0[60-i] or pattern_both[60-i]){
          if(j or l[i] == '0'){
            dp[i+1][j][r[i] == '1' or k] += dp[i][j][k];
          }
        }

        if(pattern_1[60-i] or pattern_both[60-i]){
          if(k or r[i] == '1'){
            dp[i+1][l[i] == '0' or j][k] += dp[i][j][k];
          }
        }

      }
    }
  }

  REP(i,61){
    int k = 0;
    if(pattern_0[i]) k += 1;
    if(pattern_1[i]) k += 2;
    if(pattern_both[i]) k += 4;
    cerr << k << " ";
  }

  cerr << endl;

  REP(j,2){
    REP(k,2){
      REPE(i,61){
        cerr << dp[i][j][k] << " ";
      }
      cerr << endl;
    }
    cerr << endl;
  }
  

  LLI ret = 0;

  REP(j,2){
    REP(k,2){
      ret += dp[61][j][k];
    }
  }

  return ret;
}



int main(){
  LLI N,L,R;
  while(cin >> N >> L >> R){
    vector<LLI> A(N); cin >> A;

    cout << solve(N,L,R,A) << endl;
  }


  return 0;
}
0