結果

問題 No.911 ラッキーソート
ユーザー HaarHaar
提出日時 2019-10-18 23:26:24
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 391 ms / 2,000 ms
コード長 3,890 bytes
コンパイル時間 2,502 ms
コンパイル使用メモリ 213,732 KB
実行使用メモリ 36,640 KB
最終ジャッジ日時 2023-09-08 02:42:54
合計ジャッジ時間 11,055 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 3 ms
4,380 KB
testcase_03 AC 2 ms
4,376 KB
testcase_04 AC 2 ms
4,376 KB
testcase_05 AC 2 ms
4,376 KB
testcase_06 AC 3 ms
4,376 KB
testcase_07 AC 2 ms
4,376 KB
testcase_08 AC 2 ms
4,376 KB
testcase_09 AC 3 ms
4,376 KB
testcase_10 AC 3 ms
4,380 KB
testcase_11 AC 3 ms
4,376 KB
testcase_12 AC 2 ms
4,376 KB
testcase_13 AC 391 ms
36,640 KB
testcase_14 AC 380 ms
36,292 KB
testcase_15 AC 365 ms
34,676 KB
testcase_16 AC 371 ms
34,448 KB
testcase_17 AC 375 ms
35,316 KB
testcase_18 AC 363 ms
34,260 KB
testcase_19 AC 366 ms
34,332 KB
testcase_20 AC 346 ms
31,464 KB
testcase_21 AC 296 ms
27,484 KB
testcase_22 AC 272 ms
24,488 KB
testcase_23 AC 275 ms
23,232 KB
testcase_24 AC 239 ms
21,228 KB
testcase_25 AC 130 ms
12,548 KB
testcase_26 AC 130 ms
12,088 KB
testcase_27 AC 51 ms
6,328 KB
testcase_28 AC 26 ms
4,676 KB
testcase_29 AC 11 ms
4,376 KB
testcase_30 AC 3 ms
4,380 KB
testcase_31 AC 2 ms
4,380 KB
testcase_32 AC 3 ms
4,380 KB
testcase_33 AC 3 ms
4,376 KB
testcase_34 AC 3 ms
4,376 KB
testcase_35 AC 3 ms
4,376 KB
testcase_36 AC 3 ms
4,380 KB
testcase_37 AC 2 ms
4,376 KB
testcase_38 AC 374 ms
35,708 KB
testcase_39 AC 277 ms
24,116 KB
testcase_40 AC 10 ms
4,376 KB
testcase_41 AC 344 ms
32,064 KB
testcase_42 AC 198 ms
18,320 KB
testcase_43 AC 380 ms
36,376 KB
testcase_44 AC 43 ms
7,916 KB
testcase_45 AC 44 ms
7,812 KB
testcase_46 AC 43 ms
7,116 KB
testcase_47 AC 43 ms
8,008 KB
testcase_48 AC 41 ms
7,280 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