結果

問題 No.407 鴨等素数間隔列の数え上げ
ユーザー はむ吉🐹はむ吉🐹
提出日時 2016-07-09 13:43:24
言語 PyPy3
(7.3.15)
結果
TLE  
(最新)
AC  
(最初)
実行時間 -
コード長 1,669 bytes
コンパイル時間 606 ms
コンパイル使用メモリ 81,920 KB
実行使用メモリ 151,052 KB
最終ジャッジ日時 2024-10-13 10:19:06
合計ジャッジ時間 9,849 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 38 ms
52,480 KB
testcase_01 AC 37 ms
52,480 KB
testcase_02 AC 39 ms
52,224 KB
testcase_03 AC 140 ms
77,564 KB
testcase_04 AC 38 ms
52,480 KB
testcase_05 AC 641 ms
75,776 KB
testcase_06 AC 322 ms
75,392 KB
testcase_07 AC 39 ms
52,352 KB
testcase_08 AC 39 ms
52,480 KB
testcase_09 AC 39 ms
52,352 KB
testcase_10 AC 38 ms
52,608 KB
testcase_11 AC 37 ms
51,876 KB
testcase_12 AC 39 ms
52,608 KB
testcase_13 AC 45 ms
60,544 KB
testcase_14 AC 55 ms
71,552 KB
testcase_15 AC 38 ms
52,096 KB
testcase_16 AC 43 ms
59,392 KB
testcase_17 AC 45 ms
59,136 KB
testcase_18 AC 44 ms
59,392 KB
testcase_19 AC 172 ms
85,204 KB
testcase_20 AC 384 ms
98,876 KB
testcase_21 AC 58 ms
72,192 KB
testcase_22 AC 64 ms
75,264 KB
testcase_23 AC 185 ms
75,496 KB
testcase_24 AC 155 ms
75,752 KB
testcase_25 AC 613 ms
117,268 KB
testcase_26 AC 291 ms
75,420 KB
testcase_27 AC 39 ms
52,352 KB
testcase_28 AC 139 ms
75,648 KB
testcase_29 AC 367 ms
75,520 KB
testcase_30 AC 58 ms
72,704 KB
testcase_31 AC 316 ms
75,256 KB
testcase_32 AC 510 ms
96,284 KB
testcase_33 TLE -
testcase_34 TLE -
testcase_35 AC 888 ms
112,676 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#!/usr/bin/env pypy3

# 制約変更後の想定解
# 以前の#101936はリジャッジでAssertionErrorとなるはず

import array
import itertools


MIN_N = 3
MAX_N = 10 ** 6
MIN_L = 1
MAX_L = 5 * 10 ** 6


# Eratosthenesの篩により、素数を列挙する
# is_prime[i] (0 <= i < end)： iは素数か？
def sieve_of_eratosthenes(end):
    assert end > 1
    is_prime = array.array("B", (True for _ in range(end)))
    is_prime[0] = False
    is_prime[1] = False
    for i in range(2, end):
        if is_prime[i]:
            for j in range(2 * i, end, i):
                is_prime[j] = False
    return is_prime


# 素数計数関数π(x)の0 <= x <= lastに対する値をまとめた表を返す
# 上のsieve_of_eratosthenesとは区間のとり方が異なる
def pcf_table(last, typecode="L"):
    assert last >= 1
    is_prime = sieve_of_eratosthenes(last + 1)
    # 式 pcf[i] = pcf[i - 1] + f(i)により表を作る
    # ただし、f(i)はiが素数なら1、さもなければ0とする
    pcf = array.array(typecode, itertools.accumulate(is_prime))
    return pcf


# 等素数間隔列を数える
def count_seqs(n, l):
    # dの候補は1 <= d <= d_max(x0)
    def d_max(x0): return (l - x0) // (n - 1)
    # x0の候補は0 <= x0 <= x0_max
    x0_max = l - n + 1
    # 可能なx0が存在しなければ、答えは0
    if x0_max < 0:
        return 0
    pcf = pcf_table(max(1, d_max(0)))
    return sum(pcf[d_max(x0)] for x0 in range(0, x0_max + 1))


def main():
    n, l = map(int, input().split())
    assert MIN_N <= n <= MAX_N
    # assert MIN_L <= l <= MAX_L
    print(count_seqs(n, l))


if __name__ == '__main__':
    main()
0