結果

問題 No.1276 3枚のカード
ユーザー ayaoniayaoni
提出日時 2020-10-30 23:46:07
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 907 ms / 2,000 ms
コード長 984 bytes
コンパイル時間 933 ms
コンパイル使用メモリ 87,004 KB
実行使用メモリ 78,268 KB
最終ジャッジ日時 2023-09-29 08:51:32
合計ジャッジ時間 32,999 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 73 ms
71,628 KB
testcase_01 AC 70 ms
71,668 KB
testcase_02 AC 69 ms
71,592 KB
testcase_03 AC 71 ms
71,860 KB
testcase_04 AC 70 ms
71,908 KB
testcase_05 AC 69 ms
71,444 KB
testcase_06 AC 70 ms
71,840 KB
testcase_07 AC 70 ms
71,600 KB
testcase_08 AC 70 ms
71,752 KB
testcase_09 AC 71 ms
71,436 KB
testcase_10 AC 783 ms
77,772 KB
testcase_11 AC 423 ms
77,844 KB
testcase_12 AC 512 ms
78,012 KB
testcase_13 AC 530 ms
77,812 KB
testcase_14 AC 138 ms
78,020 KB
testcase_15 AC 448 ms
77,968 KB
testcase_16 AC 846 ms
77,632 KB
testcase_17 AC 501 ms
77,888 KB
testcase_18 AC 406 ms
77,716 KB
testcase_19 AC 592 ms
77,800 KB
testcase_20 AC 389 ms
77,868 KB
testcase_21 AC 402 ms
77,796 KB
testcase_22 AC 855 ms
78,004 KB
testcase_23 AC 133 ms
77,692 KB
testcase_24 AC 574 ms
78,024 KB
testcase_25 AC 256 ms
77,584 KB
testcase_26 AC 681 ms
78,084 KB
testcase_27 AC 759 ms
77,844 KB
testcase_28 AC 733 ms
77,784 KB
testcase_29 AC 468 ms
78,064 KB
testcase_30 AC 174 ms
77,616 KB
testcase_31 AC 134 ms
77,464 KB
testcase_32 AC 270 ms
77,888 KB
testcase_33 AC 110 ms
77,600 KB
testcase_34 AC 217 ms
77,848 KB
testcase_35 AC 210 ms
77,720 KB
testcase_36 AC 107 ms
78,168 KB
testcase_37 AC 205 ms
77,612 KB
testcase_38 AC 177 ms
77,788 KB
testcase_39 AC 286 ms
77,892 KB
testcase_40 AC 836 ms
77,848 KB
testcase_41 AC 719 ms
77,868 KB
testcase_42 AC 748 ms
77,912 KB
testcase_43 AC 666 ms
78,268 KB
testcase_44 AC 902 ms
77,628 KB
testcase_45 AC 828 ms
77,696 KB
testcase_46 AC 838 ms
77,720 KB
testcase_47 AC 694 ms
78,072 KB
testcase_48 AC 675 ms
78,204 KB
testcase_49 AC 755 ms
77,816 KB
testcase_50 AC 817 ms
77,904 KB
testcase_51 AC 718 ms
77,504 KB
testcase_52 AC 635 ms
77,892 KB
testcase_53 AC 722 ms
77,888 KB
testcase_54 AC 813 ms
77,796 KB
testcase_55 AC 655 ms
77,812 KB
testcase_56 AC 634 ms
77,892 KB
testcase_57 AC 784 ms
77,616 KB
testcase_58 AC 815 ms
77,892 KB
testcase_59 AC 729 ms
77,696 KB
testcase_60 AC 907 ms
77,696 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys

sys.setrecursionlimit(10**7)
def I(): return int(sys.stdin.readline().rstrip())
def MI(): return map(int,sys.stdin.readline().rstrip().split())
def LI(): return list(map(int,sys.stdin.readline().rstrip().split()))
def LI2(): return list(map(int,sys.stdin.readline().rstrip()))
def S(): return sys.stdin.readline().rstrip()
def LS(): return list(sys.stdin.readline().rstrip().split())
def LS2(): return list(sys.stdin.readline().rstrip())


N = I()
mod = 10**9+7

if N == 3:
    print(0)
    exit()


def f(M):
    if M == 0:
        return 0
    res = 0
    for i in range(1,int(M**.5)+1):
        res += M//i
        res %= mod
    res *= 2
    res %= mod
    res -= int(M**.5)**2
    res %= mod
    return res


ans = 0
for x in range(2,int(N**.5)+1):
    y = N//(x+1)
    z = N//x
    ans += (x-1)*(N+1-x)*(z-y)
    ans %= mod
    ans -= (x-1)*(f(z)-f(y))
    ans %= mod

for b in range(1,y+1):
    ans += ((N//b)-1)*(N+1-(N//b)-f(b)+f(b-1))
    ans %= mod

print(ans)
0