#ifdef LOCAL #define _GLIBCXX_DEBUG #define __clock__ #else #pragma GCC optimize("Ofast") #endif #include using namespace std; using ll = long long; using VI = vector; using VV = vector; using VS = vector; using PII = pair; // tourist set template string to_string(pair p); template string to_string(tuple p); template string to_string(tuple p); string to_string(const string& s) { return '"' + s + '"'; } string to_string(const char* s) { return to_string((string) s); } string to_string(bool b) { return (b ? "true" : "false"); } string to_string(vector v) { bool first = true; string res = "{"; for (int i = 0; i < static_cast(v.size()); i++) { if (!first) { res += ", "; } first = false; res += to_string(v[i]); } res += "}"; return res; } template string to_string(bitset v) { string res = ""; for (size_t i = 0; i < N; i++) { res += static_cast('0' + v[i]); } return res; } template string to_string(A v) { bool first = true; string res = "{"; for (const auto &x : v) { if (!first) { res += ", "; } first = false; res += to_string(x); } res += "}"; return res; } template string to_string(pair p) { return "(" + to_string(p.first) + ", " + to_string(p.second) + ")"; } template string to_string(tuple p) { return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ")"; } template string to_string(tuple p) { return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ", " + to_string(get<3>(p)) + ")"; } void debug_out() { cerr << '\n'; } template void debug_out(Head H, Tail... T) { cerr << " " << to_string(H); debug_out(T...); } #ifdef LOCAL #define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__) #else #define debug(...) 42 #endif // tourist set end templatebool chmax(T &a, const T &b) { if (abool chmin(T &a, const T &b) { if (b()) #define MP make_pair ll SUM(VI& V){ return accumulate(ALL(V), 0LL); } void print_vector(VI& V){ ll n = V.size(); rep(i, n){ if(i) cout << ' '; cout << V[i]; } cout << endl; } ll gcd(ll a,ll b){ if(b == 0) return a; return gcd(b,a%b); } ll lcm(ll a,ll b){ ll g = gcd(a,b); return a / g * b; } void no(){p_no(); exit(0);} void yes(){p_yes(); exit(0);} const ll mod = 1e9 + 7; const ll inf = 1e18; const double PI = acos(-1); ll N; VI A,B,D; int memo[3010][3010]; // i : Aさんの飲酒回数 // j : Bさんの飲酒回数 // K : K問解けるかのチェック中 bool g(ll i, ll j, ll K){ if(i+j!=K){ debug("??", i, j, K); } debug("g", i, j, K); if(memo[i][j]!=-1){ debug("memo", i, j); return memo[i][j]; } debug("compute", i, j); ll difficulty = D[K-i-j]; bool solvable; if(A[i]+B[j]>=difficulty){ solvable = true; }else{ solvable = false; } bool past_solved = g(i-1, j, K) || g(i, j-1, K); debug(g(i-1, j, K)); debug(g(i, j-1, K)); if(solvable && past_solved){ return memo[i][j] = 1; }else{ return memo[i][j] = 0; } } // K問解けますか? bool f(ll K){ if(K==0){ debug("え、ここくる?"); return true; } debug(K, "問解けますか?"); // memset(memo, sizeof(memo), -1); rep(i, 3010){ rep(j, 3010){ memo[i][j] = -1; } } // 0付近を埋める // 1本飲む // if(A[0]+B[1]<=D[K-1] || A[1]+B[0]<=D[K-1]){ // memo[0][0] = 1; // }else{ // memo[0][0] = 0; // } memo[0][0] = 1; // ? // Aさんだけ i回飲む FOR(i, 1, K+1) memo[i][0]=0; FOR(i, 1, K+1){ if(A[i]+B[0]>=D[K-i]){ memo[i][0] = 1; }else{ memo[i][0] = 0; // それ以降も0にする必要あり break; } } // debug(memo[2][0]); // exit(0); // Bさんだけ i回飲む FOR(i, 1, K+1) memo[0][i]=0; FOR(i, 1, K+1){ if(A[0]+B[i]>=D[K-i]){ memo[0][i] = 1; }else{ memo[0][i] = 0; // それ以降も0にする必要あり break; } } rep(i, K+1){ ll j = K-i; // i 飲酒回数 // j 飲酒回数 if(g(i,j,K)){ debug("because", i, j, K); return true; } } return false; } int main(){ cin.tie(0); ios::sync_with_stdio(false); // input cin >> N; A.resize(N+1); B.resize(N+1); D.resize(N); rep(i, N+1) cin >> A[i]; rep(i, N+1) cin >> B[i]; rep(i, N) cin >> D[i]; SORT(D); // easy case if(N==1){ ll kouken = max(A[0]+B[1], A[1]+B[0]); if(kouken>=D[0]){ p(1); }else{ p(0); } return 0; } // debug(D); // rep(i, 7){ // rep(j, 7){ // if(i+j>6)continue; // debug(i, j, g(i,j,7)); // } // } // debug(f(7)); // exit(0); ll left=0; // can ll right=N+1; // can't while(left+1!=right){ ll c = (left+right)/2; if(f(c)){ left = c; }else{ right = c; } } ll ans = left; p(ans); return 0; }