結果

問題 No.911 ラッキーソート
ユーザー 草苺奶昔草苺奶昔
提出日時 2024-09-09 01:01:42
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 173 ms / 2,000 ms
コード長 1,706 bytes
コンパイル時間 239 ms
コンパイル使用メモリ 12,672 KB
実行使用メモリ 36,712 KB
最終ジャッジ日時 2024-09-09 01:01:51
合計ジャッジ時間 8,750 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 32 ms
10,752 KB
testcase_01 AC 31 ms
10,624 KB
testcase_02 AC 30 ms
10,752 KB
testcase_03 AC 31 ms
10,880 KB
testcase_04 AC 30 ms
10,880 KB
testcase_05 AC 30 ms
10,880 KB
testcase_06 AC 31 ms
10,752 KB
testcase_07 AC 30 ms
10,880 KB
testcase_08 AC 30 ms
10,752 KB
testcase_09 AC 31 ms
10,880 KB
testcase_10 AC 30 ms
10,880 KB
testcase_11 AC 31 ms
10,880 KB
testcase_12 AC 31 ms
10,880 KB
testcase_13 AC 164 ms
34,948 KB
testcase_14 AC 164 ms
33,796 KB
testcase_15 AC 170 ms
32,640 KB
testcase_16 AC 173 ms
35,200 KB
testcase_17 AC 169 ms
35,068 KB
testcase_18 AC 170 ms
34,932 KB
testcase_19 AC 167 ms
34,148 KB
testcase_20 AC 167 ms
32,816 KB
testcase_21 AC 168 ms
34,016 KB
testcase_22 AC 166 ms
33,120 KB
testcase_23 AC 157 ms
31,060 KB
testcase_24 AC 147 ms
29,840 KB
testcase_25 AC 104 ms
22,020 KB
testcase_26 AC 85 ms
19,740 KB
testcase_27 AC 56 ms
15,140 KB
testcase_28 AC 43 ms
12,880 KB
testcase_29 AC 34 ms
11,392 KB
testcase_30 AC 31 ms
10,880 KB
testcase_31 AC 31 ms
10,752 KB
testcase_32 AC 30 ms
10,880 KB
testcase_33 AC 30 ms
10,752 KB
testcase_34 AC 30 ms
10,752 KB
testcase_35 AC 30 ms
10,752 KB
testcase_36 AC 31 ms
10,752 KB
testcase_37 AC 31 ms
10,752 KB
testcase_38 AC 168 ms
35,200 KB
testcase_39 AC 164 ms
33,596 KB
testcase_40 AC 34 ms
11,264 KB
testcase_41 AC 168 ms
33,820 KB
testcase_42 AC 119 ms
24,836 KB
testcase_43 AC 167 ms
34,052 KB
testcase_44 AC 122 ms
32,768 KB
testcase_45 AC 128 ms
36,712 KB
testcase_46 AC 124 ms
34,388 KB
testcase_47 AC 127 ms
33,100 KB
testcase_48 AC 120 ms
35,520 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

# No.911 ラッキーソート
# https://yukicoder.me/problems/no/911/editorial
# 给定一个所有元素都不同的数组.
# 你可以对数组进行任意一次操作：
# 从[L, R]中选择一个数，所有数异或上这个数.
# 问有多少种方案，使得数组变成严格递增.
#
# n<=2e5.
# 按位填，通过计算msb，发现四种情况：
# 1.必须1
# 2.必须0
# 3.0和1都不可以
# 4.0和1都可以

from functools import lru_cache
import sys

sys.setrecursionlimit(int(1e6))
input = lambda: sys.stdin.readline().rstrip("\r\n")
MOD = 998244353
INF = int(4e18)

if __name__ == "__main__":
    N, L, R = map(int, input().split())
    A = list(map(int, input().split()))

    status = [-1] * 64  # 0: 0, 1: 1, -1: 0 or 1

    def calc_bitwise_status() -> bool:
        for a, b in zip(A, A[1:]):
            msb = (a ^ b).bit_length() - 1
            if (a >> msb) & 1 == 0:
                if status[msb] == 1:
                    return False
                status[msb] = 0
            else:
                if status[msb] == 0:
                    return False
                status[msb] = 1
        return True

    if not calc_bitwise_status():
        print(0)
        exit()

    # 根据每个位选/不选，数位dp计算方案数
    @lru_cache(None)
    def dfs(v: int, bit: int) -> int:
        if v < 0:
            return 0
        if bit == 63:
            return 1
        s = status[bit]
        if s == 0:
            return dfs(v // 2, bit + 1)
        if s == 1:
            return dfs((v - 1) // 2, bit + 1)
        return dfs(v // 2, bit + 1) + dfs((v - 1) // 2, bit + 1)

    res1, res2 = dfs(R, 0), dfs(L - 1, 0)
    dfs.cache_clear()
    print(res1 - res2)
0