結果
問題 | No.8046 yukicoderの過去問 |
ユーザー | risujiroh |
提出日時 | 2019-04-02 03:08:42 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 1,760 ms / 2,000 ms |
コード長 | 921 bytes |
コンパイル時間 | 2,344 ms |
コンパイル使用メモリ | 184,948 KB |
実行使用メモリ | 6,820 KB |
最終ジャッジ日時 | 2024-11-27 11:45:27 |
合計ジャッジ時間 | 11,613 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,816 KB |
testcase_01 | AC | 2 ms
6,816 KB |
testcase_02 | AC | 2 ms
6,816 KB |
testcase_03 | AC | 1,748 ms
6,816 KB |
testcase_04 | AC | 2 ms
6,816 KB |
testcase_05 | AC | 1,754 ms
6,816 KB |
testcase_06 | AC | 1,760 ms
6,820 KB |
testcase_07 | AC | 1,748 ms
6,820 KB |
testcase_08 | AC | 1,746 ms
6,820 KB |
ソースコード
#pragma GCC optimize ("Ofast,unroll-loops") #pragma GCC target ("avx") #include <bits/stdc++.h> using namespace std; using lint = long long; template<class T = int> using V = vector<T>; template<class T = int> using VV = V< V<T> >; #ifdef __linux__ #define getchar getchar_unlocked #define putchar putchar_unlocked #endif int read_int(){int c,r;while((c=getchar())<48);r=c-48;while((c=getchar())>47)r=r*10+c-48;return r;} void write_int(int x){int b[10],*p=b;do*p++=48+x%10,x/=10;while(x);do putchar(*--p);while(p>b);} constexpr int mod = 1e9 + 7; int main() { int k = read_int(); int n = read_int(); V<> f(1e5 + 1); for (int i = 0; i < n; ++i) { f[read_int()] = 1; } V<> dp(k + 1); dp[0] = 1; for (int i = 0; i < k; ++i) { const int c = dp[i]; for (int x = 0; i + x <= k; ++x) { dp[i + x] += f[x] * c; dp[i + x] -= (dp[i + x] >= mod) * mod; } } cout << dp[k] << '\n'; }