結果

問題 No.1276 3枚のカード
ユーザー ayaoniayaoni
提出日時 2020-10-30 23:46:07
言語 PyPy3
(7.3.8)
結果
AC  
実行時間 940 ms / 2,000 ms
コード長 984 bytes
コンパイル時間 430 ms
使用メモリ 82,684 KB
最終ジャッジ日時 2023-02-21 16:52:45
合計ジャッジ時間 32,962 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge13
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
使用メモリ
testcase_00 AC 81 ms
76,236 KB
testcase_01 AC 83 ms
75,960 KB
testcase_02 AC 82 ms
76,044 KB
testcase_03 AC 82 ms
75,996 KB
testcase_04 AC 82 ms
75,896 KB
testcase_05 AC 83 ms
76,152 KB
testcase_06 AC 83 ms
76,084 KB
testcase_07 AC 83 ms
76,088 KB
testcase_08 AC 83 ms
75,932 KB
testcase_09 AC 82 ms
76,132 KB
testcase_10 AC 811 ms
82,016 KB
testcase_11 AC 446 ms
82,180 KB
testcase_12 AC 535 ms
82,040 KB
testcase_13 AC 555 ms
82,204 KB
testcase_14 AC 161 ms
82,008 KB
testcase_15 AC 477 ms
82,256 KB
testcase_16 AC 875 ms
82,172 KB
testcase_17 AC 529 ms
82,156 KB
testcase_18 AC 428 ms
82,160 KB
testcase_19 AC 622 ms
82,596 KB
testcase_20 AC 412 ms
82,044 KB
testcase_21 AC 424 ms
82,044 KB
testcase_22 AC 887 ms
82,264 KB
testcase_23 AC 153 ms
82,328 KB
testcase_24 AC 595 ms
82,272 KB
testcase_25 AC 279 ms
82,152 KB
testcase_26 AC 708 ms
82,344 KB
testcase_27 AC 793 ms
82,152 KB
testcase_28 AC 767 ms
82,424 KB
testcase_29 AC 491 ms
82,180 KB
testcase_30 AC 190 ms
82,076 KB
testcase_31 AC 152 ms
82,228 KB
testcase_32 AC 293 ms
82,464 KB
testcase_33 AC 130 ms
82,044 KB
testcase_34 AC 235 ms
82,040 KB
testcase_35 AC 233 ms
82,272 KB
testcase_36 AC 127 ms
82,168 KB
testcase_37 AC 222 ms
82,264 KB
testcase_38 AC 187 ms
82,420 KB
testcase_39 AC 301 ms
82,684 KB
testcase_40 AC 853 ms
82,264 KB
testcase_41 AC 726 ms
82,160 KB
testcase_42 AC 777 ms
82,288 KB
testcase_43 AC 690 ms
82,420 KB
testcase_44 AC 931 ms
82,272 KB
testcase_45 AC 858 ms
82,200 KB
testcase_46 AC 856 ms
82,020 KB
testcase_47 AC 726 ms
82,164 KB
testcase_48 AC 716 ms
82,180 KB
testcase_49 AC 776 ms
82,192 KB
testcase_50 AC 848 ms
82,192 KB
testcase_51 AC 747 ms
82,064 KB
testcase_52 AC 659 ms
82,460 KB
testcase_53 AC 748 ms
82,028 KB
testcase_54 AC 848 ms
82,080 KB
testcase_55 AC 681 ms
82,192 KB
testcase_56 AC 662 ms
82,468 KB
testcase_57 AC 818 ms
82,332 KB
testcase_58 AC 840 ms
82,204 KB
testcase_59 AC 754 ms
82,160 KB
testcase_60 AC 940 ms
82,292 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