結果
問題 | No.140 みんなで旅行 |
ユーザー |
|
提出日時 | 2022-09-07 18:19:00 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 8 ms / 5,000 ms |
コード長 | 647 bytes |
コンパイル時間 | 3,603 ms |
コンパイル使用メモリ | 254,828 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-22 23:37:07 |
合計ジャッジ時間 | 4,541 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 19 |
ソースコード
#include <bits/stdc++.h> #include <atcoder/modint> using namespace std; using Mint = atcoder::modint1000000007; int main() { int N; cin >> N; vector<vector<Mint>> S2(N + 1), C(N + 1); S2[0] = C[0] = {1}; for (int i = 1; i <= N; i++) { S2[i].resize(i + 1); C[i].resize(i + 1); S2[i][0] = 0; S2[i][i] = 1; C[i][0] = C[i][i] = 1; for (int j = 1; j < i; j++) { S2[i][j] = j * S2[i - 1][j] + S2[i - 1][j - 1]; C[i][j] = C[i - 1][j - 1] + C[i - 1][j]; } } Mint ans = 0; for (int i = 0; i <= N; i++) for (int j = 1; j <= i; j++) ans += S2[i][j] * C[N][i] * Mint(j * (j - 1)).pow(N - i); cout << ans.val() << endl; }