結果

問題 No.911 ラッキーソート
ユーザー mkawa2
提出日時 2019-11-02 21:18:41
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 971 ms / 2,000 ms
コード長 1,321 bytes
コンパイル時間 342 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 236,576 KB
最終ジャッジ日時 2024-09-14 23:19:42
合計ジャッジ時間 24,741 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 46
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

import sys
sys.setrecursionlimit(10 ** 6)
input = sys.stdin.readline
int1 = lambda x: int(x) - 1
p2D = lambda x: print(*x, sep="\n")
def main():
    def bitdp(lr):
        if not lr: return 0
        dp = [[0] * 2 for _ in range(max_k + 1)]
        dp[0][0] = 1
        for i in range(max_k):
            for f in range(2):
                pre = dp[i][f]
                if pre == 0: continue
                nf = f
                if dig[i] < 1 and (f == 1 or lr[i] == 1):
                    dp[i + 1][nf] += pre
                if dig[i] > -1:
                    if lr[i] == 1: nf = 1
                    dp[i + 1][nf] += pre
        return sum(dp[max_k])
    max_k = 65
    blst = lambda x: list(map(int, list(format(int(x), "b").zfill(max_k))))
    n, l, r = map(int, input().split())
    l = [] if l == 0 else blst(l - 1)
    r = blst(r)
    aa = list(map(blst, input().split()))
    # p2D(aa)
    dig = [0] * max_k  # 1昇順　-1降順　0どちらでも
    for a0, a1 in zip(aa, aa[1:]):
        for i, (a0k, a1k) in enumerate(zip(a0, a1)):
            if a0k != a1k:
                if dig[i] == a0k - a1k:
                    print(0)
                    exit()
                else:
                    dig[i] = a1k - a0k
                    break
    # print(dig)
    print(bitdp(r) - bitdp(l))
main()
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0