/* #region Head */ #include using namespace std; using ll = long long; using ull = unsigned long long; using pll = pair; using vll = vector; using vvll = vector; using vd = vector; using vvd = vector; using vs = vector; using vvs = vector; #define REP(i, m, n) for (ll i = (m), i##_len = (ll)(n); i < i##_len; ++(i)) #define REPM(i, m, n) for (ll i = (m), i##_max = (ll)(n); i <= i##_max; ++(i)) #define REPR(i, m, n) for (ll i = (m), i##_min = (ll)(n); i >= i##_min; --(i)) #define REPD(i, m, n, d) for (ll i = (m), i##_len = (ll)(n); i < i##_len; i += (d)) #define REPMD(i, m, n, d) for (ll i = (m), i##_max = (ll)(n); i <= i##_max; i += (d)) #define REPI(itr, ds) for (auto itr = ds.begin(); itr != ds.end(); itr++) #define ALL(x) begin(x), end(x) #define SIZE(x) ((ll)(x).size()) constexpr ll INF = 1'010'000'000'000'000'017LL; constexpr ll MOD = 1'000'000'007LL; // 1e9 + 7 constexpr double EPS = 1e-12; constexpr double PI = 3.14159265358979323846; // vector入力 template istream &operator>>(istream &is, vector &vec) { for (T &x : vec) is >> x; return is; } // vector出力 template ostream &operator<<(ostream &os, vector &vec) { ll len = SIZE(vec); os << "{"; for (int i = 0; i < len; i++) os << vec[i] << (i == len - 1 ? "" : ", "); os << "}"; return os; } // pair入力 template istream &operator>>(istream &is, pair &pair_var) { is >> pair_var.first >> pair_var.second; return is; } // pair出力 template ostream &operator<<(ostream &os, pair &pair_var) { os << "(" << pair_var.first << ", " << pair_var.second << ")"; return os; } // map出力 template ostream &operator<<(ostream &os, map &map_var) { os << "{"; REPI(itr, map_var) { os << *itr; itr++; if (itr != map_var.end()) os << ", "; itr--; } os << "}"; return os; } // set 出力 template ostream &operator<<(ostream &os, set &set_var) { os << "{"; REPI(itr, set_var) { os << *itr; itr++; if (itr != set_var.end()) os << ", "; itr--; } os << "}"; return os; } // dump #define DUMPOUT cerr void dump_func() { DUMPOUT << endl; } template void dump_func(Head &&head, Tail &&... tail) { DUMPOUT << head; if (sizeof...(Tail) > 0) { DUMPOUT << ", "; } dump_func(move(tail)...); } // _max の終端. template ll _max(Head &&head) { return head; } // 最大値を求める.max({}) の代わり.これにしないと vscode が壊れる. template ll _max(Head &&head, Tail &&... tail) { return max((ll)head, _max((tail)...)); } // _min の終端. template ll _min(Head &&head) { return head; } // 最小値を求める.min({}) の代わり.これにしないと vscode が壊れる. template ll _min(Head &&head, Tail &&... tail) { return min((ll)head, _min((tail)...)); } // chmax (更新「される」かもしれない値が前) template > bool chmax(T &xmax, const U &x, Comp comp = {}) { if (comp(xmax, x)) { xmax = x; return true; } return false; } // chmin (更新「される」かもしれない値が前) template > bool chmin(T &xmin, const U &x, Comp comp = {}) { if (comp(x, xmin)) { xmin = x; return true; } return false; } // container 内の最初の element のインデックスを探す template ll indexof(const Container &container, const typename Container::value_type &element) { auto iter = find(container.begin(), container.end(), element); size_t index = distance(container.begin(), iter); if (index == container.size()) { index = -1; } return index; } // ローカル用 #define DEBUG_ #ifdef DEBUG_ #define DEB #define dump(...) \ DUMPOUT << " " << string(#__VA_ARGS__) << ": " \ << "[" << to_string(__LINE__) << ":" << __FUNCTION__ << "]" \ << endl \ << " ", \ dump_func(__VA_ARGS__) #else #define DEB if (false) #define dump(...) #endif struct AtCoderInitialize { static constexpr int IOS_PREC = 15; static constexpr bool AUTOFLUSH = false; AtCoderInitialize() { ios_base::sync_with_stdio(false); cin.tie(nullptr); cout.tie(nullptr); cout << fixed << setprecision(IOS_PREC); if (AUTOFLUSH) cout << unitbuf; } } ATCODER_INITIALIZE; /* #endregion */ // 整数変数 n (left<=n<=right) について命題 p(n) を満たす最大の n を返す. // そのような n が存在しない場合は -1 を返す. template ll binarySearchIntMax(ll left, ll right, tProposition p) { if (right < left) return -1; ll mid, fn; while (left + 1 < right) { mid = (left + right) / 2; if (p(mid)) left = mid; else // fn > 0 right = mid - 1; } if (p(right)) return right; else if (p(left)) return left; else return -1; } /** ken さんと koo さんは、2 人でチームを組んで 「飲酒競技プログラミングコンテスト (Inshu Competitive Programming Contest; ICPC)」に参加することにしました。 ICPC は N 問の問題からなるコンテストで、以下の行動を何回か行うことでより多くの問題を解くことを目指します。 ・ チームメンバーの誰か一人が飲酒をする。そして、まだ解いていない問題を 1 つ選び、その問題を解く。 各チームメンバーには貢献度が決まっており、ken さんが i 回 (0 <= i <= N) 飲酒をした後の貢献度は A_i、 koo さんが i 回 (0 <= i <= N) 飲酒をした後の貢献度は B_i です。 また各問題には難易度が決まっており、i 番目 (1 <= i <= N) の問題の難易度は D_i です。 難易度が D_i の問題は、その時点でのチームメンバーの貢献度の総和が D_i 以上ならば解くことができます。 各チームメンバーの貢献度と各問題の難易度がわかっているとき、最適な戦略を取った場合最大で何問の問題を解けるかを求めてください。 */ void solve() { ll n; cin >> n; vll a(n + 1), b(n + 1), d(n); cin >> a >> b >> d; sort(ALL(d)); // 難易度を小さい順にソート // 解く問題数 M が決まっているなら,それらのうち難易度の高いものから解くのが最適 => [0, M-1] // もし,その「難易度の高い問題」が解けないなら,そもそも M 問を解ききることはできない // dp[i][j]: ken i 問,koo j 問を解くことが可能か T/F // これで dp[0][M], dp[1][M-1], ..., dp[M][0] のいずれかが true なら M 問解くことができる // M について二分探索すれば, M の最大値が求められる ll ret = binarySearchIntMax(0, n, [&](ll m) { // ll m = 4; vector> dp(n + 1, vector(n + 1, false)); REPM(i, 0, m) { REPM(j, 0, m - i) { if (i == 0) { if (j == 0) dp[0][0] = true; // a[0] + b[0] >= d[m - 1]; else dp[0][j] = dp[0][j - 1] && (a[0] + b[j] >= d[m - j]); } else { if (j == 0) dp[i][0] = dp[i - 1][0] && (a[i] + b[0] >= d[m - i]); else dp[i][j] = (dp[i - 1][j] || dp[i][j - 1]) && (a[i] + b[j] >= d[m - i - j]); } } } bool capable = false; REPM(i, 0, m) { if (dp[i][m - i]) { capable = true; break; } } // cout << capable << endl; return capable; }); cout << ret << endl; } /** * エントリポイント. * @return 0. */ int main() { solve(); return 0; }