結果
| 問題 | No.1126 SUM |
| ユーザー |
a01sa01to
|
| 提出日時 | 2026-01-10 00:16:16 |
| 言語 | C++23 (gcc 15.2.0 + boost 1.89.0) |
| 結果 |
AC
|
| 実行時間 | 6 ms / 1,000 ms |
| コード長 | 687 bytes |
| 記録 | |
| コンパイル時間 | 3,238 ms |
| コンパイル使用メモリ | 337,792 KB |
| 実行使用メモリ | 7,848 KB |
| 最終ジャッジ日時 | 2026-01-10 00:16:23 |
| 合計ジャッジ時間 | 4,398 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 26 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
#define rep(i, n) for (int i = 0; i < (n); ++i)
using ll = long long;
using ull = unsigned long long;
#include <atcoder/modint>
using mint = atcoder::modint1000000007;
int main() {
cin.tie(nullptr)->sync_with_stdio(false);
constexpr int xx = 100'000;
vector<mint> fact(xx + 1, 1);
for (int i = 1; i <= xx; ++i) fact[i] = fact[i - 1] * i;
vector<mint> factinv(xx + 1);
factinv[xx] = fact[xx].inv();
for (int i = xx; i > 0; --i) factinv[i - 1] = factinv[i] * i;
int n, m;
cin >> n >> m;
mint ans = 0;
for (int r = n; r <= m; ++r) ans += fact[r] * factinv[r - n] * factinv[n];
cout << ans.val() << '\n';
return 0;
}
a01sa01to