結果

問題 No.644 G L C C D M
ユーザー convexineqconvexineq
提出日時 2021-03-03 20:32:47
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 49 ms / 2,000 ms
コード長 1,376 bytes
コンパイル時間 162 ms
コンパイル使用メモリ 82,900 KB
実行使用メモリ 63,204 KB
最終ジャッジ日時 2024-04-14 12:21:53
合計ジャッジ時間 2,297 ms
ジャッジサーバーID
(参考情報)
judge5 / judge3
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 37 ms
53,584 KB
testcase_01 AC 42 ms
52,724 KB
testcase_02 AC 37 ms
52,136 KB
testcase_03 AC 37 ms
53,656 KB
testcase_04 AC 38 ms
52,968 KB
testcase_05 AC 38 ms
53,628 KB
testcase_06 AC 38 ms
53,132 KB
testcase_07 AC 38 ms
53,884 KB
testcase_08 AC 38 ms
53,360 KB
testcase_09 AC 37 ms
53,800 KB
testcase_10 AC 40 ms
58,988 KB
testcase_11 AC 40 ms
58,488 KB
testcase_12 AC 41 ms
59,016 KB
testcase_13 AC 42 ms
59,284 KB
testcase_14 AC 40 ms
58,832 KB
testcase_15 AC 40 ms
59,956 KB
testcase_16 AC 40 ms
60,048 KB
testcase_17 AC 41 ms
57,848 KB
testcase_18 AC 40 ms
58,060 KB
testcase_19 AC 38 ms
53,204 KB
testcase_20 AC 41 ms
57,696 KB
testcase_21 AC 42 ms
58,840 KB
testcase_22 AC 49 ms
63,204 KB
testcase_23 AC 47 ms
61,244 KB
testcase_24 AC 46 ms
61,024 KB
testcase_25 AC 41 ms
58,900 KB
testcase_26 AC 42 ms
59,244 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

def sum_of_totient(N): 
    R = int(N**0.64)

    # R+1 まで s(i) を前計算
    primes = Eratosthenes(R+1)
    res = list(range(R+1))
    for p in primes:
        for j in range(R//p,0,-1):
            res[j*p] -= res[j]
    from itertools import accumulate
    res = list(accumulate(res))
    # 最終的に、memo[i] = sum_of_totient(N//i)
    S = N//R
    memo = [0]*(S+1)    
    for i in range(S,0,-1):
        x = N//i
        rx = int(x**0.5)
        ans = x*(x+1)//2
        # 漸化式 \sum(s(N/i)) = n*(n+1)//2 を使う
        # floor(N/i) = c となる部分をまとめて計算
        #print(ans)
        for c in range(1,rx):
            ans -= (x//c - x//(c+1))*res[c]
        # そうじゃない部分を個別に計算
        # N//i//j = N//(i*j)
        for j in range(2,x//rx+1):
            if i*j <= S: ans -= memo[i*j]
            else: ans -= res[x//j]

        memo[i] = ans
    return memo[1]

def Eratosthenes(N): #N以下の素数のリストを返す
    N+=1
    is_prime_list = [True]*N
    m = int(N**0.5)+1
    for i in range(3,m,2):
        if is_prime_list[i]:
            is_prime_list[i*i::2*i]=[False]*((N-i*i-1)//(2*i)+1)
    return [2] + [i for i in range(3,N,2) if is_prime_list[i]]

n,m = map(int,input().split())
ans = 0 if m > n else 2*(sum_of_totient(n//m)-1)
for i in range(n-2):
    ans = ans*(i+1)%1000000007
print(ans)
0