#391733 (C++14) No.911 ラッキーソート

提出ソース

結果

問題	No.911 ラッキーソート
ユーザー	knshnb
提出日時	2019-10-19 13:23:38
言語	C++14 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	50 ms / 2,000 ms
コード長	4,105 bytes
コンパイル時間	3,003 ms
コンパイル使用メモリ	201,112 KB
実行使用メモリ	6,944 KB
最終ジャッジ日時	2024-06-27 02:09:57
合計ジャッジ時間	5,867 ms
ジャッジサーバーID （参考情報）	judge5 / judge2

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 6,812 KB
testcase_01	AC	2 ms 6,940 KB
testcase_02	AC	2 ms 6,940 KB
testcase_03	AC	2 ms 6,940 KB
testcase_04	AC	2 ms 6,940 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,940 KB
testcase_11	AC	2 ms 6,940 KB
testcase_12	AC	2 ms 6,940 KB
testcase_13	AC	46 ms 6,940 KB
testcase_14	AC	47 ms 6,940 KB
testcase_15	AC	48 ms 6,944 KB
testcase_16	AC	48 ms 6,944 KB
testcase_17	AC	47 ms 6,944 KB
testcase_18	AC	47 ms 6,940 KB
testcase_19	AC	48 ms 6,940 KB
testcase_20	AC	48 ms 6,940 KB
testcase_21	AC	50 ms 6,944 KB
testcase_22	AC	49 ms 6,944 KB
testcase_23	AC	45 ms 6,940 KB
testcase_24	AC	42 ms 6,944 KB
testcase_25	AC	29 ms 6,944 KB
testcase_26	AC	20 ms 6,940 KB
testcase_27	AC	12 ms 6,944 KB
testcase_28	AC	6 ms 6,940 KB
testcase_29	AC	3 ms 6,940 KB
testcase_30	AC	2 ms 6,940 KB
testcase_31	AC	2 ms 6,944 KB
testcase_32	AC	2 ms 6,944 KB
testcase_33	AC	2 ms 6,940 KB
testcase_34	AC	2 ms 6,940 KB
testcase_35	AC	2 ms 6,940 KB
testcase_36	AC	2 ms 6,940 KB
testcase_37	AC	2 ms 6,940 KB
testcase_38	AC	47 ms 6,940 KB
testcase_39	AC	47 ms 6,944 KB
testcase_40	AC	3 ms 6,944 KB
testcase_41	AC	47 ms 6,944 KB
testcase_42	AC	32 ms 6,944 KB
testcase_43	AC	47 ms 6,944 KB
testcase_44	AC	46 ms 6,940 KB
testcase_45	AC	48 ms 6,944 KB
testcase_46	AC	48 ms 6,940 KB
testcase_47	AC	46 ms 6,944 KB
testcase_48	AC	47 ms 6,944 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace std;
using namespace __gnu_pbds;
template <class T> using treap = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
using Int = long long;
#define REP(i, n) for (long long i = 0, max_i = (n); i < max_i; i++)
#define REPI(i, a, b) for (long long i = (a), max_i = (b); i < max_i; i++)
#define ALL(obj) begin(obj), end(obj)
#define RALL(obj) rbegin(obj), rend(obj)
#define fi first
#define se second
using ii = pair<Int, Int>;
vector<ii> dirs = {
    {1, 0}, {0, 1}, {-1, 0}, {0, -1},  // 4方向
    {1, 1}, {-1, 1}, {-1, -1}, {1, -1},  // 斜め
    {0, 0},  // 自身
};
Int get_msb(long long x) {
    assert(x != 0);
    return 63 - __builtin_clzll(x);
}
Int get_lsb(long long x) {
    assert(x != 0);
    return __builtin_ctzll(x);
}
template <class T> inline bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } return false; }
template <class T> inline bool chmin(T& a, const T& b) { if (a > b) { a = b; return true; } return false; }
template <class T, class S> vector<T> make_vec(size_t n, S x) { return vector<T>(n, x); }
template <class T, class... Ts> auto make_vec(size_t n, Ts... ts) { return vector<decltype(make_vec<T>(ts...))>(n, make_vec<T>(ts...)); }

// debug
template <class T> ostream& operator<<(ostream& s, const vector<T>& d) { REP (i, d.size()) s << d[i] << (i == d.size() - 1 ? "" : " "); return s; }
template <class T> ostream& operator<<(ostream& s, const vector<vector<T>>& d) { REP (i, d.size()) s << d[i] << (i == d.size() - 1 ? "" : "\n"); return s; }
template <class T, class S> ostream& operator<<(ostream& s, const pair<T, S>& p) { s << "{" << p.first << ", " << p.second << "}"; return s; }
template <class T> ostream& operator<<(ostream& s, const set<T> m) { for (auto it = m.begin(); it != m.end(); it++) { s << *it << (next(it) == m.end() ? "" : "\n"); } return s; }
template <class T> ostream& operator<<(ostream& s, const multiset<T> m) { for (auto it = m.begin(); it != m.end(); it++) { s << *it << (next(it) == m.end() ? "" : "\n"); } return s; }
template <class T, class S> ostream& operator<<(ostream& s, const map<T, S> m) { for (auto it = m.begin(); it != m.end(); it++) { s << *it << (next(it) == m.end() ? "" : "\n"); } return s; }
template <class T, class S> ostream& operator<<(ostream& s, const unordered_map<T, S> m) { for (auto it = m.begin(); it != m.end(); it++) { s << *it << (next(it) == m.end() ? "" : "\n"); } return s; }
#ifdef _MY_DEBUG
    #define dump(...) cerr << "/* " << #__VA_ARGS__ << " :[" << __LINE__ << ":" << __FUNCTION__ << "]" << endl, dump_func(__VA_ARGS__), cerr << "*/\n\n";
#else
    #define dump(...)
    #define endl "\n"
#endif
void dump_func() { cerr << endl; }
template <class Head, class... Tail> void dump_func(Head&& h, Tail&&... t) { cerr << h << (sizeof...(Tail) == 0 ? "" : ", "), dump_func(forward<Tail>(t)...); }

struct Fast { Fast() { cin.tie(nullptr); ios::sync_with_stdio(false); } } fast;
mt19937 rnd(chrono::steady_clock::now().time_since_epoch().count());
constexpr Int MOD = 1000000007;
// *************** TEMPLATE END *************** 

constexpr Int K = 62;
signed main() {
    Int n, L, R; cin >> n >> L >> R;
    vector<Int> a(n); REP (i, n) cin >> a[i];
    auto can = make_vec<bool>(K, 2, true);
    REP (i, n - 1) {
        for (Int k = K - 1; k >= 0; k--) {
            Int s = a[i] >> k & 1, t = a[i + 1] >> k & 1;
            if (s != t) {
                can[k][!s] = false;
                break;
            }
        }
    }
    auto calc = [&](Int lim) -> Int {
        auto dp = make_vec<Int>(K + 1, 2, 0);
        dp[K][0] = 1;
        for (Int k = K - 1; k >= 0; k--) {
            Int lim_bit = lim >> k & 1;
            REP (x, 2) {
                REP (d, (x ? 1 : lim_bit) + 1) {
                    dp[k][x || d < lim_bit] += dp[k + 1][x] * can[k][d];
                }
            }
        }
        return accumulate(ALL(dp[0]), 0LL);
    };
    Int ans = calc(R);
    if (L) ans -= calc(L - 1);
    cout << ans << endl;
}

yukicoder

結果

テストケース

ソースコード