結果

問題 No.243 出席番号(2)
ユーザー t98slider
提出日時 2023-01-29 02:11:43
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 662 bytes
コンパイル時間 795 ms
コンパイル使用メモリ 91,484 KB
最終ジャッジ日時 2024-06-29 02:23:01
合計ジャッジ時間 1,613 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
main.cpp: In function 'int main()':
main.cpp:6:10: error: incomplete type 'std::ios' {aka 'std::basic_ios<char>'} used in nested name specifier
    6 |     ios::sync_with_stdio(false);
      |          ^~~~~~~~~~~~~~~
main.cpp:7:5: error: 'cin' was not declared in this scope
    7 |     cin.tie(0);
      |     ^~~
main.cpp:2:1: note: 'std::cin' is defined in header '<iostream>'; did you forget to '#include <iostream>'?
    1 | #include <atcoder/all>
  +++ |+#include <iostream>
    2 | using namespace std;
main.cpp:26:5: error: 'cout' was not declared in this scope
   26 |     cout << ans.val() << '\n';
      |     ^~~~
main.cpp:26:5: note: 'std::cout' is defined in header '<iostream>'; did you forget to '#include <iostream>'?

ソースコード

diff # 

#include <atcoder/all>
using namespace std;
using mint = atcoder::modint1000000007;

int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int n, v, s = 0;
    cin >> n;
    vector<int> cnt(5000);
    vector<mint> fact(n + 1), dp(n + 1);
    fact[0] = dp[0] = 1;
    for(int i = 1; i <= n; i++){
        cin >> v, cnt[v]++;
        fact[i] = fact[i - 1] * i;
    }
    for(int i = 0; i < n; i++){
        if(!cnt[i])continue;
        for(int j = s; j >= 0; j--) dp[j + 1] += dp[j] * cnt[i];
        s++;
    }
    mint ans;
    for(int i = 0; i <= s; i++){
        ans += (i & 1 ? -dp[i] : dp[i]) * fact[n - i]; 
    }
    cout << ans.val() << '\n';
}
0