結果

問題 No.1276 3枚のカード
ユーザー ayaoniayaoni
提出日時 2020-10-30 23:46:07
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 940 ms / 2,000 ms
コード長 984 bytes
コンパイル時間 412 ms
コンパイル使用メモリ 82,204 KB
実行使用メモリ 76,928 KB
最終ジャッジ日時 2024-07-22 03:28:06
合計ジャッジ時間 30,952 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 40 ms
52,352 KB
testcase_01 AC 40 ms
52,096 KB
testcase_02 AC 40 ms
52,224 KB
testcase_03 AC 40 ms
52,736 KB
testcase_04 AC 40 ms
52,608 KB
testcase_05 AC 41 ms
52,096 KB
testcase_06 AC 40 ms
52,096 KB
testcase_07 AC 40 ms
52,608 KB
testcase_08 AC 40 ms
52,480 KB
testcase_09 AC 41 ms
52,224 KB
testcase_10 AC 798 ms
76,672 KB
testcase_11 AC 417 ms
76,160 KB
testcase_12 AC 511 ms
76,160 KB
testcase_13 AC 532 ms
76,032 KB
testcase_14 AC 119 ms
76,160 KB
testcase_15 AC 445 ms
76,160 KB
testcase_16 AC 866 ms
76,620 KB
testcase_17 AC 505 ms
76,416 KB
testcase_18 AC 400 ms
76,288 KB
testcase_19 AC 599 ms
76,928 KB
testcase_20 AC 381 ms
76,672 KB
testcase_21 AC 393 ms
76,032 KB
testcase_22 AC 877 ms
76,416 KB
testcase_23 AC 112 ms
76,484 KB
testcase_24 AC 568 ms
76,416 KB
testcase_25 AC 241 ms
76,160 KB
testcase_26 AC 687 ms
76,616 KB
testcase_27 AC 777 ms
76,416 KB
testcase_28 AC 753 ms
76,288 KB
testcase_29 AC 463 ms
76,416 KB
testcase_30 AC 151 ms
76,416 KB
testcase_31 AC 112 ms
76,416 KB
testcase_32 AC 254 ms
76,416 KB
testcase_33 AC 87 ms
76,800 KB
testcase_34 AC 198 ms
76,672 KB
testcase_35 AC 190 ms
76,928 KB
testcase_36 AC 80 ms
74,624 KB
testcase_37 AC 185 ms
76,416 KB
testcase_38 AC 148 ms
76,484 KB
testcase_39 AC 262 ms
76,416 KB
testcase_40 AC 840 ms
76,672 KB
testcase_41 AC 707 ms
76,160 KB
testcase_42 AC 759 ms
76,416 KB
testcase_43 AC 668 ms
76,288 KB
testcase_44 AC 921 ms
76,160 KB
testcase_45 AC 839 ms
76,672 KB
testcase_46 AC 845 ms
76,488 KB
testcase_47 AC 713 ms
76,288 KB
testcase_48 AC 682 ms
76,032 KB
testcase_49 AC 762 ms
76,160 KB
testcase_50 AC 842 ms
76,928 KB
testcase_51 AC 728 ms
76,288 KB
testcase_52 AC 633 ms
76,416 KB
testcase_53 AC 732 ms
76,416 KB
testcase_54 AC 835 ms
76,160 KB
testcase_55 AC 659 ms
76,416 KB
testcase_56 AC 641 ms
76,556 KB
testcase_57 AC 798 ms
76,544 KB
testcase_58 AC 827 ms
76,160 KB
testcase_59 AC 737 ms
76,672 KB
testcase_60 AC 940 ms
76,032 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