結果

問題 No.949 飲酒プログラミングコンテスト
ユーザー peroonperoon
提出日時 2020-02-19 10:47:43
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 381 ms / 2,500 ms
コード長 5,937 bytes
コンパイル時間 2,332 ms
コンパイル使用メモリ 183,424 KB
実行使用メモリ 39,296 KB
最終ジャッジ日時 2024-04-16 19:35:45
合計ジャッジ時間 7,155 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 23 ms
38,736 KB
testcase_01 AC 23 ms
38,972 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 21 ms
38,940 KB
testcase_04 AC 33 ms
38,912 KB
testcase_05 AC 38 ms
38,784 KB
testcase_06 AC 38 ms
39,040 KB
testcase_07 AC 43 ms
38,908 KB
testcase_08 AC 47 ms
38,912 KB
testcase_09 AC 49 ms
38,872 KB
testcase_10 AC 48 ms
38,912 KB
testcase_11 AC 178 ms
39,168 KB
testcase_12 AC 112 ms
39,168 KB
testcase_13 AC 160 ms
38,988 KB
testcase_14 AC 67 ms
39,040 KB
testcase_15 AC 140 ms
39,040 KB
testcase_16 AC 245 ms
39,040 KB
testcase_17 AC 60 ms
38,912 KB
testcase_18 AC 100 ms
39,188 KB
testcase_19 AC 178 ms
39,040 KB
testcase_20 AC 73 ms
38,912 KB
testcase_21 AC 59 ms
38,912 KB
testcase_22 AC 61 ms
38,912 KB
testcase_23 AC 49 ms
38,960 KB
testcase_24 AC 81 ms
39,040 KB
testcase_25 AC 248 ms
39,168 KB
testcase_26 AC 160 ms
39,040 KB
testcase_27 AC 381 ms
39,124 KB
testcase_28 AC 69 ms
38,784 KB
testcase_29 AC 216 ms
39,040 KB
testcase_30 AC 97 ms
39,040 KB
testcase_31 AC 75 ms
39,040 KB
testcase_32 AC 302 ms
39,296 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#ifdef LOCAL
    #define _GLIBCXX_DEBUG
    #define __clock__
#else
    #pragma GCC optimize("Ofast")
#endif
#include<bits/stdc++.h>
using namespace std;
using ll = long long;
using VI = vector<ll>;
using VV = vector<VI>;
using VS = vector<string>;
using PII = pair<ll, ll>;

// tourist set
template <typename A, typename B>
string to_string(pair<A, B> p);

template <typename A, typename B, typename C>
string to_string(tuple<A, B, C> p);

template <typename A, typename B, typename C, typename D>
string to_string(tuple<A, B, C, D> 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<bool> v) {
  bool first = true;
  string res = "{";
  for (int i = 0; i < static_cast<int>(v.size()); i++) {
    if (!first) {
      res += ", ";
    }
    first = false;
    res += to_string(v[i]);
  }
  res += "}";
  return res;
}

template <size_t N>
string to_string(bitset<N> v) {
  string res = "";
  for (size_t i = 0; i < N; i++) {
    res += static_cast<char>('0' + v[i]);
  }
  return res;
}

template <typename A>
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 <typename A, typename B>
string to_string(pair<A, B> p) {
  return "(" + to_string(p.first) + ", " + to_string(p.second) + ")";
}

template <typename A, typename B, typename C>
string to_string(tuple<A, B, C> p) {
  return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ")";
}

template <typename A, typename B, typename C, typename D>
string to_string(tuple<A, B, C, D> 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 <typename Head, typename... Tail>
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

template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }

#define FOR(i,a,b) for(ll i=(a);i<(b);++i)
#define rep(i,b) FOR(i, 0, b)
#define ALL(v) (v).begin(), (v).end()
#define p(s) cout<<(s)<<'\n'
#define p2(s, t) cout << (s) << " " << (t) << '\n'
#define br() p("")
#define pn(s) cout << (#s) << " " << (s) << '\n'
#define p_yes() p("YES")
#define p_no() p("NO")
#define SZ(x) ((int)(x).size())
#define SORT(A) sort(ALL(A))
#define RSORT(A) sort(ALL(A), greater<ll>())
#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;
}
0