結果
問題 | No.1276 3枚のカード |
ユーザー |
![]() |
提出日時 | 2020-10-31 02:49:04 |
言語 | PyPy3 (7.3.15) |
結果 |
WA
|
実行時間 | - |
コード長 | 698 bytes |
コンパイル時間 | 183 ms |
コンパイル使用メモリ | 82,164 KB |
実行使用メモリ | 75,896 KB |
最終ジャッジ日時 | 2024-07-22 04:24:09 |
合計ジャッジ時間 | 52,645 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | WA * 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 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 i = ni return rv cnt2 = s2(n) # (a,b,c) s.t. a|b|c<=n corresponds to (x,y,z) s.t. xyz <= n def s3(n): rv = 0 i = 1 while i <= n: v = n // i ni = n // v + 1 rv += (ni - i) * s1(v) i = ni return rv cnt3 = s3(n) print(cnt1, cnt2, cnt3) ans = n * cnt1 - cnt2 - cnt3 + cnt1 ans -= n * n - 2 * cnt1 + n print(ans % mod)