結果
問題 | No.1276 3枚のカード |
ユーザー |
![]() |
提出日時 | 2020-10-31 02:58:11 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 1,854 ms / 2,000 ms |
コード長 | 667 bytes |
コンパイル時間 | 281 ms |
コンパイル使用メモリ | 82,708 KB |
実行使用メモリ | 75,904 KB |
最終ジャッジ日時 | 2024-07-22 04:27:24 |
合計ジャッジ時間 | 56,179 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 61 |
ソースコード
mod = 10 ** 9 + 7 n = int(input()) def s1(n): rv = 0 i = 1 while i <= n: v = n // i ni = n // v + 1 rv += (ni - i) * v rv %= mod i = ni return rv cnt1 = s1(n) def s2(n): rv = 0 i = 1 while i <= n: v = n // i ni = n // v + 1 rv += (ni - i) * v * v rv %= mod i = ni return rv cnt2 = s2(n) def s3(n): rv = 0 i = 1 while i <= n: v = n // i ni = n // v + 1 rv += (ni - i) * s1(v) rv %= mod i = ni return rv cnt3 = s3(n) ans = n * cnt1 - cnt2 - cnt3 + cnt1 ans -= n * n - 2 * cnt1 + n print(ans % mod)