#ifndef MAIN #define MAIN #include __FILE__ string solve(int n, int d, int k, vector a, vector c) { assert(n >= d && d >= 1 && k >= 1 && n <= 500 && k <= 1000 && *min_element(all(a)) >= -1000000000 && *max_element(all(a)) <= 1000000000 && *min_element(all(c)) >= 0 && *max_element(all(c)) <= 1000000000); vector> dp(d + 1, vector(k + 1, -inf)); dp[0][0] = 0; rep(i, n) { repr(j, d) { repr(l, k + 1) { if (dp[j][l] != -inf) if (dp[j + 1][min(k, l + c[i])] < dp[j][l] + a[i]) dp[j + 1][min(k, l + c[i])] = dp[j][l] + a[i]; } } } int ans = dp[d][k]; if (ans == -inf) { return "No"; } return to_string(ans); } void _main() { cint(n, d, k); cvec(n, a); cvec(n, c); cout << solve(n, d, k, a, c) << endl; } #else #include #include #include using namespace std; typedef long long ll; typedef unsigned long long ull; typedef long double ld; typedef vector strvec; constexpr ll mod10 = 1000000007; constexpr ll mod9 = 998244353; #define int ll #define double ld #define rep(i, n) for (int i = 0; i < (int)(n); i++) #define repf(i, s, n) for (int i = s; i < (int)(n); i++) #define repr(i, n) for (int i = n - 1; i >= 0; i--) #define reprt(i, e, n) for (int i = n - 1; i >= e; i--) #define rep2(i, j, n, m) rep(i, n) rep(j, m) template void __y_input(Args &...arg) { (cin >> ... >> arg); } template void __y_input_vec_1(int p, Args &...args) { (cin >> ... >> args[p]); } template void __y_input_vec_2(int p, int q, Args &...args) { (cin >> ... >> args[p][q]); } template void __y_input_vec_resize(int size, Arg &arg) { arg.resize(size); } template void __y_input_vec_resize_2(int n, int m, vector &arg) { arg.assign(n, Arg_t(m)); } template void __y_input_vec(int n, Args &...args) { (__y_input_vec_resize(n, args), ...); rep(i, n) { (__y_input_vec_1(i, args), ...); } } template void __y_input_vec2(int n, int m, Args &...args) { (__y_input_vec_resize_2(n, m, args), ...); rep2(i, j, n, m) { (__y_input_vec_2(i, j, args), ...); } } template void SyncSort(vector &vec, vector &...args) { vector>> z; rep(i, vec.size()) { z.push_back({vec[i], make_tuple(args.at(i)...)}); } sort(z.begin(), z.end()); rep(i, vec.size()) { vec[i] = z[i].first; tie(args[i]...) = z[i].second; } } #define cint(...) \ int __VA_ARGS__; \ __y_input(__VA_ARGS__) #define cdbl(...) \ double __VA_ARGS__; \ __y_input(__VA_ARGS__) #define cstr(...) \ string __VA_ARGS__; \ __y_input(__VA_ARGS__) #define cit(t, ...) \ t __VA_ARGS__; \ __y_input(__VA_ARGS__) #define cvec(n, ...) \ vector __VA_ARGS__; \ __y_input_vec(n, __VA_ARGS__) #define cvect(t, n, ...) \ vector __VA_ARGS__; \ __y_input_vec(n, __VA_ARGS__) #define cvec2(n, m, ...) \ vector> __VA_ARGS__; \ __y_input_vec2(n, m, __VA_ARGS__) #define cvec2t(t, n, m, ...) \ vector> __VA_ARGS__; \ __y_input_vec2(n, m, __VA_ARGS__) #define cvecs(n, ...) cvect(string, n, __VA_ARGS__) #define yn(bl) (bl ? "Yes" : "No") #define all(v) v.begin(), v.end() template using vec2 = vector>; template using vec3 = vector>>; template constexpr T limit() { return numeric_limits::max(); } constexpr ll inf = limit() / 100; template constexpr T limit(T _) { return numeric_limits::max(); } typedef array xy; typedef array xyz; template inline void sort(T &vec) { return sort(vec.begin(), vec.end()); } template inline void rsort(T &vec) { return sort(vec.rbegin(), vec.rend()); } template inline vector> rotate90(const vector> &vec) { vector> res(vec[0].size(), vector(vec.size())); rep(i, vec.size()) { rep(j, vec[0].size()) { res[j][vec.size() - i - 1] = vec[i][j]; } } return res; } template ostream &operator<<(ostream &os, const vector &vec) { for (T val : vec) { os << val << ' '; } return os; } template vector &operator+=(vector &vec, const T &val) { vec.push_back(val); return vec; } template vector &operator+=(vector &vec, const vector &val) { vec.insert(vec.end(), val.begin(), val.end()); return vec; } template vector &operator+=(vector &vec, const initializer_list &val) { vec.insert(vec.end(), val.begin(), val.end()); return vec; } template vector> operator*(vector &vec, int val) { return vector>(val, vec); } void _main(); signed main() { cin.tie(0); ios_base::sync_with_stdio(false); cout << fixed << setprecision(15); _main(); return 0; } // Libraries Begin class Debugger { ostream &os; public: Debugger(ostream &os) : os{os} {} template Debugger &operator,(T val) { os << val << ' '; return *this; } Debugger &operator,(char val) { os << val; return *this; } template Debugger &operator,(vector vec) { *this, '['; rep(i, vec.size()) { *this, vec[i], ' ', ", "[i + 1 == vec.size()]; } *this, "]\n"; return *this; } template Debugger &operator,(map mp) { *this, "{\n"; for (auto [key, val] : mp) { *this, '\t', key, ": ", val, '\n'; } *this, "}\n"; return *this; } template Debugger &operator,(pair p) { *this, '(', p.first, ", ", p.second, ')'; return *this; } }; Debugger debugger(cerr); map prime_factorize(int n) { map res; for (int i = 2; i * i <= n; i += 1 + i > 2) { while (n % i == 0) { res[i]++; n /= i; } } if (n != 1) { res[n]++; } return res; } // Libraries End // Defines template common_type_t __yc_max(T... args) { return max(initializer_list>{args...}); } template common_type_t __yc_min(T... args) { return min(initializer_list>{args...}); } template vector iota(size_t n, T start = 0) { vector res(n); iota(all(res), start); return res; } #define max(...) __yc_max(__VA_ARGS__) #define min(...) __yc_min(__VA_ARGS__) // Defines End #endif // 自分ここまでよくこのコード書いた! // __ ====^^==== //===\\ ======= ||=====\\ ||====== ||=====\| + // //\\ || // \\ // \\ || \| || || || + // // \\ || || || || || || ||====== ||=====// + // //====\\ || \\ // \\ // || /| || || \\\ + // // \\ || \===// \=====// ||=====// ||====== || \\\ +