結果

問題 No.407 鴨等素数間隔列の数え上げ
コンテスト
ユーザー はむ吉🐹
提出日時 2016-07-10 17:21:39
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 263 ms / 1,000 ms
コード長 1,006 bytes
コンパイル時間 435 ms
コンパイル使用メモリ 82,416 KB
実行使用メモリ 88,832 KB
最終ジャッジ日時 2024-12-15 13:50:32
合計ジャッジ時間 3,938 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 31
権限があれば一括ダウンロードができます

ソースコード

diff # 

#!/usr/bin/env pypy3

# 制約再変更後の想定解
# 以前のWriter解はリジャッジでREまたはTLEとなるはず

import array

MIN_N = 3
MAX_N = 10 ** 6
MIN_L = 1
MAX_L = 2 * 10 ** 7


def sieve_of_eratosthenes(end, typecode="L"):
    assert end > 1
    is_prime = array.array("B", (True for i in range(end)))
    is_prime[0] = False
    is_prime[1] = False
    primes = array.array(typecode)
    for i in range(2, end):
        if is_prime[i]:
            primes.append(i)
            for j in range(2 * i, end, i):
                is_prime[j] = False
    return primes


def count_sequences(n, l):
    def x_max(d):
        return l - (n - 1) * d
    d_max = l // (n - 1)
    if d_max < 2:
        return 0
    ds = sieve_of_eratosthenes(d_max + 1)
    ans = sum(x_max(d) + 1 for d in ds)
    return ans


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


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